Formalisieren und Beweisen

Logik für Informatiker

Häftad, Tyska, 1990

Del i serien Lehrbuch Informatik

588 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

465 kr

465 kr

725 kr

Produktinformation

Utgivningsdatum:1990-01-01
Mått:170 x 244 x 16 mm
Vikt:488 g
Format:Häftad
Språk:Tyska
Serie:Lehrbuch Informatik
Antal sidor:262
Upplaga:1990
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783528047573

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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

J. Richard Buchi, Dirk Siefkes - Finite Automata, Their Algebras and Grammars, E-bok

Finite Automata, Their Algebras and Grammars

J. Richard Buchi, Dirk Siefkes

E-bok

2013

1 413 kr

J. Richard Büchi, Dirk Siefkes - Finite Automata, Their Algebras and Grammars, Häftad

Finite Automata, Their Algebras and Grammars

J. Richard Büchi, Dirk Siefkes

Häftad, 2012

1 104 kr

J. Richard Buchi, Dirk Siefkes, Saunders Mac Lane - Collected Works of J. Richard Buchi, E-bok

Collected Works of J. Richard Buchi

J. Richard Buchi, Dirk Siefkes, Saunders Mac Lane

E-bok

2012

718 kr

J. Richard Büchi, Saunders Mac Lane, Dirk Siefkes - Collected Works of J. Richard Büchi, Häftad

Collected Works of J. Richard Büchi

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

Häftad, 2011

556 kr

Dirk Siefkes - Formale Methoden und kleine Systeme, E-bok

Formale Methoden und kleine Systeme

Dirk Siefkes

E-bok

2013

492 kr

Dirk Siefkes, Jurgen Seetzen, Arno Rolf, Jorg-Martin Pfluger, Frieder Nake, Wolfgang Coy, Reinhard Stransfeld - Sichtweisen der Informatik, E-bok

Sichtweisen der Informatik

Dirk Siefkes, Jurgen Seetzen, Arno Rolf, Jorg-Martin Pfluger, Frieder Nake, Wolfgang Coy, Reinhard Stransfeld

E-bok

2013

492 kr

Dirk Siefkes - Formale Methoden und kleine Systeme, Häftad

Formale Methoden und kleine Systeme

Dirk Siefkes

Häftad, 1992

776 kr

Wolfgang Coy, Frieder Nake, Jörg-Martin Pflüger, Arno Rolf, Jürgen Seetzen, Dirk Siefkes, Reinhard Stransfeld - Sichtweisen der Informatik, Häftad

Sichtweisen der Informatik

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

Häftad, 1992

674 kr

Dirk Siefkes, Gert H. Müller - Decidable Theories, Häftad

Del 120

Decidable Theories

Dirk Siefkes, Gert H. Müller

Häftad, 1970

281 kr

Dirk Siefkes, Gert H. Muller - Decidable Theories, E-bok

Decidable Theories

Dirk Siefkes, Gert H. Muller

E-bok

2006

367 kr

Mer från samma serie

Eike Best - Semantik, Häftad

Semantik

Eike Best

Häftad, 2012

622 kr

Ulrich Golze - VLSI-Entwurf eines RISC-Prozessors, Häftad

VLSI-Entwurf eines RISC-Prozessors

Ulrich Golze

Häftad, 2014

725 kr

Thomas Braunl - Parallele Programmierung, Häftad

Parallele Programmierung

Thomas Braunl

Häftad, 1993

519 kr

John L. Hennessy, David A. Patterson - Rechnerarchitektur, Häftad

Rechnerarchitektur

John L. Hennessy, David A. Patterson

Häftad, 1994

588 kr

Andreas Solymosi - Objektorientiertes Plug and Play, Häftad

Objektorientiertes Plug and Play

Andreas Solymosi

Häftad, 1997

519 kr

Klaus Weltner - Mathematik für Physiker, Häftad

Mathematik für Physiker

Klaus Weltner

Häftad, 1988

725 kr

Du kanske också är intresserad av

Dirk Siefkes - Formalisieren und Beweisen, E-bok

Formalisieren und Beweisen

Dirk Siefkes

E-bok

2013

465 kr

Dirk Siefkes, Gert H. Müller - Decidable Theories, Häftad

Del 120

Decidable Theories

Dirk Siefkes, Gert H. Müller

Häftad, 1970

281 kr

J. Richard Buchi, Dirk Siefkes - Finite Automata, Their Algebras and Grammars, E-bok

Finite Automata, Their Algebras and Grammars

J. Richard Buchi, Dirk Siefkes

E-bok

2013

1 413 kr

Dirk Siefkes - Büchi’s Monadic Second Order Successor Arithmetic, E-bok

Büchi’s Monadic Second Order Successor Arithmetic

Dirk Siefkes

E-bok

2013

510 kr

Dirk Siefkes - Formale Methoden und kleine Systeme, E-bok

Formale Methoden und kleine Systeme

Dirk Siefkes

E-bok

2013

492 kr

Dirk Siefkes - GI-4.Jahrestagung, Häftad

GI-4.Jahrestagung

Dirk Siefkes

Häftad, 1975

535 kr

Dirk Siefkes - Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen, Häftad

Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen

Dirk Siefkes

Häftad, 1998

482 kr

Dirk Siefkes, Jurgen Seetzen, Arno Rolf, Jorg-Martin Pfluger, Frieder Nake, Wolfgang Coy, Reinhard Stransfeld - Sichtweisen der Informatik, E-bok

Sichtweisen der Informatik

Dirk Siefkes, Jurgen Seetzen, Arno Rolf, Jorg-Martin Pfluger, Frieder Nake, Wolfgang Coy, Reinhard Stransfeld

E-bok

2013

492 kr

Wolfgang Coy, Frieder Nake, Jörg-Martin Pflüger, Arno Rolf, Jürgen Seetzen, Dirk Siefkes, Reinhard Stransfeld - Sichtweisen der Informatik, Häftad

Sichtweisen der Informatik

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

Häftad, 1992

674 kr

J. Richard Buchi, Dirk Siefkes, Saunders Mac Lane - Collected Works of J. Richard Buchi, E-bok

Collected Works of J. Richard Buchi

J. Richard Buchi, Dirk Siefkes, Saunders Mac Lane

E-bok

2012

718 kr