Propositional and Predicate Logic - NHII059

• Title: Výroková a predikátová logika
• Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2004
• Semester: winter
• E-Credits: 6
• Hours per week, examination: winter s.:3/1, C+Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: cancelled
• Language: Czech
• Teaching methods: full-time
• Incompatibility : NAIL023
• Interchangeability : NAIL023

Annotation

Výroková logika, normální tvary formulí, věta o úplnosti predikátové logiky, prenexní tvary formulí, věta o úplnosti, modely teorií.

Last update: ()