Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
- ISBN-10
- 3322877779
- ISBN-13
- 9783322877772
- Category
- Computers
- Pages
- 470
- Language
- German
- Published
- 2013-07-01
- Publisher
- Springer-Verlag
- Author
- Egon Börger
Get the book
Other editions
-
- 2013-07-02
- 470 pages
- Ebook
- Springer-Verlag
-
- 1985
- 469 pages
- Paperback
- Vieweg
Similar books
-
Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
By Egon BörgerEndlich liegt der ,,Klassiker" der Theoretischen Informatik, der Studenten und Forschern ein unentbehrliches Standardwerk ist, in neuer Auflage vor.
-
Computability, Complexity, Logic
By E. BörgerThe theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for ...
-
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
By Dov M. Gabbay, S. Abramsky, T. S. E. MaibaumThis handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view.
-
Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27,...
By Dirk van Dalen, Marc Bezem, European Association for Computer Science Logic. ConferenceComputational Aspects of Arity Hierarchies Henrik Imhof Computer Science Department , University of Wales Swansea , UK Abstract . The logics LFP ( least fixed point logic ) , SO ( second order logic ) , and PFP ( partial fixed point ...
-
Logic for Computer Scientists
By Uwe SchöningThis book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming.
-
Thinking in Complexity: The Computational Dynamics of Matter, Mind, and Mankind
By Klaus Mainzer... Logic . Springer : Berlin ( 1968 ) 159-222 ; Cohors- Fresenborg , E .: Mathematik mit Kalkülen und Maschinen ( see Note 4 ) ... Berechenbarkeit , Komplexität , Logik . Vieweg : Braunschweig ( 1985 ) Grötschel , M./Lovásc , L./Schryver , A ...
-
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
By Egon Börger, Hans Kleine Büning, Michael M. Richter... logic , in : Logic Colloquium 82 , Elsevier ( North Holland ) 1984 , 263-301 . [ 2 ] Egon Börger , Berechenbarkeit , Komplexität , Logik , Vieweg - Verlag , Wiesbaden 1985 . [ 3 ] Kevin Compton and C. Ward Henson , A uniform method for ...
-
Applied Logic: How, What and Why: Logical Approaches to Natural Language
By László Pólos, M. Masuch... logic gram- mar ( as A ( i ( x ) ) → aB ( x ) ) . The converse translation is , however , not always directly possible ... Berechenbarkeit , Komplexität , Logik , 2. Edition . Braun- schweig / Wiesbaden : Vieweg Colmerauer , A .: 1978 ...
-
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
By Egon Börger, Gerhard Jäger, Hans Kleine Büning... logic there is no totally recursive interpolation function . 9 References B : E Börger . Berechenbarkeit , Komplexität , Logik . Vieweg Verlag 1985. En- glish translation published by North - Holland . LMSS : PD Lincoln , J Mitchell , A ...
-
Computation Theory and Logic
By Egon BörgerIn Memory of Dieter Rötting. 24.8.1937 - 4.6.1984. On the Occasion of the 50th Anniversary of His Birth