QR-Code

Logika. Neúplnost, složitost a nutnost /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Švejdar, Vítězslav
Format:	Buch
Sprache:	Tschechisch
Veröffentlicht:	Praha : Academia, nakladatelství Československé akademie věd, 2002
Ausgabe:	1. vyd.
Schlagworte:	predikátový kalkulus > Peanova aritmetika > Robinsonova aritmetika
ISBN:	802001005X
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Klasická matematická logika /
von: Sochor, Antonín 1942-
Veröffentlicht: (2001)

Theory of arithmetic /
von: Peterson, John A., et al.
Veröffentlicht: (1971)

Řešené úlohy z matematiky : aritmetika a algebra /
von: Maška, Otokar 1886-1977
Veröffentlicht: (1967)

Základy fuzzy množin /
von: Navara, Mirko 1959-
Veröffentlicht: (2002)

Elementárna teória čísel. 1. časť /
von: Harminc, Matúš
Veröffentlicht: (2003)

Matematika, arifmetika, algebra, trigonometrija : dlja studentov - inostrancov /
von: Prichoďko, Jelena Maksimovna, et al.
Veröffentlicht: (1971)

Terminologický úvod. Matematika pre zahraničných študentov /
von: Kosárová, Klára
Veröffentlicht: (2001)

Aritmetický a algebraický traktát /
von: al-Chórézmí, Muhammad ibn Músa činný 813-846
Veröffentlicht: (2009)

Algebra a teoretická aritmetika. 2. díl /
von: Blažek, Jaroslav, et al.
Veröffentlicht: (1985)

Algebra a teoretická aritmetika. 2. diel /
von: Šalát, Tibor 1926-
Veröffentlicht: (1986)

Algebra a teoretická aritmetika. 1. diel /
von: Katriňák, Tibor
Veröffentlicht: (1985)

Základy elementární aritmetiky pro učitelství 1. stupně ZŠ /
von: Drábek, Jaroslav
Veröffentlicht: (1985)

Desítková řetezcová aritmetika DECAR /
von: Kodera, Jiří
Veröffentlicht: (1983)

Základy.
von: Eukleidés zemř. ca 280 př. Kr
Veröffentlicht: (2012)

Numerik für Informatiker /
von: Huckle, Thomas
Veröffentlicht: (2002)

Príručka k prijímacím skúškam z matematiky na STU v Bratislave /
von: Širáň, Jozef
Veröffentlicht: (2006)

Mean square value theorems for integers without large prime factors /
von: Neumann, Stefan
Veröffentlicht: (2006)

Kubičeskije formy : algebra, geometrija, arifmetika /
von: Manin, Jurij Ivanovič 1937-
Veröffentlicht: (1972)

Mathematics for engineers. A modern interactive approach /
von: Croft, Anthony
Veröffentlicht: (2004)

Logika pro všechny ochotné myslet /
von: Sochor, Antonín 1942-
Veröffentlicht: (2011)

Sbírka úloh z elementární aritmetiky s pokyny k řešení /
von: Bělík, Miroslav
Veröffentlicht: (1990)

Umění programování.
von: Knuth, Donald E. (Donald Ervin), et al.
Veröffentlicht: (2010)

Iskusstvo programmirovanija.
von: Knuth, Donald E. (Donald Ervin)
Veröffentlicht: (2005)

Mathematik und Leben.
von: Gäbler, Johannes
Veröffentlicht: (1966)

Ďalšie vzdelávanie učiteľov základných škôl a stredných škôl v predmete informatika : matematika pre učiteľov informatiky 2 /
von: Bachratá, Katarína
Veröffentlicht: (2009)

Základy /
von: Eukleidés zemř. ca 280 př. Kr, et al.
Veröffentlicht: (2009)

Výpočty.
von: Černý, Michal
Veröffentlicht: (2011)

From polynomials to sums of squares /
von: Jackson, Terence
Veröffentlicht: (1995)

Fuzzy logic with engineering applications /
von: Ross, Timothy J.
Veröffentlicht: (1995)

Angličtina pre študentov FMFI. Matematika /
von: Gombárik, Pavel
Veröffentlicht: (2004)

56. ročník matematickej olympiády na stredných školách. 1. stredoeurópska matematická olympiáda : správa o riešení úloh zo súťaže konanej v školskom roku 2006/2007 /
von: Novotný, Peter
Veröffentlicht: (2008)

Matematika : 100 objavov, ktoré zmenili históriu /
von: Beatty, Richard 1955-
Veröffentlicht: (2013)

Spravočnik po elementarnoj matematike : tablicy, arifmatika, algebra, geometrija,trigonometrija, funkcii i grafiki /
von: Vygodskij, Mark Jakovlevič
Veröffentlicht: (1972)

Matematické vzorce /
von: Bartsch, Hans-Jochen
Veröffentlicht: (2002)

Informatika /
von: Ježek, Karel
Veröffentlicht: (1990)

Mathematics dictionary /
von: James, Robert C.
Veröffentlicht: (1992)

Minilexikón matematiky /
von: Latka, František
Veröffentlicht: (2005)

A guide to MATLAB for beginners and experienced users : updated for MATLAB 7 and Simulink 6 /
von: Hunt, Brian R. 1965-
Veröffentlicht: (2006)

Kompendium matematiky. Vzorce a pravidla. Četné příklady včetně řešení. Od základních operací po vyšší matematiku /
von: Delventhal, Katka Maria
Veröffentlicht: (2004)

Základy kryptografie /
von: Grošek, Otakar
Veröffentlicht: (2006)