CS F214 Logic in Computer Science

95 resources

Lecture Notes & Slides32

[Lecture] Predicate (5)

Not yet rated

[Lecture] PropositionalLogic (9)

Not yet rated

[Lecture] ProgVerification

Not yet rated

[Lecture] PropositionalLogic

Not yet rated

[Lecture] LTL (4)

Not yet rated

[Lecture] PropositionalLogic (13)

Not yet rated

[Lecture] Predicate (4)

Not yet rated

[Lecture] PropositionalLogic (7)

Not yet rated

[Lecture] LTL (2)

Not yet rated

[Lecture] PropositionalLogic (2)

Not yet rated

[Lecture] PropositionalLogic (12)

Not yet rated

[Lecture] Predicate (6)

Not yet rated

[Lecture] ProgVerification (3)

Not yet rated

[Lecture] PropositionalLogic (6)

Not yet rated

[Lecture] Introduction (2)

Not yet rated

[Lecture] PropositionalLogic (10)

Not yet rated

[Lecture] PropositionalLogic (11)

Not yet rated

[Lecture] Predicate (2)

Not yet rated

[Lecture] Predicate (3)

Not yet rated

[Lecture] PropositionalLogic (8)

Not yet rated

[Lecture] ProgVerification (5)

Not yet rated

[Lecture] LTL (3)

Not yet rated

[Lecture] ProgVerification (6)

Not yet rated

[Lecture] PropositionalLogic (4)

Not yet rated

[Lecture] LTL

Not yet rated

[Lecture] PropositionalLogic (5)

Not yet rated

[Lecture] PropositionalLogic (14)

Not yet rated

[Lecture] ProgVerification (4)

Not yet rated

[Lecture] Predicate

Not yet rated

[Lecture] Introduction

Not yet rated

[Lecture] ProgVerification (2)

Not yet rated

[Lecture] PropositionalLogic (3)

Not yet rated

Miscellaneous3

[Sem1][Handout] LICS Sem 1

2025Not yet rated

[Misc] Logic

Not yet rated

[Misc] Logic (Sol)

Not yet rated

Previous Year Questions10

[Sem1][Midsem] Soln

2025Not yet rated

[Sem1][Compre] Part B (Sol)

2025Not yet rated

[Sem1][Compre] Part A (Sol)

2025Not yet rated

[Sem1][Midsem 202] (Sol)

2024Not yet rated

[Sem1][Compre] Part A ans

2024Not yet rated

[Sem1][Compre] Part B ans

2024Not yet rated

[Sem1][Compre] Answers

2023Not yet rated

[Sem1][Compre] answers

2023Not yet rated

[Sem1][Compre] Part A (Sol)

2022Not yet rated

[Sem1][Compre] Part B (Sol)

2022Not yet rated

Tutorials50

[Sem1][Tutorial 7] (Sol)

2025Not yet rated

[Sem1][Tutorial 7]

2025Not yet rated

[Sem1][Tutorial 8] (2)

2025Not yet rated

[Sem1][Tutorial 5] (2)

2025Not yet rated

[Sem1][Tutorial 4] (2)

2025Not yet rated

[Sem1][Tutorial 10]

2025Not yet rated

[Sem1][Tutorial 13] (2)

2025Not yet rated

[Sem1][Tutorial 6]

2025Not yet rated

[Sem1][Tutorial 2] (2)

2025Not yet rated

[Sem1][Tutorial 1] (2)

2025Not yet rated

[Sem1][Tutorial 11]

2025Not yet rated

[Sem1][Tutorial 9] (2)

2025Not yet rated

[Sem1][Tutorial 12]

2025Not yet rated

[Sem1][Tutorial 3] (2)

2025Not yet rated

[Sem1][Tutorial 1] (Sol)

2025Not yet rated

[Sem1][Tutorial 10] (Sol)

2025Not yet rated

[Sem1][Tutorial 4] (Sol)

2025Not yet rated

[Sem1][Tutorial 9] (Sol)

2025Not yet rated

[Sem1][Tutorial 6] (Sol)

