Literatura académica sobre el tema "Logikkalkül"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

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"

1

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 completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Tesis sobre el tema "Logikkalkül"

1

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 completo
Resumen
Many formal descriptions of DPLL-based SAT algorithms either do not include all essential proof techniques applied by modern SAT solvers or are bound to particular heuristics or data structures. This makes it difficult to analyze proof-theoretic properties or the search complexity of these algorithms. In this paper we try to improve this situation by developing a nondeterministic proof calculus that models the functioning of SAT algorithms based on the DPLL calculus with clause learning. This calculus is independent of implementation details yet precise enough to enable a formal analysis of realistic DPLL-based SAT algorithms.
Viele 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.
Los estilos APA, Harvard, Vancouver, ISO, etc.

Libros sobre el tema "Logikkalkül"

1

Schenke, Michael. Logikkalküle in der Informatik. Wiesbaden: Springer Fachmedien Wiesbaden, 2013. http://dx.doi.org/10.1007/978-3-8348-2295-6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Logikkalkle In Der Informatik Wie Wird Logik Vom Rechner Genutzt. Springer Vieweg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "Logikkalkül"

1

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 completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Moritz, 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 completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Schenke, 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 completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Schenke, 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 completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Schenke, 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 completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Schenke, 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 completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Schenke, 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 completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Schenke, 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 completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Schenke, 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 completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Schenke, 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
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía