Informacje ogólne 1. Nazwa Logika matematyczna 2. Kod LOGMAT 3. Rodzaj obowiązkowy 4. Kierunek i specjalność studiów Językoznawstwo i nauka o informacji 5. Poziom studiów I 6. Rok studiów I 7. Semestr I,II 8. Rodzaj zajęć i liczba godzin Konwersatorium 60h 9. Liczba punktów ECTS 4 10. Prowadzący, adres email prowadzącego Jerzy Pogonowski pogon@amu.edu.pl 11. Język wykładowy polski 12. Tryb studiów stacjonarne Informacje szczegółowe 1. Cel Poznanie elementarza logicznego: Klasycznego Rachunku Zdań (KRZ) oraz Klasycznego Rachunku Predykatów (KRP). 2. Wymagania matura
wstępne 3. Efekty w zakresie wiedzy, umiejętności oraz kompetencji społecznych dla i odniesienie do efektów dla kierunku studiów Symbol efektu Po zakończeniu (przedmiotu) i potwierdzeniu osiągnięcia efektów student: LOGMAT01 Zna semantykę KRZ LOGMAT02 LOGMAT03 LOGMAT04 Rozumie pojęcie dowodu aksjomatycznego w KRZ Potrafi przeprowadzać dowody założeniowe w KRZ Potrafi przeprowadzać dowody tablicowe w KRZ Odniesienie do efektów dla kierunku studiów: LOGMAT05 Rozumie metodę rezolucji w KRZ LOGMAT06 Wie, że istnieją logiki nieklasyczne LOGMAT07 Rozumie podstawy semantyki KRP LOGMAT08 Rozumie dowody aksjomatyczne w KRP LOGMAT09 Potrafi przeprowadzać dowody założeniowe w KRP LOGMAT10 Potrafi przeprowadzać dowody tablicowe w KRP LOGMAT11 Rozumie metodę rezolucji w KRP i zna algorytm unifikacji w KRP LOGMAT12 Zna przykłady teorii elementarnych 4. Treści Symbol treści Opis treści Odniesienie do efektów
TR_LM01 Semantyka KRZ LOGMAT01 TR_LM02 Konsekwencja aksjomatyczna w KRZ LOGMAT02 TR_LM03 Konsekwencja założeniowa w KRZ LOGMAT03 TR_LM04 Tablice analityczne dla KRZ LOGMAT04 TR_LM05 Metoda rezolucji w KRZ LOGMAT05 TR_LM06 Informacja o nieklasycznych rachunkach zdaniowych LOGMAT06 TR_LM07 Semantyka KRP LOGMAT07 TR_LM08 Konsekwencja aksjomatyczna w KRP LOGMAT08 TR_LM09 Konsekwencja założeniowa w KRP LOGMAT09 TR_LM10 Tablice analityczne dla KRP LOGMAT10 TRLM11 Rezolucja i unifikacja w KRP LOGMAT11 TR_LM12 Teorie elementarne LOGMAT12 Podstawowa: Pogonowski, J. Logika matematyczna. Tekst wykładów dostępny na stronach Zakładu Logiki Stosowanej UAM. 5. Zalecana literatura Stanosz, B. Ćwiczenia z logiki. Wydawnictwo Naukowe PWN, Warszawa 2005. Ławrow, I.A., Maksimowa, Ł.L. Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów. Wydawnictwo Naukowe PWN, Warszawa 2004.
Dodatkowa: Marek, W., Onyszkiewicz, J. Elementy logiki i teorii mnogości w zadaniach. Wydawnictwo Naukowe PWN, Warszawa 1996. Pogonowski, J. Metalogika. Tekst wykładów dostępny na stronach Zakładu Logiki Stosowanej UAM. Pogonowski, J. Logika współczesna. Tekst wykładów dostępny na stronach Zakładu Logiki Stosowanej UAM. 6. Informacja o e- learningu Teksty dostępne na stronach Zakładu Logiki Stosowanej UAM 7. Informacja o dostępności materiałów do zajęć Tekst wykładów dostępny na stronach Zakładu Logiki Stosowanej UAM 8. Strona WWW www.logic.amu.edu.pl Informacje dodatkowe 1. Odniesienie efektów i treści do sposobów prowadzenia zajęć i metod oceniania Symbol efektu dla Symbol treści realizowanych w trakcie zajęć Sposoby prowadzenia zajęć umożliwiające osiągnięcie założonych efektów Metody oceniania stopnia osiągnięcia założonego efektu LOGMAT01 TR_LM01 Wykład konwersatoryjny Praca pisemna LOGMAT02 TR_LM02 Wykład konwersatoryjny Praca pisemna LOGMAT03 TR_LM03 Wykład konwersatoryjny Praca pisemna LOGMAT04 TR_LM04 Wykład konwersatoryjny Praca pisemna LOGMAT05 TR_LM05 Wykład konwersatoryjny Praca pisemna LOGMAT06 TR_LM06 Wykład konwersatoryjny Praca pisemna LOGMAT07 TR_LM07 Wykład konwersatoryjny Praca pisemna LOGMAT08 TR_LM08 Wykład konwersatoryjny Praca pisemna LOGMAT09 TR_LM09 Wykład konwersatoryjny Praca pisemna LOGMAT10 TR_LM10 Wykład konwersatoryjny Praca pisemna LOGMAT11 TR_LM11 Wykład konwersatoryjny Praca pisemna
LOGMAT12 TR_LM12 Wykład konwersatoryjny Praca pisemna 2. Obciążenie pracą studenta (punkty ECTS) Forma aktywności Średnia liczba godzin na zrealizowanie aktywności Godziny zajęć (wg planu studiów) z nauczycielem 60 Praca własna studenta 60 SUMA GODZIN 120 SUMARYCZNA LICZBA PUNKTÓW ECTS DLA MODUŁU (PRZEDMIOTU) 4 3. Sumaryczne wskaźniki ilościowe Liczba punktów ECTS, którą student uzyskuje na zajęciach wymagających bezpośredniego udziału nauczycieli akademickich: 4 Liczba punktów ECTS, którą student uzyskuje w ramach zajęć o charakterze praktycznym, takich jak zajęcia laboratoryjne i projektowe: 0 4. Kryteria oceniania egzamin