[EAN: 9783211827963], Neubuch, [SC: 36.06], [PU: Springer Vienna], LOGIK; PHILOSOPHIE / MATHEMATIK RESOLUTION; TURINGMACHINE; COMPLEXITY; COMPLEXITYTHEORY; LOGIC; MATHEMATICALLOGIC; PROOF; ALGORITHMANALYSISANDPROBLEMCOMPLEXITY, Druck auf Anfrage Neuware - Printed after ordering - Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines., Books<
[EAN: 9783211827963], Neubuch, [SC: 9.09], [PU: Springer Vienna], LOGIK; PHILOSOPHIE / MATHEMATIK RESOLUTION; TURINGMACHINE; COMPLEXITY; COMPLEXITYTHEORY; LOGIC; MATHEMATICALLOGIC; PROOF; ALGORITHMANALYSISANDPROBLEMCOMPLEXITY, Druck auf Anfrage Neuware - Printed after ordering - Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines., Books<
[EAN: 9783211827963], Neubuch, [SC: 36.06], [PU: Springer Vienna], LOGIK; PHILOSOPHIE / MATHEMATIK RESOLUTION; TURINGMACHINE; COMPLEXITY; COMPLEXITYTHEORY; LOGIC; MATHEMATICALLOGIC; PROOF; ALGORITHMANALYSISANDPROBLEMCOMPLEXITY, Druck auf Anfrage Neuware - Printed after ordering - Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines., Books<
[EAN: 9783211827963], Neubuch, [SC: 9.09], [PU: Springer Vienna], LOGIK; PHILOSOPHIE / MATHEMATIK RESOLUTION; TURINGMACHINE; COMPLEXITY; COMPLEXITYTHEORY; LOGIC; MATHEMATICALLOGIC; PROOF; ALGORITHMANALYSISANDPROBLEMCOMPLEXITY, Druck auf Anfrage Neuware - Printed after ordering - Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines., Books<
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.
Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajic ek: A Fundamental Problem of Mathematical Logic. - P. Pudlak: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines.
Detailangaben zum Buch - Collegium Logicum (Collegium Logicum, 2, Band 2)
Buch in der Datenbank seit 2007-11-18T17:04:43+01:00 (Berlin) Detailseite zuletzt geändert am 2024-03-14T11:27:45+01:00 (Berlin) ISBN/EAN: 9783211827963
ISBN - alternative Schreibweisen: 3-211-82796-X, 978-3-211-82796-3 Alternative Schreibweisen und verwandte Suchbegriffe: Autor des Buches: kurt gödel, kurt goedel, gesellschaft ulk, institut für gesellschaft, kurt godel Titel des Buches: kurt gödel, collegium logicum
Daten vom Verlag:
Autor/in: Kenneth A. Loparo Titel: Collegium Logicum; Collegium Logicum Verlag: Springer; Springer Wien 140 Seiten Erscheinungsjahr: 1996-04-30 Vienna Sprache: Englisch 53,49 € (DE) 54,99 € (AT) 59,00 CHF (CH) Available VII, 140 p. 3 illus.
BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Resolution; Turing machine; complexity; complexity theory; logic; mathematical logic; proof; algorithm analysis and problem complexity; Mathematical Logic and Foundations; Theoretical, Mathematical and Computational Physics; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Theory of Computation; Algorithms; Mathematische Grundlagen; Mathematische Physik; Theoretische Informatik; Algorithmen und Datenstrukturen; EA
Resolution Games and Non-liftable Resolution Orderings.- A Tableau Calculus for Partial Functions.- MUltlog: an Expert System for Multiple-valued Logics.- A Fundamental Problem of Mathematical Logic.- On the Lengths of Proofs of Consistency.- The Craig Interpolation Theorem for Schematic Systems.- The Role of Monotonicity in Descriptive Complexity Theory.- Numbers Defined by Turing Machines.
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten: