Propositional Calculus and First-order Logic# Definitions, Semantics, Proof Systems, Soundness and Completeness Theorems, Compactness Theorems and Their Use.

Faculty: Computer Science
|Undergraduate Studies
Pre-required courses

(104002 - Basic Concepts in Mathematics and 104293 - Set Theory) or 104290 - Set Theory or 234129 - Int. to Set Theory and Automata For Cs

Course with no extra credit

44114 - Discrete Mathematics Ee 94345 - Discrete Mathematics (for I.e) 94346 - Discrete Mathematics 106156 - Mathematical Logic 234293 - Logic and Set Theory For Cs

Semestrial Information

Weekly Hours

3 Academic Credit • 2 Lecture Hours • 1 Discussion Hours

Go to Course Page

Go to Course Page


Responsible(s)

Sarai Sheinvald


Exams
Session A: 19-02-2023 Session B: 19-03-2023
Registration Groups
11
Lecture Monday 10:30 - 12:30 | Sarai Sheinvald
Exercise Tuesday 11:30 - 12:30
12
Lecture Monday 10:30 - 12:30 | Sarai Sheinvald
Exercise Monday 15:30 - 16:30
13
Lecture Monday 10:30 - 12:30 | Sarai Sheinvald
Exercise Wednesday 17:30 - 18:30
21
Lecture Sunday 14:30 - 16:30 | Sarai Sheinvald
Exercise Monday 12:30 - 13:30
22
Lecture Sunday 14:30 - 16:30 | Sarai Sheinvald
Exercise Wednesday 10:30 - 11:30
23
Lecture Sunday 14:30 - 16:30 | Sarai Sheinvald
Exercise Tuesday 14:30 - 15:30
Weekly Hours

3 Academic Credit • 2 Lecture Hours • 1 Discussion Hours

Go to Course Page

Go to Course Page


Responsible(s)

Yakir Vizel


Exams
Session A: 19-07-2022 13:00 - 16:00
  • אולמן 602. 603. 604. 605. 606. 607. 700. 701. 702. 703. 704. 705. 706. 707. 708.
Session B: 29-09-2022 09:00 - 12:00
  • אולמן 600. 601. 602. 603. 604. 605. 606. 607. 700. 701. 705.

Registration Groups
11
Lecture Wednesday 10:30 - 12:30 טאוב 7 | Yakir Vizel
Exercise Tuesday 09:30 - 10:30 טאוב 3 | גב. רורברג שיר
12
Lecture Wednesday 10:30 - 12:30 טאוב 7 | Yakir Vizel
Exercise Wednesday 15:30 - 16:30 טאוב 5 | Omer Sabary
13
Lecture Wednesday 10:30 - 12:30 טאוב 7 | Yakir Vizel
Exercise Thursday 12:30 - 13:30 אולמן 802 | Ishai Salgado
14
Lecture Wednesday 10:30 - 12:30 טאוב 7 | Yakir Vizel
Exercise Tuesday 12:30 - 13:30 טאוב 7 | מר מהלל עידן
21
Lecture Sunday 14:30 - 16:30 טאוב 2 | Sarai Sheinvald
Exercise Wednesday 09:30 - 10:30 טאוב 9 | מר יהודה גל
69
Enrollment Group No information regarding course hours
Weekly Hours

3 Academic Credit • 2 Lecture Hours • 1 Discussion Hours

Go to Course Page

Go to Course Page


Responsible(s)

Keren Censor-hillel


Exams
Session A: 20-02-2022 09:00 - 12:00
  • אולמן 503. 504. 506. 507. 600. 601. 602. 603. 604. 605. 606. 607. 700. 701. 702. 703. 704. 705. 706. 707. 708. 801. 802. 803. 804. 805. 806.
Session B: 15-03-2022 09:00 - 12:00
  • ה.אויר 149. 150. 165. 240. 241.
  • דייויס 430. 433. 440. 441. 442. 443. 450. 451. 640. 641.
  • קאהן 1.
Session C: 05-04-2022 17:00 - 20:00
  • אולמן 300. 500. 502. 600. 601. 602. 603. 604. 605. 606. 607. 700.

Registration Groups
11
Lecture Tuesday 10:30 - 12:30 טאוב 2 | Keren Censor-hillel
Exercise Sunday 14:30 - 15:30 אולמן 701 | מר קנטרוביץ' רון
12
Lecture Tuesday 10:30 - 12:30 טאוב 2 | Keren Censor-hillel
Exercise Monday 15:30 - 16:30 אולמן 705 | Ishai Salgado
13
Lecture Tuesday 10:30 - 12:30 טאוב 2 | Keren Censor-hillel
Exercise Wednesday 17:30 - 18:30 אולמן 801 | גב. רורברג שיר
21
Lecture Monday 10:30 - 12:30 אמדו 233 | Keren Censor-hillel
Exercise Monday 12:30 - 13:30 אולמן 701 | גב. שפי גל
22
Lecture Monday 10:30 - 12:30 אמדו 233 | Keren Censor-hillel
Exercise Wednesday 10:30 - 11:30 אולמן 801 | Waseem Makhoul Waseem
23
Lecture Monday 10:30 - 12:30 אמדו 233 | Keren Censor-hillel
Exercise Tuesday 14:30 - 15:30 אולמן 801 | מר יהודה גל
69
Enrollment Group No information regarding course hours