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

obligatory courses

(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 540-IS1-1LTM in USOSweb