Logika i teoria mnogości I 3501-KOG-LTM1
Zob. opis zajęć w danym cyklu
Rodzaj przedmiotu
Tryb prowadzenia
Efekty kształcenia
Student zna:
- język klasycznego rachunku zdań, pojęcie tautologii, podstawowe prawa klasycznego rachunku zdań i podstawowe metalogiczne pojęcia dotyczące tego rachunku.
- pojęcie dowodu formalnego i przynajmniej jeden system dedukcyjny dla klasycznego rachunku zdań.
- język logiki 1-go rzędu, definicję spełniania i prawdziwości oraz podstawowe prawa logiki 1-go rzędu.
Nabyte umiejętności:
Student potrafi:
-prowadzić analizę logiczną wyrażeń języka naturalnego z użyciem technik klasycznego rachunku zdań oraz logiki 1-go rzędu.
- weryfikować tautologiczność formuł klasycznego rachunku zdań oraz wynikanie logiczne.
- ustalić zależności logiczne między zdaniami klasycznego rachunku zdań.
- konstruować proste dowody w wybranym systemie dla klasycznego rachunku zdań i w algebrze zbiorów.
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: warunkiem zaliczenia ćwiczeń jest regularna obecność na zajęciach (dopuszczalne 2 nieobecności) oraz uzyskanie pozytywnej oceny z wszystkich kolokwiów organizowanych w trakcie semestru. Przewidywane są co najmniej dwa kolokwia obejmujące klasyczną logikę zdaniową i wprowadzenie do logiki I rzędu. Ocena końcowa za ćwiczenia ustalana jest na podstawie wyników kolokwiów (może być nieznacznie podwyższona w indywidualnych przypadkach, gdy student wykazał się dużą aktywnością i rzetelną pracą na zajęciach).
Dopuszczalna liczba nieobecności podlegających usprawiedliwieniu:
wykład: 3
ćwiczenia: 2
DO 2019/2020
wykład: egzamin pisemny
ćwiczenia: zaliczenie pisemne w postaci kolokwiów i prac domowych
Literatura
Zob. opis zajęć w danym cyklu
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: