Finite Model Theory (Inbunden)
avHeinz-Dieter Ebbinghaus, Jorg Flum
ISBN: 9783540287872 - UTGIVEN: 2005-10This is a thoroughly revised and enlarged second edition that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in thi[...]
Parameterized Complexity Theory (Häftad)
avJorg Flum, Martin Grohe
ISBN: 9783642067570 - UTGIVEN: 201002This book is a state-of-the-art introduction into both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes. It presents detailed proofs of recent advanced results that have not appeared in book form before and replaces the earlier pub[...]
Einf Hrung in Die Mathematische Logik (Häftad)
avJorg Flum, Wolfgang Thomas, Heinz-Dieter Ebbinghaus
ISBN: 9783827416919 - UTGIVEN: 201302Was 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, weitre[...]
