Educational Disclaimer: Study materials on this page are uploaded by users for educational and self-study purposes. PwnHero is an independent platform and is not affiliated with, sponsored by, or endorsed by any university or institution.

CISC 204: Logic for Computing Science

Course exam catalog and study material archive for Logic for Computing Science at Queen's University (Queen's). Request verified past exam papers and study resources directly through our student community.

Resources 10

Types Midterms, Finals, Study Guides

Years 2016 – 2023

University Queen's University (Queen's)

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 10 free educational resources and past exams for CISC 204 (Logic for Computing Science) at Queen's University (Queen's), containing 4 midterm papers, 5 final examinations, and 1 study guide. Dated documents represent 7 distinct academic years between 2016 and 2023.

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

Connect to get free

Assessment Inventory for CISC 204 (10 Documents)

Assessment inventory for CISC 204 at Queen's University (Queen's)
Document	Format	Year	Access
Midterm (Exam 1) 2023	Midterm	2023	Illustrative Archive
Final Exam 2023	Final	2023	Illustrative Archive
Midterm (Exam 1) 2022	Midterm	2022	Illustrative Archive
Final Exam 2021	Final	2021	Illustrative Archive
Midterm (Exam 1) 2019	Midterm	2019	Illustrative Archive
Final Exam 2019	Final	2019	Illustrative Archive
Final Exam 2018	Final	2018	Illustrative Archive
Midterm (Exam 1) 2017	Midterm	2017	Illustrative Archive
Final Exam 2016	Final	2016	Illustrative Archive
Study Guide 7	Study Guide	—	Illustrative Archive
Complete inventory of all 10 assessments (sorted by most recent). Select any document to inspect or use the search bar above to filter.

Frequently Asked Questions

Which assessment formats are cataloged in this CISC 204 archive?

This collection for CISC 204 at Queen's University (Queen's) catalogs 10 total resources across the following formats: Midterms, Finals, Study Guides. Each document is listed in the assessment inventory table below 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 2016 to 2023, representing 7 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 (Queen's) course syllabus.

Related CISC Courses at Queen's University (Queen's)

CISC 101 Introduction to Computer Programming CISC 102 Discrete Structures I CISC 121 Introduction to Computing Science I CISC 124 Introduction to Computing Science II CISC 203 Discrete Structures II CISC 221 Computer Architecture CISC 235 Data Structures