Jorg Flum – författare
Visar alla böcker från författaren Jorg Flum. Handla med fri frakt och snabb leverans.
6 produkter
Mathematical Logic
Av Wolfgang Thomas, Jorg Flum m. fl.
E-bok, 2021
710 kr
Lägg i varukorg
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In …
Finite Model Theory
Second Edition
Av Jorg Flum, Heinz-Dieter Ebbinghaus
E-bok, 2005
2599 kr
Lägg i varukorg
Finite model theory, the model theory of finite structures, has roots in clas sical model theory; however, its systematic development was strongly influ enced by research and questions of complexity theory and of database theory. Model theory or the theory of models, as it was first named by …
Computer Science Logic
13th International Workshop, CSL''99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
Av Mario Rodriguez-Artalejo, Jorg Flum
E-bok, 2003
734 kr
Lägg i varukorg
The 1999 Annual Conference of the European Association for Computer Science Logic, CSL’99, was held in Madrid, Spain, on September 20-25, 1999. CSL’99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the …
Finite Model Theory
First Edition
Av Jorg Flum, Heinz-Dieter Ebbinghaus
E-bok, 2013
1174 kr
Lägg i varukorg
Finite model theory has its origin in classical model theory, but owes its systematic development to research from complexity theory. The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their …
Einführung in die mathematische Logik
Av Wolfgang Thomas, Jorg Flum m. fl.
E-bok, 2018
489 kr
Lägg i varukorg
Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Computern übertragen? Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende …
