Mathematical logic 09-LOGMA-22
This course has not yet been described...
Module learning aims
Cycle of studies
Module type
Year of studies (where relevant)
Learning outcomes
S/he knows the semantics of CPropC
S/he understands the concept of the axiomatic proof in CPropC
S/he can perform conditional proofs in CPropC
S/he can perform analytic tableaux proofs in CPropC
S/he understands the method of resolution in CPropC
S/he knows that there are non-classical logics
S/he understands the basics of semantics of CPredC
S/he understands the axiomatic proof in CPredC
S/he can perform conditional proofs in CPredC
S/he can perform array proofs in CPredC
S/he understands the method of resolution in CPredC and knows the algorithm of unification in CPredC
S/he knows examples of elementary theories
Assessment criteria
exam
Bibliography
B. Stanosz Ćwiczenia z logiki
B. Stanosz Wprowadzenie do logiki formalnej
N. Gubareni Logika dla studentów
T. Batóg Podstawy logiki
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: