Uniwersytet im. Adama Mickiewicza w Poznaniu - Centralny System Uwierzytelniania

Logika matematyczna

Informacje ogólne

Kod przedmiotu:	09-LOGMA-22
Kod Erasmus / ISCED:	11.1 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (0541) Matematyka Kod ISCED - Międzynarodowa Standardowa Klasyfikacja Kształcenia (International Standard Classification of Education) została opracowana przez UNESCO.
Nazwa przedmiotu:	Logika matematyczna
Jednostka:	Katedra Metodologii Lingwistyki
Grupy:	Moodle - przedmioty Szkoły Nauk o Języku i Literaturze
Strona przedmiotu:	http://www.logic.amu.edu.pl
Punkty ECTS i inne:	0 LUB 2.00 LUB 3.00 (w zależności od programu) Podstawowe informacje o zasadach przyporządkowania punktów ECTS: roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS; tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h; 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się; tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS; nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta. zobacz reguły punktacji
Język prowadzenia:	język polski
Rodzaj przedmiotu:	obowiązkowe
Poziom przedmiotu:	I stopień
Cele kształcenia:	Poznanie elementarza logicznego: Klasycznego Rachunku Zdań (KRZ) oraz Klasycznego Rachunku Predykatów (KRP).
Rok studiów (jeśli obowiązuje):	I rok
Skrócony opis:	W ramach tego przedmiotu omawia się podstawowe pojęcia i zagadnienia z zakresu klasycznego rachunku zdań, rachunku kwantyfikatorów, rachunku zbiorów i rachunku relacji oraz przedstawia się zastosowanie odpowiedniej formalnej aparatury logicznej w analizie zdań i wnioskowań.
Pełny opis:	Student: 1) uzyskuje podstawową wiedzę na temat: głównych zagadnień logiki matematycznej, jej metod oraz zastosowań; związków logiki z innymi dziedzinami wiedzy (głównie: matematyki, filozofii, językoznawstwa); podstawowych pojęć logicznych (nazwa, zdanie, funktor, operator, tautologia, wynikanie, wnioskowanie dedukcyjne, sprzeczność i in.), powiązań między poszczególnymi działami logiki 2) rozumie: różnicę między językiem a metajęzykiem; na czym polegają podstawowe rodzaje błędów logicznych; rozmaite metody wnioskowań (dedukcyjne, redukcyjne, indukcja); potrzebę znajomości zagadnień z tego przedmiotu 3) posiada umiejętność: ścisłego i formalnego wypowiadania się, pisania i czytania formuł logicznych (w systemie rachunku zdań, rachunku zbirów, kwantyfikatorów czy relacji), sprawdzania tautologiczności formuł logicznych, badania poprawności logicznej wnioskowań, sprawdzania niesprzeczności układów zdań, zastosowania metod zerojedynkowych wprost i nie wprost, przeprowadzania dowodów założeniowych wprost i nie wprost oraz dowodów aksjomatycznych.
Literatura:	B. Stanosz Ćwiczenia z logiki B. Stanosz Wprowadzenie do logiki formalnej N. Gubareni Logika dla studentów T. Batóg Podstawy logiki
Efekty uczenia się:	Zna semantykę KRZ Rozumie pojęcie dowodu aksjomatycznego w KRZ Potrafi przeprowadzać dowody założeniowe w KRZ Potrafi przeprowadzać dowody tablicowe w KRZ Rozumie metodę rezolucji w KRZ Wie, że istnieją logiki nieklasyczne Rozumie podstawy semantyki KRP Rozumie dowody aksjomatyczne w KRP Potrafi przeprowadzać dowody założeniowe w KRP Potrafi przeprowadzać dowody tablicowe w KRP Rozumie metodę rezolucji w KRP i zna algorytm unifikacji w KRP Zna przykłady teorii elementarnych
Metody i kryteria oceniania:	egzamin

Zajęcia w cyklu "Semestr letni 2022/2023" (zakończony)

Okres:	2023-02-27 - 2023-09-30	Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ KON PT
Typ zajęć:	Konwersatorium, 30 godzin więcej informacji
Koordynatorzy:	(brak danych)
Prowadzący grup:	Dorota Lipowska
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Przedmiot - Egzamin Konwersatorium - Egzamin

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet im. Adama Mickiewicza w Poznaniu.