QR kód

Diskrétní matematika /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Mezník, Ivan 1942-
Médium:	Kniha
Jazyk:	čeština
Vydáno:	Brno : Vysoké učení technické v Brně - Nakladatelství VUTIUM, 2004
Vydání:	1. vyd.
Edice:	Učební texty vysokých škol
Témata:	matematická logika > graf > formálny jazyk > konečný automat
ISBN:	802142754X
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Diskrétní matematika pro užitou informatiku /
Autor: Mezník, Ivan 1942-
Vydáno: (2009)

Orientirovannyje grafy i konečnyje avtomaty /
Autor: Melichov, Askoľd Nikolajevič
Vydáno: (1971)

Modelovanie a riadenie diskrétnych udalostných dynamických systémov s využitím Petriho sietí a iných nástrojov /
Autor: Hrúz, Branislav
Vydáno: (2003)

Discrete mathematics. A unified approach /
Autor: Wiitala, Stephen A.
Vydáno: (1987)

Vvedenije v teoriju konečnych avtomatov /
Autor: Gill, Arthur
Vydáno: (1966)

Voprosy sinteza konečnych avtomatov /
Autor: Gobzeris, A. Ju
Vydáno: (1972)

ACM transactions on computational logic
Vydáno: (2000)

Logika /
Autor: Bek, Roman
Vydáno: (2000)

Sintez asinchronnych konečnych avtomatov /
Autor: Jakubajtis, Eduard Aleksandrovič
Vydáno: (1970)

Osnovy teorii grafov /
Autor: Zykov, Aleksandr Aleksandrovič
Vydáno: (2004)

Jazyky a překlady. Cvičení /
Autor: Melichar, Bořivoj 1942-
Vydáno: (2004)

Diskrétní matematika.
Autor: Kopka, Jan, 1941-, a další
Vydáno: (1990)

Návrh konečných automatů a syntaktických analyzátorů.
Vydáno: (1986)

Riadiace systémy so safety PLC /
Autor: Rástočný, Karol 1958-, a další
Vydáno: (2013)

Logické systémy /
Autor: Kaprálik, Peter, a další
Vydáno: (2007)

Logické systémy /
Autor: Kaprálik, Peter, a další
Vydáno: (2009)

Digitale Systeme. Grundlagen /
Autor: Wunsch, Gerhard
Vydáno: (1993)

Diskrétna matematika /
Autor: Bučko, Michal
Vydáno: (1991)

Technológia riadenia procesov : logické riadenie /
Autor: Simonová, Anna
Vydáno: (2011)

Automata, languages and programming : Proceedings, Lund, Sweden, July 5 - 9, 1993 /
Autor: Blum, Manuel
Vydáno: (1993)

Logické systémy /
Autor: Jáneš, Vlastimil
Vydáno: (2001)

Základy teoretickej informatiky /
Autor: Bandurič, Igor
Vydáno: (2005)

Jazyky a překlady /
Autor: Melichar, Bořivoj 1942-
Vydáno: (1996)

Theory of formal systems /
Autor: Smullyan, Raymond M.
Vydáno: (1961)

Matematická logika : určeno pro posluchače přírodověd. fak. /
Autor: Dymáček, Michael, 1943-
Vydáno: (1968)

Issledovanija po matematičeskoj lingvistike, matematičeskoj logike i informacionnym jazykam /
Autor: Smockij, E. D.
Vydáno: (1972)

Logika, algebry a grafy /
Autor: Kolář, Josef
Vydáno: (1989)

Deductive databases and logic programming /
Autor: Das, Subrata Kumar
Vydáno: (1992)

Logické systémy /
Autor: Jáneš, Vlastimil
Vydáno: (1994)

Světonázorové problémy v matematice. 1. díl : Matematická logika a formální teorie, ... /
Autor: Drábek, Jaroslav
Vydáno: (1986)

Zaujímavá logika /
Autor: Bizám, György
Vydáno: (1982)

Algebra pravdivostných hodnôt výrobkov pre 4. ročník gymnázia s triedami zameranými na matematiku /
Autor: Odvárko, Oldřich 1938-
Vydáno: (1988)

Vvedenije v matematičeskuju logiku.
Autor: Church, Alonzo
Vydáno: (1960)

Elektronika. I. diel. Vybrané obvody číslicovej techniky /
Autor: Petrovič, Pavol
Vydáno: (2002)

Vvedenije v matematičeskuju logiku /
Autor: Mendelson, Elliott
Vydáno: (1971)

Kapitoly z diskrétní matematiky /
Autor: Matoušek, Jiří
Vydáno: (2002)

LATIN '95. Theoretical informatics : 2nd Latin American symp., Valparaíso, Chile, April 3 -7 1995 /
Autor: Goles, Eric
Vydáno: (1995)

Diskrétna matematika /
Autor: Bučko, Michal
Vydáno: (1999)

The evolution of type theory in logic and mathematics /
Autor: Laan, Twan Dismas Laurens
Vydáno: (1997)

Matematika pro zájemce o studium na vysokých školách technických /
Autor: Hyánková, Miluše
Vydáno: (1997)