QR kód

Teorie vyčíslitelnosti /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Mareš, Jan 1944- (Autor)
Médium:	Kniha
Jazyk:	čeština
Vydáno:	Praha : České vysoké učení technické v Praze, 2008
Vydání:	1. vyd.
Témata:	matematická logika > vyčísliteľná funkcia > Markovov algoritmus > rekurzívna množina > Turingova veta
ISBN:	9788001040768
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Sbírka úloh z elementární aritmetiky s pokyny k řešení /
Autor: Bělík, Miroslav
Vydáno: (1990)

Zbierka úloh z matematickej analýzy. I. diel. Elementy matematickej logiky, množinová algebra a vlastnosti číselných množín /
Autor: Kulcsár, Štefan
Vydáno: (2003)

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

Introduction to modern number theory. Fundamental problems, ideas and theories /
Autor: Manin, Yuri Ivanovic
Vydáno: (2005)

Opakování elementární matematiky. Příprava k příjímací zkoušce /
Autor: Rosická, Marta
Vydáno: (1992)

Matematika v kocke. Doučovanie pre druhý stupeň ZŠ a k prijímacím pohovorom na SŠ /
Autor: Drapák, Jaroslav
Vydáno: (1997)

Discrete mathematics /
Autor: Biggs, Norman L.
Vydáno: (1994)

Cvičení z matematické analýzy /
Autor: Šiňajová, Edita
Vydáno: (1994)

Cvičení z matematické analýzy. I. díl /
Autor: Klaška, Jiří
Vydáno: (2000)

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

Cvičení z matematické analýzy /
Autor: Pelantová, Edita 1959-
Vydáno: (1998)

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

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

Diferenciální počet. I. díl /
Autor: Jankovský, Zdeněk
Vydáno: (2000)

Úvod do vedy.
Autor: Olejár, Marián sr
Vydáno: (2008)

Definability and infinitely deep languages /
Autor: Heikkilä, Heikki
Vydáno: (1993)

Teória algoritmov /
Autor: Bukovský, Lev
Vydáno: (1999)

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)

Matematika plus : riešené príklady pre základné školy a osemročné gymnáziá /
Autor: Kováčik, Ján, a další
Vydáno: (2016)

Matematická logika /
Autor: Draženská, Emília, a další
Vydáno: (2012)

Artificial intelligence. Structures and strategies for complex problem solving /
Autor: Luger, George F.
Vydáno: (1998)

Diferenciální počet. I. díl /
Autor: Jankovský, Zdeněk
Vydáno: (1996)

Matematické vzorce /
Autor: Bartsch, Hans-Jochen
Vydáno: (2006)

Riešené príklady z matematiky pre gymnáziá a stredné školy. 1. diel /
Autor: Berová, Mária
Vydáno: (2003)

Maths for computing and information technology /
Autor: Giannasi, Frank
Vydáno: (1995)

Elementy teorii sistem /
Autor: Marasanov, Vladimir Vasiľjevič
Vydáno: (1991)

Ani matematika si nemôže byť istá sama sebou. Úvahy o množinách, nekonečne, paradoxoch a Gödelových vetách /
Autor: Zlatoš, Pavol
Vydáno: (1995)

Numerické metódy riešenia nekorektných úloh /
Autor: Tichonov, Andrej Nikolajevič 1906-1993
Vydáno: (2000)

Matematická analýza : cvičení.
Autor: Pelikán, Štěpán
Vydáno: (1989)

Úlohy o výrocích a množinách pro 1. ročník gymnasia /
Autor: Šedivý, Jaroslav 1934-1988
Vydáno: (1970)

Fuzzy-Logik. Einführung in die algebraischen und logischen Grundlagen /
Autor: Böhme, Gert
Vydáno: (1993)

Quantum structures : 4th winter school on measure theory, Liptovský Ján, Slovakia, January 29 - February 3, 1995 /
Autor: Duchoň, Miloslav
Vydáno: (1997)

Metoda GUHA /
Autor: Hájek, Petr 1955-
Vydáno: (1977)

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

Notes on the limits to knowledge explored with Darwinian logic /
Autor: Marchetti, Cesare
Vydáno: (1998)

Zeitschrift für mathematische Logik u. Grundlagen der Mathematik