CISC 204: Logic for Computing Science
A study of formal mathematical logic and its central applications in computing. Topics cover formal syntax and semantics of propositional and first-order predicate logic, natural deduction proof systems, soundness and completeness, automated theorem…
Independent study archive Learn more
Materials are uploaded by users for self-study purposes. PwnHero is an independent platform, not affiliated with, sponsored by, or endorsed by any university or institution.
Common aliases: CISC 204
Study Resources for Logic for Computing Science
Final Exam 2012
Midterm (Exam 1) 2014
Midterm (Exam 2) 2017
Midterm (Exam 1) 2016
Midterm (Exam 1) 2019
Midterm (Exam 1) 2020
Study Guide 7
Assessment Inventory for CISC 204 (7 Documents)
| Document | Format | Year | Access |
|---|---|---|---|
| Midterm (Exam 1) 2020 | Midterm | 2020 | Illustrative Archive |
| Midterm (Exam 1) 2019 | Midterm | 2019 | Illustrative Archive |
| Midterm (Exam 2) 2017 | Midterm | 2017 | Illustrative Archive |
| Midterm (Exam 1) 2016 | Midterm | 2016 | Illustrative Archive |
| Midterm (Exam 1) 2014 | Midterm | 2014 | Illustrative Archive |
| Final Exam 2012 | Final | 2012 | Illustrative Archive |
| Study Guide 7 | Study Guide | — | Illustrative Archive |
Complete inventory of all 7 assessments (sorted by most recent). Select any document to inspect or use the search bar above to filter.
Course Overview & Exam Syllabus
Course Description
A study of formal mathematical logic and its central applications in computing. Topics cover formal syntax and semantics of propositional and first-order predicate logic, natural deduction proof systems, soundness and completeness, automated theorem proving, SAT solvers, and formal program verification techniques.
This archive catalogs 7 free educational resources and past exams for CISC 204 (Logic for Computing Science) at Queen's University, containing 5 midterm papers, 1 final examination, and 1 study guide. Dated documents represent 6 distinct academic years between 2012 and 2020.
Core Exam Topics & Learning Objectives
- Instruction set architecture (ISA) design, register allocation, and assembly-to-machine encoding in CISC 204
- Processor pipelining: data hazards, control hazards, branch prediction, and forwarding paths
- Memory hierarchy: cache placement (direct, set-associative), hit/miss latency, and cache coherence
- Digital logic datapath design: ALU operations, combinational circuits, and sequential state machines in Logic for Computing Science
Frequently Asked Questions
Which assessment formats are cataloged in this CISC 204 archive?
This collection for CISC 204 at Queen's University catalogs 7 total resources across the following formats: Midterms, Finals, Study Guides. Each document is listed in the assessment inventory table with its individual format tag and academic year where recorded.
What academic years are covered in this CISC 204 collection?
Dated materials in this archive span from 2012 to 2020, representing 6 distinct academic years. Coverage varies by the records currently cataloged for this course.
How can students access these free CISC 204 past exams?
All cataloged CISC 204 past exams and study materials are free to request. The catalog, metadata, assessment inventory, and illustrative thumbnails are public; source documents are not shown on this page. Use the connect options to request a study resource, and confirm current course topics and grading policies with the Queen's University course syllabus.