SylabUZ
Course name | Logic for IT Specialists |
Course ID | 11.3-WI-INFP-LdI |
Faculty | Faculty of Computer Science, Electrical Engineering and Automatics |
Field of study | Computer Science / Industrial Information Systems |
Education profile | academic |
Level of studies | First-cycle studies leading to Engineer's degree |
Beginning semester | winter term 2016/2017 |
Semester | 1 |
ECTS credits to win | 3 |
Course type | obligatory |
Teaching language | polish |
Author of syllabus |
|
The class form | Hours per semester (full-time) | Hours per week (full-time) | Hours per semester (part-time) | Hours per week (part-time) | Form of assignment |
Lecture | 15 | 1 | 9 | 0,6 | Credit with grade |
Class | 30 | 2 | 18 | 1,2 | Credit with grade |
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
Outcome description | Outcome symbols | Methods of verification | The class form |
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%
Modified by prof. dr hab. inż. Krzysztof Patan (last modification: 22-09-2016 21:21)