Egyéb keresési lehetőségek:
"matematikai logika" » "matematika logika" (Keresés kiterjesztése)
Megjelenítés: 161 - 180 / 561 - kulcsszavak: '"matematikai logika"', keresési idő: 0.06mp Találatok szűrése
161
Nonmonotonic logic : Context-dependent reasoning
Szerző: Marek, V. Wictor (1943-)
Megjelenés: 1993
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
162
Deduction systems
Szerző: Socher-Ambrosius, Rolf
Megjelenés: 1997
Tárgyszavak: “...automatikus tételbizonyítás -- matematikai logika...”
könyv
Mentés a listára
Mentés helye:
163
A matematika néhány filozófiai problémájáról : Matematikai logika
Szerző: Ruzsa Imre (1921-2008)
Megjelenés: 1966
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
164
A matematikai logika és alkalmazásai : Kézirat
Szerző: Pásztorné Varga Katalin
Megjelenés: 1982
Tárgyszavak: “...matematikai logika -- egyetemi jegyzet...”
könyv
Mentés a listára
Mentés helye:
165
Design methods for digital systems
Szerző: Chinal, Jean
Megjelenés: 1973
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
166
Discrete mathematical structures with applications to computer science
Szerző: Tremblay, Jean-Paul
Megjelenés: 1975
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
167
The lambda calculus : Its syntax and semantics
Szerző: Barendregt, Hendrik Pieter (1947-)
Megjelenés: 1984
Tárgyszavak: “...lambda-calculus (matematikai logika)...”
könyv
Mentés a listára
Mentés helye:
168
Matematikai logika : Példatár
Szerző: Urbán János (1939-)
Megjelenés: 2006
Tárgyszavak: “...matematikai logika -- középiskola -- tankönyv...”
könyv
Mentés a listára
Mentés helye:
169
Logic and its applications
Szerző: Burke, Edmund (1729-1797)
Megjelenés: 1996
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
170
Automatic theorem proving based on resolution
Szerző: Pirotte, Alain
Megjelenés: 1973
Tárgyszavak: “...automatikus tételbizonyítás -- matematikai logika...”
könyv
Mentés a listára
Mentés helye:
171
Boole's logic and probability : A critical exposition from the standpoint of contemporary algebra, logic and probability theory
Szerző: Hailperin, Theodore
Megjelenés: 1986
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
172
A logika nyelve : Bevezetés a matematikába
Szerző: Blum, Wolfgang
Megjelenés: 2005
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
173
Formális logika és matematikai logika
Szerző: Szalai Sándor (1912-1983)
Megjelenés: 1957
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
174
Matematikai logika a speciális matematikai osztályok részére
Szerző: Urbán János (1939-)
Megjelenés: 1987
Tárgyszavak: “...matematikai logika -- középiskola -- tankönyv...”
könyv
Mentés a listára
Mentés helye:
175
Boole's logic and probability : A critical exposition from the standpoint of contemporary algebra, logic and probability theory
Szerző: Hailperin, Theodore
Megjelenés: 1986
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
176
Logic in algebraic form : Three languages and theories
Szerző: Craig William
Megjelenés: 1974
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
177
Matematikai logika
Szerző: Urbán János (1939-)
Megjelenés: 1998
Tárgyszavak: “...matematikai logika -- középiskola -- tankönyv...”
könyv
Mentés a listára
Mentés helye:
178
Fuzzy set theory - and its applications
Szerző: Zimmermann, Hans-Jürgen (1934-)
Megjelenés: 1988
Tárgyszavak: “...matematikai logika -- fuzzy rendszerek...”
könyv
Mentés a listára
Mentés helye:
179
Logikai alapozás alkalmazásokhoz : <Matematikai logika - számítástudomány> : Egyetemi jegyzet
Szerző: Pásztorné Varga Katalin
Megjelenés: 1992
Tárgyszavak: “...matematikai logika -- egyetemi jegyzet...”
könyv
Mentés a listára
Mentés helye:
180
Applied logic
Szerző: Hansen, Kaj Børge
Megjelenés: 1996
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése