Formalisieren und Beweisen

Logik für Informatiker

Häftad, Tyska, 1990

Av Dirk Siefkes

759 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

939 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum1990-01-01
Mått170 x 244 x 16 mm
Vikt488 g
FormatHäftad
SpråkTyska
SerieLehrbuch Informatik
Antal sidor262
Upplaga1990
FörlagSpringer Fachmedien Wiesbaden
ISBN9783528047573

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it

Einführung.- 1 Aussagenlogik.- 1A Formeln schreiben und benutzen.- 1B Allgemeingültige Formeln und logisches Folgern.- 1C Entscheidungsverfahren und Normalformen.- 1D Ableiten.- 2 Offene Prädikatenlogik.- 2A Situationen strukturieren und durch Formeln beschreiben.- 2B Mit Formeln und Strukturen umgehen.- 2C Strukturieren, Formalisieren, Axiomatisieren.- 2D Ableiten.- 3 Prädikatenlogik.- 3A Quantorenlogik.- 3B Finitisieren und mechanisieren.- 3C Geometrie und Zahlen axiomatisieren.- 3D Stärken und Schwächen.- Anhang Unvollständiger Dialog über Vollständigkeit.- Die Lehrveranstaltung Logik für Informatiker.- Verzeichnisse.- Personenverzeichnis.- Symbolverzeichnis.- Begriffsverzeichnis.

Mer från samma författare

Finite Automata, Their Algebras and Grammars

Finite Automata, Their Algebras and Grammars

J. Richard Büchi, Dirk Siefkes

1 419 kr

Collected Works of J. Richard Büchi

Collected Works of J. Richard Büchi

J. Richard Büchi, Saunders Mac Lane, Dirk Siefkes

719 kr

Formale Methoden und kleine Systeme

Formale Methoden und kleine Systeme

999 kr

Sichtweisen der Informatik

Sichtweisen der Informatik

Wolfgang Coy, Frieder Nake, Jörg-Martin Pflüger, Arno Rolf, Jürgen Seetzen, Dirk Siefkes, Reinhard Stransfeld

859 kr

Decidable Theories

Decidable Theories

Dirk Siefkes, Gert H. Müller

359 kr

Pioniere der Informatik

Pioniere der Informatik

Dirk Siefkes, Anette Braun, Peter Eulenhöfer, Heike Stach, Klaus Städtler

429 kr

Pioniere der Informatik

Pioniere der Informatik

Dirk Siefkes, Anette Braun, Peter Eulenhöfer, Heike Stach, Klaus Städtler

359 kr

Büchi’s Monadic Second Order Successor Arithmetic

Büchi’s Monadic Second Order Successor Arithmetic

669 kr

GI-4.Jahrestagung

Del 26

GI-4.Jahrestagung

689 kr

Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen

Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen

629 kr

Du kanske också är intresserad av