Logika dla informatyków - opis przedmiotu

Informacje ogólne

Nazwa przedmiotu	Logika dla informatyków
Kod przedmiotu	11.3-WI-INFP-LdI
Wydział	Wydział Nauk Inżynieryjno-Technicznych
Kierunek	Informatyka / Sieciowe systemy informatyczne
Profil	ogólnoakademicki
Rodzaj studiów	pierwszego stopnia z tyt. inżyniera
Semestr rozpoczęcia	semestr zimowy 2016/2017

Informacje o przedmiocie

Semestr	1
Liczba punktów ECTS do zdobycia	3
Typ przedmiotu	obowiązkowy
Język nauczania	polski
Sylabus opracował	dr inż. Jacek Tkacz

Formy zajęć

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ę

Cel przedmiotu

zapoznanie studentów z podstawami algebry Boole’a i rachunku zdań,
zapoznanie studentów z metodami dowodzenie tautologii,
zapoznanie studentów z wykorzystaniem logiki i teorii mnogości w informatyce.

Wymagania wstępne

Brak wymagań.

Zakres tematyczny

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.

Metody kształcenia

Wykład: wykład konwencjonalny/tradycyjny.

Ćwiczenia: ćwiczenia praktyczne

Efekty uczenia się i metody weryfikacji osiągania efektów uczenia się

Opis efektu	Symbole efektów	Metody weryfikacji	Forma zajęć

Warunki zaliczenia

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%

Obciążenie pracą	Studia stacjonarne (w godz.)	Studia niestacjonarne (w godz.)
Godziny kontaktowe (udział w zajęciach; konsultacjach; egzaminie, itp.)	45	27
Samodzielna praca studenta (przygotowanie do: zajęć, kolokwium, egzaminu; studiowanie literatury przygotowanie: pracy pisemnej, projektu, prezentacji, raportu, wystąpienia; itp.)	30	48
Łącznie	75	75
Punkty ECTS	Studia stacjonarne	Studia niestacjonarne
Zajęcia z udziałem nauczyciela akademickiego	2	1
Zajęcia bez udziału nauczyciela akademickiego	1	2
Łącznie	3	3

Literatura podstawowa

Huzar Z.: Elementy logiki i teorii mnogości dla informatyków, Wydawnictwa Politechniki Wrocławskiej, Wrocław, 2007.
Ross K.A., Wright Ch.R.B.: Matematyka dyskretna, Wydawnictwo Naukowe PWN, Warszawa, 2006 (rozdz. 1, 2, 3,10).
Ławrow I.A, Maksimowa Ł.R: Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów, Wydawnictwo Naukowe PWN, Warszawa, 2004.
Ben Ari M.: Logika matematyczna w informatyce, WNT, Warszawa, 2005.

Literatura uzupełniająca

Papadimitriou H.: Złożoność obliczeniowa, WNT, Warszawa, 2002 (cz. 2 Logika).
Tiuryn J.: Wstęp do teorii mnogości i logiki, Wydział Matematyki, Informatyki i Mechaniki, Uniwersytet Warszawski, 1998 (podręcznik internetowy).
Majewski W.: Układy logiczne, Wydawnictwa Komunikacji i Łączności, 2000.

Uwagi

Zmodyfikowane przez prof. dr hab. inż. Krzysztof Patan (ostatnia modyfikacja: 22-09-2016 21:21)