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

Logika i teoria mnogości 510-IS1-1PLTM-23
Ćwiczenia (CW) Rok akademicki 2023/24

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

Liczba godzin: 30
Limit miejsc: (brak limitu)
Zakres tematów:

Spójniki logiczne, klasyczna logika zdań

Rozstrzygalność klasycznej logiki zdań, metoda skrócona

Związek logiki zdań z językiem naturalnym, spójniki nieklasyczne, reguły dowodzenia

Klasyczna logika kwantyfikatorów i jej nierozstrzygalność

Elementarne operacje na zbiorach i dowodzenie własności

Zbiory potęgowe, pary uporządkowane i iloczyny kartezjańskie

Diagramy Venna, dowody i kontrprzykłady

Relacje dwuargumentowe i ich własności

Relacje równoważności i zasada abstrakcji

Funkcje i ich własności, obrazy i przeciwobrazy

Dedukcja naturalna i rozumowanie indukcyjne

Działania uogólnione na zbiorach

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 19/ szczegóły
2 (brak danych), (sala nieznana)
Barbara Łupińska 24/ szczegóły
3 (brak danych), (sala nieznana)
Robert Jankowski 23/ szczegóły
4 (brak danych), (sala nieznana)
Adam Grabowski 23/ szczegóły
5 (brak danych), (sala nieznana)
Robert Jankowski 24/ szczegóły
6 (brak danych), (sala nieznana)
Adam Grabowski 22/ 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)