Logika i teoria mnogości II 3501-KOG-LTM2
Zob. opis zajęć w danym roku akademickim.
Rodzaj przedmiotu
Tryb prowadzenia
Założenia (opisowo)
Efekty kształcenia
Nabyta wiedza:
Student zna:
- pojęcie uogólnionej sumy i iloczynu zbiorów, iloczynu kartezjańskiego.
- pojęcie indeksowanej rodziny zbiorów i operacji na rodzinach zbiorów.
- pojęcie równoliczności zbiorów, wie, czym jest zbiór przeliczalny, nieprzeliczalny.
- pojęcie funkcji, porządku częściowego oraz zagadnień pokrewnych.
- podstawowe pojęcia związane ze składnią i semantyką logiki 1-go rzędu, w tym pojęcia spełniania i prawdy; zna typowe przykłady tautologii w logice pierwszego rzędu.
- przynajmniej jeden przykład systemu dedukcyjnego dla logiki 1-go rzędu i twierdzenie o pełności dla tego systemu.
- podstawowe twierdzenia metalogiczne dla logiki klasycznej.
Nabyte umiejętności:
Student potrafi:
- prowadzić analizę dotyczącą uogólnionych operacji teoriomnogościowych.
- wykazać równoliczność zbiorów, przeliczalność bądź nieprzeliczalność zbiorów na wybranych przykładach.
- sprawdzać podstawowe własności funkcji.
- opisać własności zbiorów uporządkowanych.
- sprawdzać spełnialność i prawdziwość formuł logiki 1-go rzędu; potrafi przedstawić dowód formuły 1-go rzędu w wybranym systemie dedukcyjnym.
- definiować proste własności za pomocą formuł logiki 1-go rzędu.
Nabyte kompetencje społeczne:
Student:
- Umie selekcjonować i porządkować informacje uzyskane w procesie komunikacji.
- Potrafi śledzić tok myślenia innych osób.
- Umie uważnie słuchać innych.
Kryteria oceniania
OD 2020/2021
wykład: egzamin ustny lub pisemny (w postaci testu) weryfikujący znajomość i rozumienie podstawowych pojęć i twierdzeń omówionych na wykładzie
ćwiczenia: częste i niezapowiedziane kartkówki organizowane na początku zajęć, kontrolujące opanowanie bieżącego materiału (z wykładu i ćwiczeń) oraz jedno większe kolokwium pozwalające zweryfikować umiejętność redagowania dowodów i rozwiązywania bardziej złożonych problemów.
Dopuszczalna liczba nieobecności podlegających usprawiedliwieniu:
wykład: 3
ćwiczenia: 3
DO 2019/2020
wykład: egzamin pisemny
ćwiczenia: zaliczenie pisemne w postaci kolokwiów i prac domowych
Literatura
Zob. opis zajęć w danym roku akademickim.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: