Literatura académica sobre el tema "Logikkalkül"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Logikkalkül".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Logikkalkül"
Davis, Martin. "Kurt Gödel. Über die Vollständigkeit des Logikkalküls (1929). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 60– 100. - Kurt Gödel. On the completeness of the calculus of logic (1929). English translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the preceding. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, odd pp. 61– 101. - Kurt Gödel. Die Vollständigkeit der Axiome des logischen Funktionenkalküls (1930). A reprint of 4182. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 102– 122. - Kurt Gödel. The completeness of the axioms of the functional calculus of logic (1930). A reprint of XL 475 (English translation by Stefan Bauer-Mengelberg of the preceding). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, odd pp. 103– 123. - Kurt Gödel. Über die Vollständigkeit des Logikkalküls (1930a). Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, p. 124. (Reprinted from Die Naturwissenschaften, vol. 18 (1930), p. 1068.) - Kurt Gödel. On the completeness of the calculus of logic (1930a). English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, p. 125. - Burton Dreben and Jean van Heijenoort. Introductory note to 1929, 1930 and 1930a. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 44– 59." Journal of Symbolic Logic 55, n.º 1 (marzo de 1990): 341–42. http://dx.doi.org/10.2307/2274974.
Texto completoTesis sobre el tema "Logikkalkül"
Arnold, Holger. "A linearized DPLL calculus with clause learning (2nd, revised version)". Universität Potsdam, 2009. http://opus.kobv.de/ubp/volltexte/2009/2908/.
Texto completoViele formale Beschreibungen DPLL-basierter SAT-Algorithmen enthalten entweder nicht alle wesentlichen Beweistechniken, die in modernen SAT-Solvern implementiert sind, oder sind an bestimmte Heuristiken oder Datenstrukturen gebunden. Dies erschwert die Analyse beweistheoretischer Eigenschaften oder der Suchkomplexität derartiger Algorithmen. Mit diesem Artikel versuchen wir, diese Situation durch die Entwicklung eines nichtdeterministischen Beweiskalküls zu verbessern, der die Arbeitsweise von auf dem DPLL-Kalkül basierenden SAT-Algorithmen mit Klausellernen modelliert. Dieser Kalkül ist unabhängig von Implementierungsdetails, aber dennoch präzise genug, um eine formale Analyse realistischer DPLL-basierter SAT-Algorithmen zu ermöglichen.
Libros sobre el tema "Logikkalkül"
Schenke, Michael. Logikkalküle in der Informatik. Wiesbaden: Springer Fachmedien Wiesbaden, 2013. http://dx.doi.org/10.1007/978-3-8348-2295-6.
Texto completoLogikkalkle In Der Informatik Wie Wird Logik Vom Rechner Genutzt. Springer Vieweg, 2012.
Buscar texto completoCapítulos de libros sobre el tema "Logikkalkül"
McCulloch, Warren S. y Walter H. Pitts. "Ein Logikkalkül für die der Nerventätigkeit immanenten Gedanken". En Computerkultur, 24–40. Vienna: Springer Vienna, 2000. http://dx.doi.org/10.1007/978-3-7091-6321-4_3.
Texto completoMoritz, Thorsten, Hans-Jürgen Steffens y Petra Steffens. "Logikkalküle für Informatiker". En Prüfungstrainer Informatik, 1–27. Heidelberg: Spektrum Akademischer Verlag, 2010. http://dx.doi.org/10.1007/978-3-8274-2567-6_1.
Texto completoSchenke, Michael. "Einführung". En Logikkalküle in der Informatik, 1–6. Wiesbaden: Springer Fachmedien Wiesbaden, 2013. http://dx.doi.org/10.1007/978-3-8348-2295-6_1.
Texto completoSchenke, Michael. "Nichtmonotone Logik". En Logikkalküle in der Informatik, 177–200. Wiesbaden: Springer Fachmedien Wiesbaden, 2013. http://dx.doi.org/10.1007/978-3-8348-2295-6_10.
Texto completoSchenke, Michael. "Default-Logiken". En Logikkalküle in der Informatik, 201–15. Wiesbaden: Springer Fachmedien Wiesbaden, 2013. http://dx.doi.org/10.1007/978-3-8348-2295-6_11.
Texto completoSchenke, Michael. "Mathematische Grundlagen". En Logikkalküle in der Informatik, 217–25. Wiesbaden: Springer Fachmedien Wiesbaden, 2013. http://dx.doi.org/10.1007/978-3-8348-2295-6_12.
Texto completoSchenke, Michael. "Aussagenlogik". En Logikkalküle in der Informatik, 7–29. Wiesbaden: Springer Fachmedien Wiesbaden, 2013. http://dx.doi.org/10.1007/978-3-8348-2295-6_2.
Texto completoSchenke, Michael. "Prädikatenlogik". En Logikkalküle in der Informatik, 31–66. Wiesbaden: Springer Fachmedien Wiesbaden, 2013. http://dx.doi.org/10.1007/978-3-8348-2295-6_3.
Texto completoSchenke, Michael. "Der SLD-Kalkül (Logik-Programmierung)". En Logikkalküle in der Informatik, 67–78. Wiesbaden: Springer Fachmedien Wiesbaden, 2013. http://dx.doi.org/10.1007/978-3-8348-2295-6_4.
Texto completoSchenke, Michael. "Hoaresche Logik". En Logikkalküle in der Informatik, 79–97. Wiesbaden: Springer Fachmedien Wiesbaden, 2013. http://dx.doi.org/10.1007/978-3-8348-2295-6_5.
Texto completo