Elementare Aussagenlogik - 7 Angebote vergleichen

Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden. Es basiert auf der Überzeugung, daß für Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa für Ingenieure oder Physiker, sondern auch ein anderes Menü, als es sich an unseren Universitäten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebürgert hat. Neben den unentbehrlichen Einführungsvorlesungen in Mathematik sind für die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage für die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Büchern über Logik ist dieses für den Anfänger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher außerhalb der Aussagenlogik liegende Gegenstände wie die Schaltlogik systematisch einbezogen worden, wo immer es möglich war: von dem für die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen über die Resolventenmethode, die den Anschluß an die Prädikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten Übungsaufgaben greifen häufig Gedanken auf, die im Text nur nebenbei erwähnt sind, und stellen Querbezüge her. Die Lösungshinweise am Ende des Buches bieten manche Überraschungen. Friedrich L. Bauer,Martin Wirsing, 24.2 x 17.0 x 1.4 cm, Buch.

Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, European-Media-Service Mannheim [1048135], Mannheim, Germany.
Publisher/Verlag: Springer, Berlin | Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden. Es basiert auf der Überzeugung, daß für Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa für Ingenieure oder Physiker, sondern auch ein anderes Menü, als es sich an unseren Universitäten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebürgert hat. Neben den unentbehrlichen Einführungsvorlesungen in Mathematik sind für die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage für die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Büchern über Logik ist dieses für den Anfänger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher außerhalb der Aussagenlogik liegende Gegenstände wie die Schaltlogik systematisch einbezogen worden, wo immer es möglich war: von dem für die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen über die Resolventenmethode, die den Anschluß an die Prädikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten Übungsaufgaben greifen häufig Gedanken auf, die im Text nur nebenbei erwähnt sind, und stellen Querbezüge her. Die Lösungshinweise am Ende des Buches bieten manche Überraschungen. | I. Natürliches Begriffsfeld.- 1. Aussagen und Aussagenverbindungen.- 1.1 Zweiwertiger Aussagenraum.- 1.2 Aussagenverbindungen.- 1.3 Extensionalität der Aussagenlogik.- 2. Aussageformen.- 2.1 Zeichen.- 2.2 Aussagenlogische Grundfunktionen.- 2.3 Aussagekonstanten.- 3. Syntax der Aussageformen.- 3.1 Kontextfreie Grammatik.- 3.2 Algorithmen zur Erkennung von Aussageformen.- 3.3 Induktive Beweise über den Aufbau von Aussageformen.- 3.4 Vielfachkonjunktion, Vielfachadjunktion.- 3.5 Gebundene Bezeichner.- 3.6 Syntaktische Identitäten.- II. Wertverlauf.- 4. Tautologien und erfüllbare Aussageformen.- 4.1 Bewertung von Aussageformen.- 4.2 Tautologie und Kontradiktion.- 4.3 Identifizierung von Unbestimmten.- 4.4 Hauptregeln.- 4.5 Einsetzungsregel.- 4.6 Formgesetze.- 5. Äquivalenz und Ordnung von Aussageformen.- 5.1 Wertverlaufsinklusion.- 5.2 Die Stärker-Regel für Implikationen.- 5.3 Wertverlaufsgleichheit.- 5.4 Die Gleichstark-Regel für Biimplikationen.- 5.5 Wertverlaufsgleichheit in Teilsprachen.- 5.6 Implikation und Biimplikation, Anreicherung.- 5.7 Verträglichkeit.- 6. Die selbständige Rolle der Subjunktion.- 6.1 Subjunktion als Umkehroperation.- 6.2 Schranken.- 6.3 Die Stärkerrelation als Verbandsordnung.- 6.4 Interpolation.- III. Funktionale und Algebraische Aspekte.- 7. Aussagenlogische Funktionen.- 7.1 Ersetzbarkeitstheorem.- 7.2 Äquivalenzklassen.- 7.3 Couffignal-Codierung und Würfel-Darstellungen.- 7.4 Folgen-Codierung aller Klassen gleichstarker Aussageformen.- 8 Repräsentantensysteme.- 8.1 Repräsentationstheorem für aussagenlogische Funktionen.- 8.2 Elimination von Grundoperationen: C und E.- 8.3 Elimination von Grundoperationen: A oder K.- 8.4 Zurückführung auf Subjunktion und Negation.- 8.5 Zurückführung auf Bisubjunktion und Negation.- 8.6 $$overline K$$ oder ? als Basis.- 8.7 Dreistellige Operationen.- 8.8 Dualität.- 8.9 Minimale Sprachbasen.- 9 Algebra der Aussageformen.- 9.1 Induzierte Operationen auf Aussageformen.- 9.2 Der Boolesche Verband der Aussageformen.- 9.3 Die Gruppe und der Boolesche Ring der Aussageformen.- 9.4 Andere algebraische Strukturen von Aussageformen.- 9.5 Mengen als Modelle des Booleschen Verbands.- 9.6 Rechnen unter Verwendung der Couffignal-Codierung.- 10. Programmiersprachen: Fallunterscheidungskalkül.- 10.1 Vereinfachungen.- 10.2 Grundgesetze über dyadische Fallunterscheidungen.- 10.3 Die dreistellige Operation B als Fallunterscheidung.- 10.4 Sequentielle und bewachte Falluntersch.

Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Neuware - Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden. Es basiert auf der Überzeugung, daß für Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa für Ingenieure oder Physiker, sondern auch ein anderes Menü, als es sich an unseren Universitäten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebürgert hat. Neben den unentbehrlichen Einführungsvorlesungen in Mathematik sind für die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage für die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Büchern über Logik ist dieses für den Anfänger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher außerhalb der Aussagenlogik liegende Gegenstände wie die Schaltlogik systematisch einbezogen worden, wo immer es möglich war: von dem für die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen über die Resolventenmethode, die den Anschluß an die Prädikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten Übungsaufgaben greifen häufig Gedanken auf, die im Text nur nebenbei erwähnt sind, und stellen Querbezüge her. Die Lösungshinweise am Ende des Buches bieten manche Überraschungen. 240 pp. Deutsch, Books.

Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
228 pages. Dimensions: 9.5in. x 6.7in. x 0.6in.Dieses Buch ber elementare Aussagenlogik (wie auch seine geplante Fortsetzung ber Elementare Prdikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universitt Mnchen entstanden. Es basiert auf der berzeugung, da fr Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa fr Ingenieure oder Physiker, sondern auch ein anderes Men, als es sich an unseren Universitten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebrgert hat. Neben den unentbehrlichen Einfhrungsvorlesungen in Mathematik sind fr die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage fr die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Bchern ber Logik ist dieses fr den Anfnger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher auerhalb der Aussagenlogik liegende Gegenstnde wie die Schaltlogik systematisch einbezogen worden, wo immer es mglich war: von dem fr die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen ber die Resolventenmethode, die den Anschlu an die Prdikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten bungsaufgaben greifen hufig Gedanken auf, die im Text nur nebenbei erwhnt sind, und stellen Querbezge her. Die Lsungshinweise am Ende des Buches bieten manche berraschungen. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.

Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden. Es basiert auf der Überzeugung, daß für Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa für Ingenieure oder Physiker, sondern auch ein anderes Menü, als es sich an unseren Universitäten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebürgert hat. Neben den unentbehrlichen Einführungsvorlesungen in Mathematik sind für die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage für die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Büchern über Logik ist dieses für den Anfänger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher außerhalb der Aussagenlogik liegende Gegenstände wie die Schaltlogik systematisch einbezogen worden, wo immer es möglich war: von dem für die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen über die Resolventenmethode, die den Anschluß an die Prädikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten Übungsaufgaben greifen häufig Gedanken auf, die im Text nur nebenbei erwähnt sind, und stellen Querbezüge her. Die Lösungshinweise am Ende des Buches bieten manche Überraschungen. Soft cover.

Von Händler/Antiquariat, Petra Gros Versandantiquariat, 56070 Koblenz.
Broschiert X, 228 Seiten; Broschiert Das hier angebotene Buch stammt aus einer teilaufgel?sten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel...). Schnitt und Einband sind etwas staubschmutzig; Einbandkanten sind leicht bestossen; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Aussagenlogik, Informatik, Datenverarbeitung, Philosophie, Mathematik, gebraucht; gut.

Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Language: German . Brand New Book. Dieses Buch uber elementare Aussagenlogik (wie auch seine geplante Fortsetzung uber Elementare Pradikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universitat Munchen entstanden. Es basiert auf der Uberzeugung, dass fur Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa fur Ingenieure oder Physiker, sondern auch ein anderes Menu, als es sich an unseren Universitaten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingeburgert hat. Neben den unentbehrlichen Einfuhrungsvorlesungen in Mathematik sind fur die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage fur die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Buchern uber Logik ist dieses fur den Anfanger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher ausserhalb der Aussagenlogik liegende Gegenstande wie die Schaltlogik systematisch einbezogen worden, wo immer es moglich war: von dem fur die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen uber die Resolventenmethode, die den Anschluss an die Pradikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten Ubungsaufgaben greifen haufig Gedanken auf, die im Text nur nebenbei erwahnt sind, und stellen Querbezuge her. Die Losungshinweise am Ende des Buches bieten manche Uberraschungen.