Uniwersytet w Białymstoku - Centralny System Uwierzytelniania
Strona główna

Logika i teoria mnogości 510-IS1-1PLTM-23
Wykład (WYK) Rok akademicki 2023/24

Informacje o zajęciach (wspólne dla wszystkich grup)

Liczba godzin: 30
Limit miejsc: (brak limitu)
Metody i kryteria oceniania:

Egzamin pisemny

Zakres tematów:

1. Syntaktyka i semantyka klasycznej logiki zdań. Spójniki zdaniowe

2. Aksjomatyzacja rachunków logicznych. Dowodzenie twierdzeń

3. Klasyczna logika predykatów. Kwantyfikatory

4. Podstawy teorii mnogości

5. Dowodzenie podstawowych własności zbiorów

6. Zbiory potęgowe, pary uporządkowane i iloczyny kartezjanskie

7. Relacje i ich podstawowe własności

8. Relacje równoważności. Zasada abstrakcji

9. Funkcje jako relacje

10. Własności funkcji. Indeksowane rodziny zbiorów

11. Teoria mocy

12. Liczby naturalne

13. Zbiory uporządkowane

14. Liczby porządkowe. Algebry Boole'a

15. Powtórzenie wiadomości przed egzaminem

Metody dydaktyczne:

Wykład na podstawie prezentacji multimedialnej, dyskusja

Grupy zajęciowe

zobacz na planie zajęć

Grupa Termin(y) Prowadzący Miejsca Liczba osób w grupie / limit miejsc Akcje
1 (brak danych), (sala nieznana)
Adam Grabowski 135/ szczegóły
Wszystkie zajęcia odbywają się w budynku:
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet w Białymstoku.
ul. Świerkowa 20B, 15-328 Białystok tel: +48 85 745 70 00 (Centrala) https://uwb.edu.pl kontakt deklaracja dostępności USOSweb 7.0.3.0-1 (2024-04-02)