Wprowadzenie do logiki formalnej

Język wykładowy	Angielski
Semestr	Letni
Status	W ofercie
Opiekun	Jean Marie de Nivelle
Liczba godzin
Rodzaj	I2.T - teoria inf.
ECTS	6
Polecany dla I roku	Nie
Egzamin	Tak
Tagi	JP (języki programowania i logika)

Opis przedmiotu:

Brak