Mathematical logic 09-LOGMA-12
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
> In the winter semester: credit with a grade on the basis of tests (pass mark - more than 50%);
> In the summer semester: credit with a grade on the basis of tests and written exam covering material from both semesters;
> (pass mark - more than 50%).
> All written work will be done remotely or stationary in accordance with the relevant regulations of the university authorities.
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: