SylabUZ
Nazwa przedmiotu | Logika dla informatyków |
Kod przedmiotu | 11.3-WI-INFP-LdI |
Wydział | Wydział Informatyki, Elektrotechniki i Automatyki |
Kierunek | Informatyka |
Profil | ogólnoakademicki |
Rodzaj studiów | pierwszego stopnia z tyt. inżyniera |
Semestr rozpoczęcia | semestr zimowy 2017/2018 |
Semestr | 1 |
Liczba punktów ECTS do zdobycia | 3 |
Typ przedmiotu | obowiązkowy |
Język nauczania | polski |
Sylabus opracował |
|
Forma zajęć | Liczba godzin w semestrze (stacjonarne) | Liczba godzin w tygodniu (stacjonarne) | Liczba godzin w semestrze (niestacjonarne) | Liczba godzin w tygodniu (niestacjonarne) | Forma zaliczenia |
Wykład | 15 | 1 | 9 | 0,6 | Zaliczenie na ocenę |
Ćwiczenia | 30 | 2 | 18 | 1,2 | Zaliczenie na ocenę |
Brak wymagań.
Rachunek zdań. Składnia i semantyka. Pojęcie tautologii. Metody dowodzenia tautologii. Prawa rachunku zadań.
Zbiór i elementy zbioru. Definiowanie zbiorów. Podzbiory. Równość zbiorów. Operacje na zbiorach. Prawa teorii zbiorów i
sposoby ich dowodzenia.
Produkt kartezjański. Relacje. Rodzaje relacji. Operacje na relacjach i sposoby ich sprawdzania. Zastosowanie pojęcia relacji w informatyce.
Algebra Boole’a. Funkcje logiczne. Minimalizacja funkcji logicznych. Metody reprezentacji funkcji logicznych (BDD). Badanie spełnialności funkcji logicznych.
Logika i teoria mnogości w informatyce
Elementy logiki symbolicznej i rachunku sekwentów.
Wykład: wykład konwencjonalny/tradycyjny.
Ćwiczenia: ćwiczenia praktyczne
Opis efektu | Symbole efektów | Metody weryfikacji | Forma zajęć |
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnych ocen z kolokwiów pisemnych lub ustnych przeprowadzonych co najmniej raz w semestrze.
Ćwiczenia – warunkiem zaliczenia jest uzyskanie pozytywnych ocen z pisemnych sprawdzianów tematycznych.
Składowe oceny końcowej = wykład: 50% + ćwiczenia: 50%
Zmodyfikowane przez prof. dr hab. inż. Andrzej Obuchowicz (ostatnia modyfikacja: 19-04-2017 11:38)