7581048421

WYDZIAŁ Informatyki i Zarządzania

KARTA PRZEDMIOTU

Nazwa w języku polskim: Logika dla informatyków Nazwa w języku angielskim: Logic for Computer scientists Kierunek studiów (jeśli dotyczy): informatyka Specjalność (jeśli dotyczy):..........................

Stopień studiów i forma: I / H stopień*, stacjonarna / niestacjonarna*

Rodzaj przedmiotu: obowiązkowy / wybieralny / ogólnouczelniany *

Kod przedmiotu INZ001518

Grupa kursów_TAK / NIE*_

Zał. nr 4 do ZW 33/2012

	Wykład	Ćwiczenia	Laboratorium	Projekt	Seminarium
Liczba godzin zajęć zorganizowanych w Uczelni (ZZU)	30	30
Liczba godzin całkowitego nakładu pracy studenta (CNPS)	90	60
Forma zaliczenia	Egzamin /	zaliczenie na ocenę*	Egzamin / zaliczenie na ocenę*	Egzamin / zaliczenie na ocenę*	Egzamin / zaliczenie na ocenę*
Dla grupy kursów zaznaczyć kurs końcowy (X)
Liczba punktów ECTS	2	2
w tym liczba punktów odpowiadająca zajęciom o charakterze praktycznym (P)	0	0
w tym liczba punktów ECTS odpowiadająca zajęciom wymagającym bezpośredniego kontaktu (BK)	1,2	1,2

WYMAGANIA WSTĘPNE W ZAKRESIE WIEDZY, UMIEJĘTNOŚCI I INNYCH KOMPETENCJI

Znajomość matematyki na rozszerzonym poziomie matury w szkole średniej._

CELE PRZEDMIOTU

Cl. Uzyskanie wiedzy z zakresu teorii mnogości oraz klasycznego rachunku zdań i rachunku kwantyfikatorów.

C2. Uzyskanie wiedzy o zastosowaniu logiki klasycznej do formalnego definiowania wybranych elementów języków programowania.