Lógica para informáticos
में बचाया:
| मुख्य लेखकों: | Farré Cirera, Rafel (लेखक), Nieuwenhuis, Robert (लेखक), Nivela Alós, Pilar (लेखक), Oliveras Llunell, Albert (लेखक), Rodríguez Carbonell, Enric (लेखक), Sierra Santibáñez, Josefina (लेखक) |
|---|---|
| स्वरूप: | पुस्तक |
| भाषा: | स्पेनिश |
| प्रकाशित: |
Cuernavaca
Alfaomega
2012
|
| संस्करण: | 1a. ed |
| विषय: | |
| टैग: |
टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
समान संसाधन
Lógica simbólica para informáticos
द्वारा: Iranzo, Pascual Julián
प्रकाशित: (2005)
द्वारा: Iranzo, Pascual Julián
प्रकाशित: (2005)
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
द्वारा: Ledesma, Luis de
प्रकाशित: (2010)
द्वारा: Ledesma, Luis de
प्रकाशित: (2010)
Pruebas y refutaciones: la lógica del descubrimiento matemático
द्वारा: Lakatos, Imre
प्रकाशित: (1982)
द्वारा: Lakatos, Imre
प्रकाशित: (1982)
Introducción al simbolismo lógico
द्वारा: Bosch, Jorge E
प्रकाशित: (1970)
द्वारा: Bosch, Jorge E
प्रकाशित: (1970)
Popular lectures on mathematical logic
द्वारा: Wang, Hao
प्रकाशित: (1993)
द्वारा: Wang, Hao
प्रकाशित: (1993)
Logic colloquium
द्वारा: Parikh, Rohit
प्रकाशित: (1975)
द्वारा: Parikh, Rohit
प्रकाशित: (1975)
Lógica matemática.
द्वारा: Ferrater Mora, José
प्रकाशित: (1962)
द्वारा: Ferrater Mora, José
प्रकाशित: (1962)
La lógica simbólica
द्वारा: Agazzi, Evandro
प्रकाशित: (1986)
द्वारा: Agazzi, Evandro
प्रकाशित: (1986)
Lógica formal: su alcance y sus límites.
द्वारा: Jeffrey, Richard C.
प्रकाशित: (1986)
द्वारा: Jeffrey, Richard C.
प्रकाशित: (1986)
La logique à l'école
द्वारा: Glaymann, Maurice, और अन्य
प्रकाशित: (1972)
द्वारा: Glaymann, Maurice, और अन्य
प्रकाशित: (1972)
Introducción al simbolismo lógico
द्वारा: Bosch, Jorge E
प्रकाशित: (1981)
द्वारा: Bosch, Jorge E
प्रकाशित: (1981)
Sur les algèbres de Hilbert
द्वारा: Diego, Antonio
प्रकाशित: (1966)
द्वारा: Diego, Antonio
प्रकाशित: (1966)
Lógica combinatoria
द्वारा: Curry, Haskell B, और अन्य
प्रकाशित: (1967)
द्वारा: Curry, Haskell B, और अन्य
प्रकाशित: (1967)
La structure algébrique des théories mathématiques
द्वारा: Henkin, Leon
प्रकाशित: (1956)
द्वारा: Henkin, Leon
प्रकाशित: (1956)
Lógica simbólica: una breve introducción
द्वारा: Gómez Calderón, Javier
प्रकाशित: (1979)
द्वारा: Gómez Calderón, Javier
प्रकाशित: (1979)
Los fundamentos de la matemática y otros ensayos sobre lógica
द्वारा: Ramsey, Frank Plumpton
प्रकाशित: (1968)
द्वारा: Ramsey, Frank Plumpton
प्रकाशित: (1968)
An introduction to Hilbert space and quantum logic
द्वारा: Cohen, David W
प्रकाशित: (1989)
द्वारा: Cohen, David W
प्रकाशित: (1989)
Teaching mathematical reasoning in secondary school classrooms
द्वारा: Brodie, Karin
प्रकाशित: (2010)
द्वारा: Brodie, Karin
प्रकाशित: (2010)
Methods in mathematical logic
द्वारा: Prisco, C. A. di
प्रकाशित: (1985)
द्वारा: Prisco, C. A. di
प्रकाशित: (1985)
Manual de lógica para estudiantes de matemáticas
द्वारा: Zubieta Russi, Gonzalo
प्रकाशित: (1971)
द्वारा: Zubieta Russi, Gonzalo
प्रकाशित: (1971)
Eléments de logique mathématique: théorie des modèles
द्वारा: Kreisel, G, और अन्य
प्रकाशित: (1966)
द्वारा: Kreisel, G, और अन्य
प्रकाशित: (1966)
Algebra and logic
द्वारा: Crossley, J. N
प्रकाशित: (1975)
द्वारा: Crossley, J. N
प्रकाशित: (1975)
Lógica, lingüística y matemáticas
द्वारा: Serrano, Sebastián
प्रकाशित: (1977)
द्वारा: Serrano, Sebastián
प्रकाशित: (1977)
Modal logics
द्वारा: Feys, Robert
प्रकाशित: (1965)
द्वारा: Feys, Robert
प्रकाशित: (1965)
A course in mathematical logic
द्वारा: Manin, Yuri Ivanovich
प्रकाशित: (1977)
द्वारा: Manin, Yuri Ivanovich
प्रकाशित: (1977)
The grammar of mathematics
द्वारा: Durst, Lincoln K
प्रकाशित: (1969)
द्वारा: Durst, Lincoln K
प्रकाशित: (1969)
Introduction to mathematical logic
द्वारा: Mendelson, Elliott
प्रकाशित: (1997)
द्वारा: Mendelson, Elliott
प्रकाशित: (1997)
Lógica simbólica
द्वारा: Hegenberg, Leónidas
प्रकाशित: (1966)
द्वारा: Hegenberg, Leónidas
प्रकाशित: (1966)
Introduction a la logique mathématique
द्वारा: Novikov, P. S. (Petr Sergeevich)
प्रकाशित: (1964)
द्वारा: Novikov, P. S. (Petr Sergeevich)
प्रकाशित: (1964)
Lógica para lingüistas
द्वारा: Allwood, Jens, और अन्य
प्रकाशित: (1981)
द्वारा: Allwood, Jens, और अन्य
प्रकाशित: (1981)
An algebraic introduction to mathematical logic
द्वारा: Barnes, Donald W, और अन्य
प्रकाशित: (1975)
द्वारा: Barnes, Donald W, और अन्य
प्रकाशित: (1975)
Symbolic logic and language: a programmed text
द्वारा: Dickoff, James, और अन्य
प्रकाशित: (1965)
द्वारा: Dickoff, James, और अन्य
प्रकाशित: (1965)
Mathematical Logic
द्वारा: Monk, James Donald
प्रकाशित: (1976)
द्वारा: Monk, James Donald
प्रकाशित: (1976)
Ejercicios de lógica
द्वारा: Moreno, Alberto
प्रकाशित: (1970)
द्वारा: Moreno, Alberto
प्रकाशित: (1970)
Studies in foundations and combinatorics
द्वारा: Rota, Gian-Carlo
प्रकाशित: (1978)
द्वारा: Rota, Gian-Carlo
प्रकाशित: (1978)
Introducción a la lógica
द्वारा: Copi, Irving M
प्रकाशित: (1969)
द्वारा: Copi, Irving M
प्रकाशित: (1969)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
प्रकाशित: (1965)
प्रकाशित: (1965)
Introduction to mathematical logic
द्वारा: Mendelson, Elliott
प्रकाशित: (1964)
द्वारा: Mendelson, Elliott
प्रकाशित: (1964)
The logical basis for computer programming
द्वारा: Manna, Zohar, और अन्य
प्रकाशित: (1985)
द्वारा: Manna, Zohar, और अन्य
प्रकाशित: (1985)
Tableau systems for first order number theory and certain higher order theories
द्वारा: Toledo, Sue
प्रकाशित: (1975)
द्वारा: Toledo, Sue
प्रकाशित: (1975)
समान संसाधन
-
Lógica simbólica para informáticos
द्वारा: Iranzo, Pascual Julián
प्रकाशित: (2005) -
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
द्वारा: Ledesma, Luis de
प्रकाशित: (2010) -
Pruebas y refutaciones: la lógica del descubrimiento matemático
द्वारा: Lakatos, Imre
प्रकाशित: (1982) -
Introducción al simbolismo lógico
द्वारा: Bosch, Jorge E
प्रकाशित: (1970) -
Popular lectures on mathematical logic
द्वारा: Wang, Hao
प्रकाशित: (1993)