Wprowadzenie do logiki formalnej
| Język wykładowy | Angielski |
|---|---|
| Semestr | Letni |
| Status | Wycofana z oferty |
| 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) |