Drukuj sylabusLogika formalna
Informacje ogólne
| Kod przedmiotu: | F-K.2 |
| Kod Erasmus / ISCED: | (brak danych) / (brak danych) |
| Nazwa przedmiotu: | Logika formalna |
| Jednostka: | Zakład Logiki i Kognitywistyki |
| Grupy: |
Przedmioty kierunkowe kognitywistyka II sem. (stare) |
| Punkty ECTS i inne: |
6.00
|
| Język prowadzenia: | polski |
| Wymagania wstępne: | Znajomość podstaw rachunku zdań oraz kwantyfikatorów |
| Godzinowe ekwiwalenty punktów ECTS: | 6 |
| Sposób weryfikacji efektów kształcenia: | egzamin pisemny |
| Pełny opis: |
Kurs logiki formalnej kłądący duży nacisk na praktyczną umiejętność dowodzenia twierdzeń oraz rozwiązywania problemów. Obejmuje klasyczną logikę zdaniową, klasyczną logikę I rzędu, logiki nieklasyczne, elementy teorii modeli, elemnty teorii złożoności obliczeniowej, |
| Literatura: |
Mordechai Ben-Ari, Logika matematyczna w informatyce, Wydawnictwa Naukowo-Techniczne Helena Rasiowa, Wstęp do matematyki współczesnej, PWN, Warszawa |
| Efekty uczenia się: |
Student: 1. posiada znajomość podstawowych metod formalnych stosowanych w logice 2. wykazuje rozeznanie w zakresie systemów logiki nieklasycznej 3. posiada wiedzę w zakresie teorii mnogości 4. wyjaśnia rolę logiki jako podstawy teorii informacji |
Zajęcia w cyklu "Semestr letni 2016/2017" (zakończony)
| Okres: | 2017-02-23 - 2017-06-21 |
 
PN WT ŚR CZ KW
W
PT |
| Typ zajęć: |
Konwersatorium, 30 godzin
Wykład, 30 godzin
|
|
| Koordynatorzy: | Jacek Paśniczek | |
| Prowadzący grup: | Jacek Paśniczek, Marcin Wolski | |
| Lista studentów: | (nie masz dostępu) | |
| Zaliczenie: | Egzamin |
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Marii Curie-Skłodowskiej w Lublinie.
Właścicielem praw autorskich jest Uniwersytet Marii Curie-Skłodowskiej w Lublinie.
