Search results
- The art of computer programming. Volume 4, Fascicle 0, Introduction to combinatorial algorithms and Boolean functions / Donald E. Knuth. Upper Saddle River, N.J. : Addison-Wesley, c2008 . xi, 216 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - Boolean algebras / by Roman Sikorski. Berlin : Springer-Verlag, 1960 . ix, 176 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - Boolean functions and computation models / Peter Clote, Evangelos Kranakis. Berlin ; New York, N.Y. : Springer, c2002 . xiv, 601 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - P-functions and boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms / André Thayse. Berlin ; Heidelberg ; New York ; Tokyo : Springer-Verlag, 1984 . vii, 248 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky) [rukopis] / Radek Lipenský. 2018 . 43
- Vyhodnocení formulí výrokové logiky [rukopis] / Lucie Šuráňová. 2016 . 44