Seminarium: Logiki nieklasyczne: teoria i zastosowania zima 2013/14

Lista

Język wykładowy	Angielski
Opiekun	Małgorzata Biernacka
Liczba godzin	30 (sem.)
Rodzaj	Seminarium
ECTS	3
Polecany dla I roku	Nie
Egzamin	Nie
Tagi	JP (języki programowania i logika)

Opis przedmiotu:

W ramach seminarium dokonamy przeglądu wybranych systemow logicznych wychodzących poza logikę klasyczną, takich jak logiki modalne, logiki wielowartościowe czy logika liniowa. Poza podstawami teoretycznymi (w szczegolności metodami wnioskowania) omowimy zastosowania tych logik w informatyce. Wymagania: Logika dla informatykow, Programowanie

Seminaria

Lista

Prowadzący	Termin zajęć	Limit	Zapisani	Kolejka
Małgorzata Biernacka	cz 14:00-16:00 (s. 105)	15	9	0

UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.

Konsultacje prowadzących:

Imię i nazwisko	Pokój	Konsultacje
Małgorzata Biernacka	348	wt., pt. 13-14 + możliwe inne terminy, po wcześniejszym umówieniu się