Subject: Subject Sylbus: Algorithms in Logic - 096265

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: Data Structures and Algorithms 094223


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.




System of hours to the semesters
Semester Previous Semester information 01/2020 2020/2021 Winter Semester


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

Created in 08/03/2021 Time 14:32:37