Informacje ogólne
1. Nazwa modułu
kształcenia Logika matematyczna
2. Kod modułu
kształcenia LOGMAT
3. Rodzaj modułu 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 kształcenia Poznanie elementarza logicznego: Klasycznego Rachunku Zdań (KRZ) oraz Klasycznego Rachunku Predykatów (KRP).
2. Wymagania matura
wstępne
3. Efekty kształcenia w zakresie wiedzy, umiejętności oraz kompetencji społecznych dla modułu
kształcenia i odniesienie do efektów kształcenia dla kierunku studiów
Symbol efektu kształcenia
Po zakończeniu modułu (przedmiotu) i potwierdzeniu osiągnięcia efektów kształcenia student:
Odniesienie do efektów kształcenia dla kierunku studiów:
LOGMAT01 Zna semantykę KRZ K_U06
LOGMAT02 Rozumie pojęcie dowodu aksjomatycznego
w KRZ K_W02
LOGMAT03 Potrafi przeprowadzać dowody założeniowe
w KRZ K_U06
LOGMAT04 Potrafi przeprowadzać dowody tablicowe w
KRZ K_U06
LOGMAT05 Rozumie metodę rezolucji w KRZ K_W02
LOGMAT06 Wie, że istnieją logiki nieklasyczne K_W02
LOGMAT07 Rozumie podstawy semantyki KRP K_W02
LOGMAT08 Rozumie dowody aksjomatyczne w KRP K_W02
LOGMAT09 Potrafi przeprowadzać dowody założeniowe
w KRP K_U06
LOGMAT10 Potrafi przeprowadzać dowody tablicowe w
KRP K_U06
LOGMAT11 Rozumie metodę rezolucji w KRP i zna
algorytm unifikacji w KRP K_W02
LOGMAT12 Zna przykłady teorii elementarnych K_W02
4. Treści kształcenia
Symbol treści kształcenia
Opis treści kształcenia Odniesienie
do efektów kształcenia
modułu
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
5. Zalecana literatura
Podstawowa:
Pogonowski, J. Logika matematyczna. Tekst wykładów dostępny na stronach Zakładu Logiki Stosowanej UAM.
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 kształcenia i treści kształcenia do sposobów prowadzenia zajęć i metod oceniania
Symbol efektu kształcenia dla modułu
Symbol treści kształcenia realizowanych w trakcie zajęć
Sposoby prowadzenia zajęć umożliwiające osiągnięcie założonych efektów kształcenia
Metody oceniania stopnia osiągnięcia założonego efektu kształcenia
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