Subject: Subject Sylbus: Algorithms in Logic - 096265 (Current)

Algorithms in Logic - 096265
Credit
Points
3.0
 
Given In
Semester
a
 
  Lecture Exercise Laboratory Project or
Seminar
House
Work
Weekly
Hours
2     2 4

Determination of the grade according to progress during the semester and the submission of the final thesis


Prerequisites Intro. to Computability and Complexity 097447


The Course Covers Modeling of Decision Problems in Various Logic, and Algorithms (Called "Decision Procedures") for Solving Them. the Problems Include Classic Np Problems and Various Challenges Arising in the Formal Verification of Programs. Among Other Things, the Course Covers Algorithms for Solving the Satisfiability Problem of Propositional Formulas (Sat) and of Linear Systems. the Course Begins with Propositional Logic and First-Order Logic.


Timetable to semester 01/2022 2202/2023 Winter Semester
RoomBuildingHourdayLecturerExercise
Lecture
no.Registering
Group
  12:30-14:30MondayProf. Strichman OferLecture1010
     Project10


Textbooks
PublishedPublisherAuthorsBook
2008springerd. kroening and o. strichmandecision procedures - an algorithmic point of view
2008springera. bradley and z. mannathe calculus of computation

Created in 13/08/2022 Time 09:36:36