{"id":8,"date":"2018-10-11T15:11:41","date_gmt":"2018-10-11T15:11:41","guid":{"rendered":"https:\/\/books.compclassnotes.com\/etcs\/?page_id=8"},"modified":"2020-03-19T14:27:56","modified_gmt":"2020-03-19T14:27:56","slug":"home","status":"publish","type":"page","link":"https:\/\/books.compclassnotes.com\/elementarycomputing\/","title":{"rendered":"Home"},"content":{"rendered":"

CS4221 Foundations Of Computer Science<\/h1>\n

Prof. Conor Ryan<\/strong><\/p>\n

\"\"<\/p>\n

Preface <\/a><\/p>\n

1. Introduction<\/a><\/p>\n

2. Expressions<\/a><\/p>\n

2.1 Locality of Reference<\/a><\/p>\n

2.2 Prefix Notation<\/a><\/p>\n\n\n

2.3 Converting from prefix notation to Abstract Syntax Trees<\/a><\/p>\n\n\n\n

2.4 Stacks<\/a><\/p>\n\n\n\n

2.5 Converting From Prefix to Infix: The Stack Method<\/a><\/p>\n\n\n\n

3 Design<\/a><\/p>\n\n\n\n

3.1 Functional Programming<\/a><\/p>\n\n\n\n

3.2 Lists<\/a><\/p>\n\n\n\n

3.3 Evaluating Expressions<\/a><\/p>\n\n\n\n

3.4 Lambda Calculus<\/a><\/p>\n\n\n\n

3.5 Racket – A freely downloadable Functional Programming language<\/a><\/p>\n\n\n\n

3.6 Lifetime Diagrams<\/a><\/p>\n\n\n\n

4 Local and Global Variables<\/a><\/p>\n\n\n\n

4.1 Free and Bound variables in \u03bb calculus<\/a><\/p>\n\n\n\n

4.2 Formal identification of Free and Bound variables<\/a><\/p>\n\n\n\n

4.3 Nested functions<\/a><\/p>\n\n\n\n

4.4 Formal Notation<\/a><\/p>\n\n\n\n

4.5 Order of Evaluation<\/a><\/p>\n\n\n\n

5 Boolean Algebra and Recursion<\/a><\/p>\n\n\n\n

5.1 Boolean and Relational Operators<\/a><\/p>\n\n\n\n

5.2 Logic and  \u03bb calculus<\/a><\/p>\n\n\n\n

5.3 Using Conditionals in Functions<\/a><\/p>\n\n\n\n

5.4 Recursion and Induction<\/a><\/p>\n\n\n\n

5.5 Recursion and Lambda Calculus<\/a><\/p>\n\n\n

<!– wp:paragra\n<\/p>–><\/p>","protected":false},"excerpt":{"rendered":"

CS4221 Foundations Of Computer Science Prof. Conor Ryan Preface 1. Introduction 2. Expressions 2.1 Locality of Reference 2.2 Prefix Notation 2.3 Converting from prefix notation to Abstract Syntax Trees 2.4 Stacks 2.5 Converting From Prefix to Infix: The Stack Method 3 Design Continue Reading<\/a><\/span><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-8","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/books.compclassnotes.com\/elementarycomputing\/wp-json\/wp\/v2\/pages\/8","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/books.compclassnotes.com\/elementarycomputing\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/books.compclassnotes.com\/elementarycomputing\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/books.compclassnotes.com\/elementarycomputing\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/books.compclassnotes.com\/elementarycomputing\/wp-json\/wp\/v2\/comments?post=8"}],"version-history":[{"count":63,"href":"https:\/\/books.compclassnotes.com\/elementarycomputing\/wp-json\/wp\/v2\/pages\/8\/revisions"}],"predecessor-version":[{"id":628,"href":"https:\/\/books.compclassnotes.com\/elementarycomputing\/wp-json\/wp\/v2\/pages\/8\/revisions\/628"}],"wp:attachment":[{"href":"https:\/\/books.compclassnotes.com\/elementarycomputing\/wp-json\/wp\/v2\/media?parent=8"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}