mathematik / logik  (623 Angebote unter 29.217.510 Artikeln)

Increasing customer requirements, product variety, and market competition demand for service and cost improvements by model based inventory control in supply chains. The book presents approaches fo...

1 Calculi for First Order Logic.- 1.1 Basic Concepts and General Remarks.- 1.2 Resolution.- 1.3 The Connection Method.- 1.4 Consolution.- 1.5 The Tableau Calculus TC.- 1.6 The Sequent Calculus.- 1....

1. Einführung in die Logik.- 1.1. Aussagen, Variable, Aussageformen.- 1.2. Aussagenverbindungen.- 1.3. Identitäten.- 1.4. Elemente der Schaltalgebra.- 1.5. Quantifizierung von Aussageformen.- Aufga...

Berufe der Lagerlogistik Schulbuch

Die in diesem Buch zusammengefassten Schriften können als Carnaps »Wiener Antimetaphysik« bezeichnet werden. Damit wären nicht einfach nur Thema und Entstehungsort benannt, sondern auch der besonde...

Das Buch stellt die Grundlagen der Steuerung logistischer Systeme dar. Einen Schwerpunkt bilden Architektur und Aufbau von Steuerungs- und Informationssystemen in Materialfluß und Logistik. Ergänzt...

An algorithmic interface structure for pascal compilers.- Nonuniform complexity classes, decision graphs and homological properties of posets.- On the control of concurrent systems by restrictions ...

Hellmuth Kneser (1898-1973) ist der Zweite von drei bedeutenden Mathematikern aus aufeinander folgenden Generationen der Familie Kneser, die wegweisende Erkenntnisse in einem erstaunlich breiten Sp...

Dies ist ein kleines Heft mit Beweisrezepten: Es enthält auch Rezepte für Induktionsbeweise, Fallunterscheidungsbeweise und Widerspruchsbeweise. Jeweils ein Beispiel zeigt die praktische Umsetzung....

Dieses Buch bietet dem Leser einen einfachen Einstieg in das Quantencomputing sowie in den Entwurf entsprechender Geräte. Die Autoren behandeln verschiedene Entwurfsaufgaben, die für das Quantencom...

Der weltweite Warenverkehr weist ununterbrochen starke jährliche Wachstumsraten auf. Mit der Einführung des Containers hat sich der internationale Warenaustausch verändert. Der Verkehr zwischen den...

Mathematik im Spiel - Methoden, Ergebnisse und Grenzen

Alan Turings Begriff "papermachines" in Besitz nehmend skizziert Dotzler eine Geschichte der Rechenmaschine von den ersten Anfängen bei Wilhelm Schickard (1623) bis zur letzten vorindustriellen mec...

Hartmut W. Mayer studierte Mathematik und Physik in Heidelberg und Berlin und erhielt ein DAAD Postgradual Stipendium für Applied Medical Statistics in Oxford. Seine Liebe zur Mathematik und Statis...

Optimization Models and Algorithms