Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung

Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung

Weitere Versionen anzeigen (12)

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Meinel, Christoph 1954- (VerfasserIn), Mundhenk, Martin 1961-2024 (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Wiesbaden Vieweg+Teubner 2011
Ausgabe:	5., überarb. Aufl.
Schriftenreihe:	Leitfäden der Informatik Studium
Schlagworte:	Boolesche Algebra Mathematik Informatik Graphentheorie Mathematische Logik Beweis Mengenlehre
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung
von: Meinel, Christoph 1954-, et al.
Veröffentlicht: (2002)

Mathematische Grundlagen der Informatik Mathematisches Denken und Beweisen - Eine Einführung
von: Meinel, Christoph, et al.
Veröffentlicht: (2024)

Mathematische Grundlagen für die Informatik Mengen, Logik, Rekursion
von: Witt, Kurt-Ulrich 1953-
Veröffentlicht: (2013)

Ein explizit angebbares Lösungssystem für eine spezielle Klasse verallgemeinerter analytischer Funktionen mit singulären Koeffizienten
von: Goldschmidt, Bernd
Veröffentlicht: (1986)

Simplified independence proofs Boolean valued models of set theory
von: Rosser, John Barkley 1907-1989
Veröffentlicht: (1969)

Ungewöhnliche Algebra
von: Jaglom, Isaak M. 1921-1988
Veröffentlicht: (1976)

Ungewöhnliche Algebra
von: Jaglom, Isaak M. 1921-1988
Veröffentlicht: (1979)

Simplified independence proofs Boolean valued models of set theory
von: Rosser, John Barkley 1907-1989
Veröffentlicht: (1969)

"Elemente" der Informatik Ausgewählte mathematische Grundlagen für Mathematiker und Wirtschaftsinformatiker
von: Beedgen, Rainer 1952-
Veröffentlicht: (1993)

How to prove it a structured approach
von: Velleman, Daniel J.
Veröffentlicht: (2009)

Mathematik für Wirtschaftsinformatiker Lehr- und Übungsbuch
von: Götze, Wolfgang
Veröffentlicht: (2001)

Two applications of logic to mathematics
von: Takeuti, Gaisi 1926-2017
Veröffentlicht: (1978)

Mathematische Grundlagen der Ingenieurinformatik
von: Pahl, Peter Jan 1937-, et al.
Veröffentlicht: (2000)

A relational theory of computing
von: Sanderson, John G.
Veröffentlicht: (1980)

Logik und Grundlagen der Mathematik
von: Whitesitt, Eldon J.
Veröffentlicht: (1970)

How to prove it a structured approach
von: Velleman, Daniel J.
Veröffentlicht: (2006)

Beweisbarkeitslogik Gödel, Rosser, Solovay
von: Bülow, Christopher von
Veröffentlicht: (2006)

Mathematical logic and foundations of set theory proceedings of an international colloquium held under the auspices of the Israel Academy of Science and Humanities ; Jerusalem, 11 - 14 November 1968
Veröffentlicht: (1970)

Beyond Sets A Venture in Collection-Theoretic Revisionism
von: Grim, Patrick
Veröffentlicht: (2011)

The search for mathematical roots , 1870 - 1940 logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel
von: Grattan-Guinness, Ivor 1941-2014
Veröffentlicht: (2000)

Boolesche Algebra und Logik-Entwurf eine programmierte Einführung
von: Hoernes, Gerhard E., et al.
Veröffentlicht: (1972)

Boolesche Algebra und Computer Ein Informatik-Kurs
Veröffentlicht: (1979)

Boolesche Algebra und Computer e. Informatik-Kurs
Veröffentlicht: (1982)

Analysis of boolean functions
von: O'Donnell, Ryan 1979-
Veröffentlicht: (2014)

Theorie und Praxis der Booleschen Algebra
von: Denis-Papin, Maurice 1900-
Veröffentlicht: (1974)

Verfeinerungsmonoide, Vaught-Monoide und Boolesche Algebren
von: Dobbertin, Hans 1925-2007
Veröffentlicht: (1983)

Notes on logic and set theory
von: Johnstone, Peter T.
Veröffentlicht: (1988)

A Formalization of set theory without variables
von: Tarski, Alfred 1901-1983, et al.
Veröffentlicht: (1987)

Neue Grundlagen der Logik, Arithmetik und Mengenlehre
von: König, Gyula 1849-1913
Veröffentlicht: (1914)

Boolean Algebras
von: Sikorski, Roman 1920-1983
Veröffentlicht: (1969)

Einführung in die Logik und Mathematik für Linguisten
von: Wall, Robert

Elementare Logik und Mengenlehre
von: Oberschelp, Arnold 1932-

Das Buch der Beweise
von: Aigner, Martin 1942-2023, et al.
Veröffentlicht: (2010)

How to read and do proofs an introduction to mathematical thought processes
von: Solow, Daniel
Veröffentlicht: (2010)

Grundlagen der Logik
von: Schmilinsky, Diethard
Veröffentlicht: (1976)

Boolesche Algebra
Veröffentlicht: (1971)

Verfeinerungsmonoide, Vaught Monoide und Boolesche Algebren
von: Dobbertin, Hans 1925-2007
Veröffentlicht: (1983)

Boolean algebra
von: Sikorski, Roman
Veröffentlicht: (1969)

Boolesche Algebra