Klassische Logik : : Einführung mit interaktiven Übungen / / Timm Lampert.
Das Buch vermittelt die Grundlagen der Aussagen- und erweiterten Prädikatenlogik in 12 Lektionen. Neben Techniken zum Überprüfen der Schlüssigkeit von Argumenten bilden die Kunst des Formalisierens wissenschaftlicher Argumente und metalogische Fragen den Inhalt des Buches. Das Buch eignet sich in Ve...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2013] ©2004 |
Year of Publication: | 2013 |
Language: | German |
Series: | Logos : Studien zur Logik, Sprachphilosophie und Metaphysik ,
5 |
Online Access: | |
Physical Description: | 1 online resource (402 p.) :; Zahl. Abb. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Mehrwertige Logik : : Eine Einführung in Theorie und Anwendungen / / Siegfried Gottwald.
by: Gottwald, Siegfried,
Published: ([2015]) -
Algorithmen und Datenstrukturen / / Norbert Blum.
by: Blum, Norbert,
Published: ([2013]) -
Methodisches Programmieren : : Entwicklung von Algorithmen durch schrittweise Verfeinerung / / Cornelis Koster, Günter Hommel, Stefan Jähnichen.
by: Hommel, Günter,
Published: ([2016]) -
Arithmetik und Kombinatorik bei Kant / / Gottfried Martin.
by: Martin, Gottfried,
Published: ([2011]) -
Abbildungsverfahren Zur Effizienten Implementierung Rechenintensiver Algorithmen Auf Prozessorarrays / / Sebastian Siegel.
by: Siegel, Sebastian,
Published: (2008.)