Elements of logic and set theory 400-IS1-1LTM

obligatory courses

(in Polish) w sali

(in Polish) Przedmiot ma nauczyć posługiwania się prawami klasycznej logiki zdań i klasycznej logiki predykatów w celu poprawnego wyrażania myśli i prowadzenia poprawnych rozumowań, nauczyć podstawowych pojęć i metod niezbędnych do zrozumienia bardziej zaawansowanych teorii matematycznych oraz wdrożyć do formalnego konstruowania i modelowania obiektów matematycznych na bazie teorii mnogości.

Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system:

• Description of 400-IS1-1LTM in USOSweb