Úvod do logiky a logického programování. Cvičení 1.

Autor Popelínský, Lubomír
Vydáno 2000

Úvod do logiky a logického programování. Cvičení. 2.

Autor Popelínský, Lubomír
Vydáno 2000

Úvod do logiky a logického programování. Cvičení. 3.

Autor Popelínský, Lubomír
Vydáno 2000

Úvod do logiky a logického programování. Cvičení. 4.

Autor Popelínský, Lubomír
Vydáno 2000

Úvod do logiky a logického programování. Cvičení. 5.

Autor Popelínský, Lubomír
Vydáno 2000

Úvod do logiky a logického programování. Cvičení. 6.

Autor Popelínský, Lubomír
Vydáno 2000

Úvod do logiky a logického programování. Cvičení. 7.

Autor Popelínský, Lubomír
Vydáno 2000

Úvod do logiky a logického programování. Cvičení. 8.

Autor Popelínský, Lubomír
Vydáno 2000

Úvod do logiky a logického programování. Cvičení. 9.

Autor Popelínský, Lubomír
Vydáno 2000

Úvod do logiky a logického programování. Cvičení. 10.

Autor Popelínský, Lubomír
Vydáno 2000

Úvod do logiky a logického programování. Cvičení. 11.

Autor Popelínský, Lubomír
Vydáno 2000

Úvod do logiky a logického programování. Cvičení. 12.

Autor Popelínský, Lubomír
Vydáno 2000

Výpočtová logika - cvičení. Opakování

Autor Blaťák, Jan, 1979-
Vydáno 2000

Výpočtová logika. 1., Modální logika

Autor Blaťák, Jan, 1979-
Vydáno 2000

Výpočtová logika. 2., Analytická tabla v modální logice

Autor Blaťák, Jan, 1979-
Vydáno 2000

Výpočtová logika. Analytická tabla v predikátové logice

Autor Blaťák, Jan, 1979-
Vydáno 2000

Výpočtová logika. Analytická tabla ve výrokové logice (cvičení)

Autor Blaťák, Jan, 1979-
Vydáno 2000

Výpočtová logika. Analytická tabla ve výrokové logice

Autor Blaťák, Jan, 1979-
Vydáno 2000

Výpočtová logika. Predikátová logika

Autor Blaťák, Jan, 1979-
Vydáno 2000

Výpočtová logika. Rezoluce a jazyk. Prolog

Autor Blaťák, Jan, 1979-
Vydáno 2000