Wierk - Wydział Informatyki, Elektroniczne Ramy Kwalifikacji

Wydział Informatyki
Kierunek studiów	Informatyka							Poziom i forma studiów	pierwszego stopnia inżynierskie stacjonarne
Specjalność / Ścieżka dyplomowania	---							Profil kształcenia	ogólnoakademicki
Nazwa przedmiotu	Logika dla informatyków							Kod przedmiotu	INF1LDI
								Rodzaj przedmiotu	obowiązkowy
Forma zajęć i liczba godzin	W	Ć	L	P	Ps	T	S	Semestr	1
	15	15						Punkty ECTS	2
Przedmioty wprowadzające
Cele przedmiotu	Zapoznanie słuchacza z elementami podstaw logiki matematycznej (rachunek zdań, rachunek predykatów) oraz teorii mnogości (rachunek zbiorów, funkcje, relacje, relacje równoważności i porządkujące). Wyposażenie studenta w umiejętność badania tautologiczności i spełnialności formuł rachunku zdań i prostych formuł rachunku predykatów, umiejętność wykonywania działań na zbiorach, funkcjach i relacjach, umiejętność analizy wybranych własności funkcji i relacji.
Treści programowe	Wykład: 1. Algebra zbiorów. 2. Rachunek zdań i metody dowodzenia. 3. Rachunek predykatów pierwszego rzędu. 4. Relacje i ich właściwości. 5. Relacje równoważności. Klasy abstrakcji. Podziały zbioru. 6. Relacje porządkujące i ich typy. Elementy wyróżnione. Kresy zbiorów. 7. Funkcje jako relacje jednoznaczne. Ćwiczenia: 1. Określanie właściwości zbiorów. Wykonywanie działań na zbiorach. 2. Badanie spełnialności i tautologiczności formuł rachunku zdań. Minimalizacja funkcji logicznych. Koniunkcyjna i dysjunkcyjna postać normalna formuły logicznej. Weryfikacja poprawności wybranych rozumowań. 3. Badanie spełnialności i tautologiczności formuł rachunku predykatów w wybranych modelach. 4. Określanie właściwości relacji. Wykonywanie działań na relacjach. 5. Wyznaczanie klas abstrakcji i podziału zbioru dla wybranych relacji równoważności. 6. Wyznaczanie kresów oraz elementów wyróżnionych w zbiorach uporządkowanych. 7. Badanie właściwości funkcji. Wykonywanie operacji na funkcjach.
Metody dydaktyczne	wykład problemowy, wykład informacyjny, ćwiczenia przedmiotowe,
Forma zaliczenia	Wykład: zaliczenie pisemne. Ćwiczenia: sprawdziany, zadania dodatkowe, kartkówki i samodzielna praca studentów.
Symbol efektu uczenia się	Zakładane efekty uczenia się								Odniesienie do kierunkowych efektów uczenia się
EU1	pojęcia logiki matematycznej i teorii mnogości w zakresie użytecznym dla informatyków, w szczególności do analizy złożoności i poprawności programów								INF1_W01
EU2	badać spełnialność i tautologiczność formuł rachunku zdań i prostych formuł rachunku predykatów; uzasadnia poprawność prostych rozumowań								INF1_U01
EU3	wykonywać działania na zbiorach; bada własności zbiorów								INF1_U01
EU4	sprawdzać podstawowe własności funkcji i relacji, w tym relacji równoważności i relacji porządku; wykonuje działania na funkcjach i relacjach; wyznacza klasy abstrakcji relacji równoważności								INF1_U01
Symbol efektu uczenia się	Sposób weryfikacji efektu uczenia się								Forma zajęć na której zachodzi weryfikacja
EU1	zaliczenie pisemne								W
EU2	kolokwium, sprawdziany								Ć
EU3	kolokwium, sprawdziany								Ć
EU4	kolokwium, sprawdziany								Ć
Bilans nakładu pracy studenta (w godzinach)									Liczba godz.
Wyliczenie
	1 - Udział w wykładach								15
	2 - Udział w ćwiczeniach audytoryjnych								15
	3 - Przygotowanie do zaliczenia wykładu								5
	4 - Przygotowanie do ćwiczeń audytoryjnych oraz realizacja prac domowych								8
	5 - Przygotowanie do zaliczenia ćwiczeń								3
	6 - Udział w konsultacjach								4
RAZEM:									50
Wskaźniki ilościowe									GODZINY	ECTS
Nakład pracy studenta związany z zajęciami wymagającymi bezpośredniego udziału nauczyciela									34 (1)+(2)+(6)	1.4
Nakład pracy studenta związany z zajęciami o charakterze praktycznym									26 (2)+(4)+(5)	1.0
Literatura podstawowa	1. W. Marek, J. Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach, PWN, 2022 2. I. Ławrow, Ł. Maksimowa, Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów, PWN, 2004 3. K. A. Ross, C. R. B. Wright, Matematyka Dyskretna, PWN, 2014
Literatura uzupełniająca	1. H. Matuszewska, W. Matuszewski, Elementy logiki i teorii mnogości dla informatyków, BEL Studio, 2017 2. H. Rasiowa, Wstęp do matematyki współczesnej, PWN, 2022 3. M. Ben-Ari, Logika matematyczna w informatyce, WNT, 2006
Jednostka realizująca	Katedra Informatyki Teoretycznej								Data opracowania programu
Program opracował(a)	dr Magdalena Kacprzak								2023.03.28