𝔖 Scriptorium
✦   LIBER   ✦
📁

Logik für Software-Ingenieure

✍ Scribed by Günter Matthiessen

Publisher
De Gruyter
Year
1991
Tongue
German
Leaves
292
Series
Programmierung Komplexer Systeme / Programming Complex Systems; 3
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents

Vorwort der Herausgeber
Vorwort
Inhaltsverzeichnis
1. Einleitung
2. Relationen, Funktionen und Listen
3. Aussagenlogik
4. Boolesche Algebra
5. Kalküle und Algorithmen
6. Funktionen und Relationen in der Programmierung
7. Prädikatenlogik
8. Mehrwertige Logik
9. Prädikatenlogik und SQL
Anhang A. Metasprache zur Syntax-Beschreibung
Anhang B. Liste der benutzten Symbole
Anhang C. Programm-Beispiele
Literatur
Index

📜 SIMILAR VOLUMES

CAD/CAM für Ingenieure: Hardware, Softwa
📁 CAD/CAM für Ingenieure: Hardware, Software, Strategien
✍ Sándor Vajna, Christian Weber, Jürgen Schlingensiepen, Dietrich Schlottmann (aut 📂 Library 📅 1994 🏛 Vieweg+Teubner Verlag 🌐 German

<p>Die Autoren sind als Professoren an Hochschulen tätig: Dr.-Ing. Sándor Vajna, Universität Magdeburg; Dr.-Ing. Christian Weber, Profesor für Konstruktionstechnik/CAD an der Universität des Saarlandes, Saarbrücken; Dr.-Ing. Jürgen Schlingensiepen; Professor für Rechnerunterstützte Fertigungstechnik

Physik für Ingenieure
📁 Physik für Ingenieure
✍ Ekbert Hering, Rolf Martin, Martin Stohrer 📂 Library 📅 2007 🏛 Springer 🌐 German

Dieses erfolgreiche Lehrbuch wendet sich nicht nur an Studenten, sondern liefert auch den praktizierenden Ingenieuren die physikalischen Grundlagen zur Einarbeitung in neue Fachgebiete. ?bergreifende Darstellungen f?hren dem Leser das universelle Denkkonzept der Physik vor Augen. Komplizierte Zusamm