2025Not yet rated

[Sem1][Tutorial 12] (Sol)

2025Not yet rated

[Sem1][Tutorial 8] (Sol)

2025Not yet rated

[Sem1][Tutorial 13] (Sol)

2025Not yet rated

[Sem1][Tutorial 11] (Sol)

2025Not yet rated

[Sem1][Tutorial 3] (Sol)

2024Not yet rated

[Sem1][Tutorial 6] (Sol)

2024Not yet rated

[Sem1][Tutorial 13] (Sol)

2024Not yet rated

[Sem1][Tutorial 14] (Sol)

2024Not yet rated

[Sem1][Tutorial 10] (Sol)

2024Not yet rated

[Sem1][Tutorial 7] (Sol)

2024Not yet rated

[Sem1][Tutorial 9] (Sol)

2024Not yet rated

[Sem1][Tutorial 12] (Sol)

2024Not yet rated

[Sem1][Tutorial 4] (Sol)

2024Not yet rated

[Sem1][Tutorial 8] (Sol)

2024Not yet rated

[Sem1][Tutorial 11] (Sol)

2024Not yet rated

[Sem1][Tutorial 5] (Sol)

2022Not yet rated

[Sem1][Tutorial 5]

2022Not yet rated

[Sem1][Tutorial 4]

2022Not yet rated

[Sem1][Tutorial 2]

2022Not yet rated

[Sem1][Tutorial 1]

2022Not yet rated

[Sem1][Tutorial 3]

2022Not yet rated

[Sem1][Tutorial 1] (Sol)

2022Not yet rated

[Sem1][Tutorial 2] (Sol)

2022Not yet rated

[Sem1][Tutorial 10]

2019Not yet rated

[Sem1][Tutorial 8]

2019Not yet rated

[Sem1][Tutorial 11]

2019Not yet rated

[Sem1][Tutorial 12]

2019Not yet rated

[Sem1][Tutorial 9]

2019Not yet rated

[Sem1][Tutorial 13]

2018Not yet rated

[Tutorial 3] (Sol)

Not yet rated

[Tutorial 2] (Sol)

Not yet rated

[Lecture] Predicate (5)

Not yet rated

[Lecture] PropositionalLogic (9)

Not yet rated

[Lecture] ProgVerification

Not yet rated

[Lecture] PropositionalLogic

Not yet rated

[Lecture] LTL (4)

Not yet rated

[Lecture] PropositionalLogic (13)

Not yet rated

[Lecture] Predicate (4)

Not yet rated

[Lecture] PropositionalLogic (7)

Not yet rated

[Lecture] LTL (2)

Not yet rated

[Lecture] PropositionalLogic (2)

Not yet rated

[Lecture] PropositionalLogic (12)

Not yet rated

[Lecture] Predicate (6)

Not yet rated

[Lecture] ProgVerification (3)

Not yet rated

[Lecture] PropositionalLogic (6)

Not yet rated

[Lecture] Introduction (2)

Not yet rated

[Lecture] PropositionalLogic (10)

Not yet rated

[Lecture] PropositionalLogic (11)

Not yet rated

[Lecture] Predicate (2)

Not yet rated

[Lecture] Predicate (3)

Not yet rated

[Lecture] PropositionalLogic (8)

Not yet rated

[Lecture] ProgVerification (5)

Not yet rated

[Lecture] LTL (3)

Not yet rated

[Lecture] ProgVerification (6)

Not yet rated

[Lecture] PropositionalLogic (4)

Not yet rated

[Lecture] LTL

Not yet rated

[Lecture] PropositionalLogic (5)

Not yet rated

[Lecture] PropositionalLogic (14)

Not yet rated

[Lecture] ProgVerification (4)

Not yet rated

[Lecture] Predicate

Not yet rated

[Lecture] Introduction

Not yet rated

[Lecture] ProgVerification (2)

Not yet rated

[Lecture] PropositionalLogic (3)

Not yet rated

[Sem1][Handout] LICS Sem 1

2025Not yet rated

[Misc] Logic

Not yet rated

[Misc] Logic (Sol)

