Menu
Виж статуса на поръчката
Свържете се с нас
Книга Elementare Aussagenlogik Friedrich L. Bauer

Elementare Aussagenlogik

Автор: Friedrich L. Bauer, Martin Wirsing
Език: Немски език
Корици: С меки корици
Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Наличност: Външен склад в ограничено количество
Изпращаме след 11-15 дни
64.53 € 126.22 лв
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädi...

Информация за книгата

Автор
Friedrich L. Bauer, Martin Wirsing
Език
Немски език
Корици
Книга - С меки корици
Издадена
1991
страници
238
EAN
9783540529743
ISBN
3540529748
Enbook ID
06808308
Издател
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Теглоt
410
Размери
170 x 242 x 12

Пълно описание

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.

Може също да ви хареса

In-vitro-Untersuchung zur Wirkung von Ampicillin und Cephalexin auf den mirkobiellen Dickdarmstoffwechsel

Kirsten Mendelin
40.21 € 78.63 лв

Das Traumbestiarium des Mr. Providence

Daria Schmitt
29.60 € 57.89 лв

Клиенти, които купиха тази книга, купиха също

Soluk Yasam Görüntüleri 3 - Sivgin

10.45 € 20.44 лв

Source d'éveil - Collection : Le voyageur de la pleine conscience

RICAUD
19.75 € 38.63 лв

Matteo Carcassi

Michael Walker
29.25 € 57.20 лв

Your Personal Horoscope 2019

Joseph Polansky
7.03 € 13.75 лв

LEYENDA DE SANTA MARIA DE LA PENA NEGRA, LA

P.I CHAIKOVSKY
27.34 € 53.47 лв

Quaker and the Gamecock

Andrew Waters
32.06 € 62.71 лв

As a Man Thinketh

James Allen
10.35 € 20.24 лв

Stories of the Great Turning

Peter Reason
30.71 € 60.06 лв

Place in Time

Linda Arndt Leigh
18.19 € 35.58 лв

First-time Backpacker

Shaun Rafferty
16.33 € 31.94 лв

Expelled - Dreams Die in the Abscence of Desire

Chijioke Ogbuike
21.61 € 42.26 лв

Factores socioculturales y competencia para la lectura, en escolares

Miren De Tejada Lagonell
71.47 € 139.78 лв

Ethics of Kinship

James Faubion
71.22 € 139.29 лв

Water Chemistry

Vernon L. Snoeyink
305.65 € 597.79 лв

Mozart: The Golden Years 1781-1791

H C Robbins Landon
11.86 € 23.19 лв