Matthias Bernauer - Freiburg im Breisgau
      Start > Skript-Sammlung > Logik > 1.3 - Einführung - Syllogismen >>







1.3 - Einführung - Syllogismen


1.3
  überblick über die Regeln des Schließens
Prämisse Alle Menschen sind sterblich
Prämisse Sokrates ist ein Mensch
Konklusion Sokrates ist sterblich
Prämisse Alle a sind b
Prämisse c ist ein a
Konklusion c ist b


1.4
  Welche Rolle spielt Logik in der Informatik?
  • Programmverifkation: Man möchte wissen, dass ein Programm das Richtige tut oder dass es zumindest gewisse Eigenschaften hat.
  • Typechecking: Der Compiler überprüft, dass eine Funktion immer einen Wert vom richtigen Typ zurückgibt.
  • Schaltkreisverikation: Man möchte beweisen, dass ein Chip richtig funktioniert.
  • Protokollverikation: Man möchte beweisen, dass die Komunikation zwischen zwei Agenten, die nach einem gewissen Protokoll abläuft, sicher ist.
Logic is the calculus of computer science
Logic permeates through computer science much more than it does through mathematics. 
 
 
 
Anwendung der Logik in der Informatik:
  • To model computer hardware
  • As a database query language
  • As a tool for representing and reasoning
  • As a tool for specication and verication
Google MSN Suche
<< Start | Studium | Poolmgr | Tanzen | GPG | Impressum >>
Matthias Bernauer