• Aucun résultat trouvé

Einführung in die Logik 2012, Universität Bern

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Einführung in die Logik 2012, Universität Bern"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Einführung in die Logik 2012, Universität Bern

Dr. Philipp Keller, Université de Genève Anzahl Teilnehmer am Kurs: 56

Anzahl Teilnehmer an der Prüfung: 44 (16 Frauen, 28 Männer) Schlussnoten

rot: Frauen (Schnitt 4.97) blau: Männer (Schnitt 4.98) weiss: total (Schnitt 4.98)

Prüfungsnoten Schnitt: 4.34

Übungsnoten Schnitt: 5.31

0 2 4 6 8 10 12

3 3.5 4 4.5 5 5.5 6

0 1 2 3 4 5 6 7 8

1 1.25 1.5 1.75 2 2.25 2.5 2.75 3 3.25 3.5 3.75 4 4.25 4.5 4.75 5 5.25 5.5 5.75 6

0 5 10 15 20 25

1 1.25 1.5 1.75 2 2.25 2.5 2.75 3 3.25 3.5 3.75 4 4.25 4.5 4.75 5 5.25 5.5 5.75 6

Références

Télécharger maintenant ( PDF - 1 Page - 36.02 KB )

Documents relatifs

(1)zusätzliche Übungen zur Aussagenlogik Einführungskurs Logik, Universität Bern, Frühlingssemester 2012 zählt als eigenständige Übungsserie, wenn vor Montag, dem h15, abgegeben 1

zählt als eigenständige Übungsserie, wenn vor Montag, dem 16.4.2012, 14h15,

Die Prädikatenlogik Einführungskurs Logik, Universität Bern, Frühlingssemester 2012

Prädikate (offene Sätze) sind nicht wahr oder falsch, sondern treffen auf bestimmte Objekte zu oder nicht (bzw. werden von diesen Objekten erfüllt oder nicht).. Ein Objekt erfüllt

Metalogische Eigenschaften der Prädikatenlogik Einführungskurs Logik, Universität Bern, Frühlingssemester 2012

Wenn T einen offenen Zweig enthielte, würden die Formeln auf diesem Zweig eine Hintikka-Menge bilden, die (aufgrund des Lemmas) erfüllbar wäre.Weil ⌜¬ ϕ ⌝ ein Element dieser

8x(F x) ! 8y(F y)

Einführungskurs Logik, Universität Bern, Frühlingssemester

(1)zusätzliche Übungen zur Aussagenlogik Einführungskurs Logik, Universität Bern, Frühlingssemester 2009 1

Einführungskurs Logik, Universität Bern, Frühlingssemester

Zusammenfassung der wichtigsten Punkte Einführungskurs Logik, Universität Bern, Frühlingssemester 2009

Die Methode der natürlichen Deduktion ist eine korrekte und vollständige syntaktische Metho- de: jede beweisbare Sequenz entspricht einer Beziehung der logischen

Einführung in die Logik

Im Fall eines formal gültigen Schlusses, handelt es sich bei der hier in Frage stehenden Unmöglichkeit um eine logische: es ist dann logisch unmöglich, dass die Prämissen wahr und

Einführung in die Logik

Sie sind jeweils entweder am Anfang der Vorlesung oder vor der Vorlesung elektronisch oder auf Papier in meinem Postfach im Institut abzugeben.. Von den 13 Übungsserien zu jeweils