Not yet rated

[Sem1][Midsem] Soln

2025Not yet rated

[Sem1][Compre] Part B (Sol)

2025Not yet rated

[Sem1][Compre] Part A (Sol)

2025Not yet rated

[Sem1][Midsem 202] (Sol)

2024Not yet rated

[Sem1][Compre] Part A ans

2024Not yet rated

[Sem1][Compre] Part B ans

2024Not yet rated

[Sem1][Compre] Answers

2023Not yet rated

[Sem1][Compre] answers

2023Not yet rated

[Sem1][Compre] Part A (Sol)

2022Not yet rated

[Sem1][Compre] Part B (Sol)

2022Not yet rated

[Sem1][Tutorial 7] (Sol)

2025Not yet rated

[Sem1][Tutorial 7]

2025Not yet rated

[Sem1][Tutorial 8] (2)

2025Not yet rated

[Sem1][Tutorial 5] (2)

2025Not yet rated

[Sem1][Tutorial 4] (2)

2025Not yet rated

[Sem1][Tutorial 10]

2025Not yet rated

[Sem1][Tutorial 13] (2)

2025Not yet rated

[Sem1][Tutorial 6]

2025Not yet rated

[Sem1][Tutorial 2] (2)

2025Not yet rated

[Sem1][Tutorial 1] (2)

2025Not yet rated

[Sem1][Tutorial 11]

2025Not yet rated

[Sem1][Tutorial 9] (2)

2025Not yet rated

[Sem1][Tutorial 12]

2025Not yet rated

[Sem1][Tutorial 3] (2)

2025Not yet rated

[Sem1][Tutorial 1] (Sol)

2025Not yet rated

[Sem1][Tutorial 10] (Sol)

2025Not yet rated

[Sem1][Tutorial 4] (Sol)

2025Not yet rated

[Sem1][Tutorial 9] (Sol)

2025Not yet rated

[Sem1][Tutorial 6] (Sol)

2025Not yet rated

[Sem1][Tutorial 12] (Sol)

2025Not yet rated

[Sem1][Tutorial 8] (Sol)

2025Not yet rated

[Sem1][Tutorial 13] (Sol)

2025Not yet rated

[Sem1][Tutorial 11] (Sol)

2025Not yet rated

[Sem1][Tutorial 3] (Sol)

2024Not yet rated

[Sem1][Tutorial 6] (Sol)

2024Not yet rated

[Sem1][Tutorial 13] (Sol)

2024Not yet rated

[Sem1][Tutorial 14] (Sol)

2024Not yet rated

[Sem1][Tutorial 10] (Sol)

2024Not yet rated

[Sem1][Tutorial 7] (Sol)

2024Not yet rated

[Sem1][Tutorial 9] (Sol)

2024Not yet rated

[Sem1][Tutorial 12] (Sol)

2024Not yet rated

[Sem1][Tutorial 4] (Sol)

2024Not yet rated

[Sem1][Tutorial 8] (Sol)

2024Not yet rated

[Sem1][Tutorial 11] (Sol)

2024Not yet rated

[Sem1][Tutorial 5] (Sol)

2022Not yet rated

[Sem1][Tutorial 5]

2022Not yet rated

[Sem1][Tutorial 4]

2022Not yet rated

[Sem1][Tutorial 2]

2022Not yet rated

[Sem1][Tutorial 1]

2022Not yet rated

[Sem1][Tutorial 3]

2022Not yet rated

[Sem1][Tutorial 1] (Sol)

2022Not yet rated

[Sem1][Tutorial 2] (Sol)

2022Not yet rated

[Sem1][Tutorial 10]

2019Not yet rated

[Sem1][Tutorial 8]

2019Not yet rated

[Sem1][Tutorial 11]

2019Not yet rated

[Sem1][Tutorial 12]

2019Not yet rated

[Sem1][Tutorial 9]

2019Not yet rated

[Sem1][Tutorial 13]

2018Not yet rated

[Tutorial 3] (Sol)

Not yet rated

[Tutorial 2] (Sol)

Not yet rated