Podstawy logiki i teorii mnogości 17-DLOG-IP0

Jeszcze nie wprowadzono opisu dla tego przedmiotu...

Cele kształcenia

Celem przedmiotu jest przedstawienie podstawowych pojęć i metod logiki matematycznej oraz teorii mnogości w zakresie niezbędnym do dalszych studiów informatycznych

Informacja o tym, gdzie można zapoznać się z materiałami do zajęć

Biblioteka Instytutu

Kierunek studiów

Technologie informatyczne

Metody prowadzenia zajęć umożliwiające osiągnięcie założonych EK

Wykład Rozwiązywanie zadań (obliczeniowych, praktycznych) Metoda ćwiczeniowa Praca w grupach

Moduł zajęć/przedmiotu prowadzony zdalnie (e-learning)

Nie

Nakład pracy studenta (punkty ECTS)

Forma aktywności---Średnia liczba godzin na zrealizowanie aktywności Godziny zajęć (wg planu studiów) z nauczycielem: 30+30 Praca własna studenta* Przygotowanie do zajęć 20 Czytanie wskazanej literatury 10 Przygotowanie pracy pisemnej, raportu, prezentacji, itp. Przygotowanie projektu Przygotowanie pracy semestralnej Przygotowanie do egzaminu/zaliczenia 10 SUMA GODZIN 100 LICZBA PUNKTÓW ECTS DLA PRZEDMIOTU 5

Poziom przedmiotu

I stopień

Rodzaj przedmiotu

obowiązkowe

Wymagania wstępne w zakresie wiedzy, umiejętności oraz kompetencji

Wymagania obejmują wiedzę z matematyki w zakresie szkoły średniej, umiejętność krytycznego i kreatywnego myślenia, zdolność koncentracji i pilność

Koordynatorzy przedmiotu

Maciej Kandulski

Efekty kształcenia

Po ukończeniu zajęć student:
- rozumie rolę logiki matematycznej w informatyce.
- zna historyczne źródła logiki. Potrafi dokonywać analizy logicznej struktury zdań i wnioskowań na gruncie języka naturalnego oraz przedstawiać ich strukturę na gruncie rachunku zdań.
- zna pojęcia postaci normalnej i metody ich obliczania, potrafi konstruować i upraszczać proste układy logiczne.
- potrafi analizować zdania języka naturalnego z punktu widzenia rachunku predykatów, budować schematy zdań w rachunku,
- zna i umie stosować podstawowe prawa rachunku predykatów.
zna podstawowe pojęcia i konstrukcje algebry zbiorów,
- umie zastosować je do wyprowadzania praw algebry zbiorów.
- zna pojęcie relacji, rodzaje relacji i ich własności. Umie wykonywać działania na relacjach.
- rozumie pojęcia relacji równoważności i relacji porządkujących, umie wskazywać ich przykłady i zastosowania
- zna pojęcie równoliczności zbiorów i pojęcie liczby kardynalnej

Kryteria oceniania

Zadania wykonywane podczas zajęć
Zadania domowe
Egzamin pisemny

Praktyki zawodowe

Nie są przewidziane

Literatura

R. Murawski i K. Swirydowicz, Podstawy logiki i teorii mnogości, Wydawnictwo UAM, Poznań 2006
W. Marek i J. Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach, PWN, Warszawa, wiele wydań
J. Kraszewski, Wstęp do matematyki, WNT, Warszawa, 2007

Więcej informacji

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

Strona przedmiotu 17-DLOG-IP0 w USOSweb