Logika matematyczna
Informacje ogólne
Kod przedmiotu: | 09-LOGMA-12 |
Kod Erasmus / ISCED: |
11.1
|
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: |
(brak)
|
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: |
W semestrze zimowym: zaliczenie na ocenę na podstawie wejściówek i pisemnego kolokwium; W semestrze letnim: zaliczenie na ocenę na podstawie wejściówek oraz egzamin pisemny obejmujący materiał z obu semestrów; (ocena dostateczna od ponad 50%). Wszystkie prace pisemne odbywać się będą w formie zdalnej albo stacjonarnej zgodnie z odpowiednimi zarządzeniami władz uczelni. |
Właścicielem praw autorskich jest Uniwersytet im. Adama Mickiewicza w Poznaniu.