Syllabus - Zakład Logiki Stosowanej, UAM

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:
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
kształcenia
dla kierunku
studiów:
K_U06
K_W02
K_U06
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
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 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