Prowadzony w
cyklu:
2025
Punkty ECTS:
3
Język:
polski
Organizowany przez:
Filia Uniwersytetu w Białymstoku w Wilnie
Elementy logiki i teorii mnogości 540-IS1-1LTM
Jeszcze nie wprowadzono opisu dla tego przedmiotu...
Rodzaj przedmiotu
obowiązkowe
Założenia (opisowo)
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.
Koordynatorzy przedmiotu
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: