Logika WF-FI-KGN-L

W ramach dwustopniowego kursu logiki zaczynamy od prezentacji podstawowych pojęć z zakresu semiotyki logicznej, uczymy metody sprawdzania spójności wyrażeń. W drugim kroku definiujemy klasyczne znaczenia spójników prawdziwościowych, definiujemy pojęcie tautologii logiki klasycznej i wprowadzamy pojęcie wynikania logicznego. Przedstawiamy także zastosowania wprowadzonych pojęć na gruncie parafrazowanego języka naturalnego i tzw. problemu formy logicznej. Studenci poznają następnie syntaktyczne ujęcie klasycznej logiki zdaniowej. Wprowadzamy pojęcia z zakresu teorii dowodu. Następnie wprowadzamy klasyczny rachunek predykatów pierwszego rzędu z identycznością - prezentujemy intuicyjną semantykę, aparat dedukcyjny oraz dowody wybranych tez i reguł.

E-Learning

E-Learning (pełny kurs) z podziałem na grupy

Grupa przedmiotów ogólnouczenianych

nie dotyczy

Opis nakładu pracy studenta w ECTS

OPIS ECTS: udział w wykładzie 30; przygotowanie do wykładu 30; czas na uzupełnienie informacji z wykładu tymi, które są prezentowane na ćwiczeniach 30; przygotowanie do kartkówek 15, przygotowanie do egzaminu 40; SUMA GODZIN 150; [150 : 30 =5]; LICZBA ECTS 5

Poziom przedmiotu

podstawowy

Symbol/Symbole kierunkowe efektów uczenia się

Wykład: KOG1_W03 Ćwiczenia: KOG1_U02; KOG1_U03; KOG1_U09

Typ przedmiotu

obowiązkowy

Wymagania wstępne

Brak.

Koordynatorzy przedmiotu

Konrad Zdanowski

Efekty kształcenia

1. Wiedza: Student ma uporządkowaną znajomość i rozumie główne kierunki badań w zakresie logiki; zna podstawowe metody badawcze: metodę analizy logicznej, dedukcję sformalizowaną (dowodzenie, wnioskowanie) w ramach logiki klasycznej.
2. Umiejętności: Student trafnie definiuje pojęcia na gruncie poznanych języków formalnych, poprawnie stosuje wybrane pojęcia logiczne, zna scharakteryzowane systemy dedukcyjne logiki klasycznej
3. Kompetencje: Na podstawie analizy nowych sytuacji problemowych z zakresu logiki student samodzielnie formułuje propozycje ich rozwiązania - potrafi samodzielnie konstruować dowody nowych lematów i twierdzeń, falsyfikować formuły nietautologiczne, orzekać czy zachodzi wynikanie logiczne w prostych rozumowaniach pozalogicznych.

Kryteria oceniania

Aby zaliczyć przedmiot, należy:
1. zaliczyć ćwiczenia;
2. zdać egzamin z wykładu;
3. być obecnym na ćwiczeniach, obecność na wykładach jest nieobowiązkowa, ale może być dużą pomocą w zrozumieniu przedmiotu.
Uwaga: Brak zaliczenia ćwiczeń uniemożliwia przystąpienie do egzaminu.
Warunki zaliczenia ćwiczeń i egzaminacyjne są określone w opisie szczegółowym.

Więcej informacji

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

Strona przedmiotu WF-FI-KGN-L w USOSweb