Jörg Flum – författare
Visar alla böcker från författaren Jörg Flum. Handla med fri frakt och snabb leverans.
6 produkter
Mathematical Logic
Av Heinz-Dieter Ebbinghaus, Jörg Flum m. fl.
Inbunden, 2021
767 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 …
Mathematical Logic
Av Heinz-Dieter Ebbinghaus, Jörg Flum m. fl.
Häftad, 2022
550 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 Heinz-Dieter Ebbinghaus, Jörg Flum
Inbunden, 2005
1962 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 Jörg Flum, Mario Rodriguez-Artalejo
Häftad, 1999
566 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 …
Einführung in die mathematische Logik
Av Heinz-Dieter Ebbinghaus, Jörg Flum m. fl.
Häftad, 2018
464 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 …
