mathematik / logik  (634 Angebote unter 29.403.566 Artikeln)

Die philosophische Grundhaltung des wohl letzten großen Vertreters der Systemphilosophie, Gottfried Wilhelm Leibniz (1646-1716), läßt sich nur unter Berücksichtigung seiner Auseinandersetzung mit a...

Demokrit (460-371 v. Chr.) war ein griechischer Philosoph, der den Vorsokratikern zugerechnet wird. Als Schüler des Leukipp wirkte und lehrte er in seiner Heimatstadt Abdera; er selber beeinflusste...

Information is precious. It reduces our uncertainty in making decisions. Knowledge about the outcome of an uncertain event gives the possessor an advantage. It changes the course of lives, nations,...

Bringing together the two seemingly unrelated concepts,fuzzy logic andchaos theory,isprimarilymotivatedbytheconceptofsoft computing (SC),initiated by Lot? A. Zadeh, the founder of fuzzy set theory....

Unser Gehirn ist zu erstaunlichen Leistungen fähig. Jeden Tag vollbringt es Höchstleistungen und passt sich flexibel neuen Situationen und Aufgaben an. Wie ein Muskel muss es trainiert werden, dami...

I. Modalitätensysteme im Rahmen der klassischen Prädikatenlogik.- § 1. Die formalen Systeme M* und S4*.- § 2. Modelle der Modalitätenlogik.- § 3. Beweis des Konsistenzsatzes.- § 4. Nichtkonstruktiv...

Unser Gehirn ist zu erstaunlichen Leistungen fähig. Jeden Tag vollbringt es Höchstleitungen und passt sich immer wieder flexibel an neue Situationen und Aufgaben an. Ähnlich einem Muskel muss unser...

This volume contains selected papers presented at the seventeenth Colloquiumon Trees in Algebra and Programming (CAAP) held jointly with the European Symposium on Programming (ESOP) in Rennes, Fran...

On the subword complexity and square-freeness of formal languages.- Cycle-free IN-algebraic systems.- On the height of syntactical graphs.- Boolean functions whose monotone complexity is of size n2...

In diesem Analysisbuch wird besonders viel Wert darauf gelegt, die Anfängerschwierigkeiten zu berücksichtigen: Alle neuen Begriffe werden ausführlich motiviert, die Beweisstrukturen werden so trans...

In seiner umfangreichen Dissertation zeigt der Physiker Peter Ripota verschiedene Möglichkeiten, Logik, Semantik und Sprache in Formeln zu packen und in Diagrammen anschaulich darzustellen. Dabei b...

Bis in das 20. Jahrhundert hinein war es eine unausgesprochene Grundannahme der Mathematik, dass zwischen der Wahrheit und der Beweisbarkeit einer Aussage nicht unterschieden werden muss. Heute wis...

Termination Analysis of the Untyped ?-Calculus.- A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems.- Termination of S-Expression Rewriting Systems: Lexicographic...

Lern-Laptop mit insgesamt 160 Lernprogrammen für Buchstaben, Wörter, Mathematik, Natur & Wissenschaft, Sprachen u.v.m. 28 spezielle Englisch-Lern-Programme fördern spielerisch das Fremdsprachenlern...

Bei der Planung und Auswertung naturwissenschaftlicher und technischer Versuche sowie sozial wissenschaftlicher Untersuchungen werden wesentlich statistische Verfahren eingesetzt. Mit diesen Verfah...