Logik und Beweisbarkeit

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Logik und Beweisbarkeit"

Transcript

1 Logik und Beweisbarkeit Kap. I - Aussagenlogik (Sommer 2017) Martin Mundhenk Univ. Jena, Institut für Informatik 19. April 2017

2 Vorlesung Logik und Beweisbarkeit (Sommer 2017) 1. Aussagenlogik 2. Arithmetik 3. Berechenbarkeitstheorie 4. Unvollständigkeitssätze

3 Aussagenlogik 1. Aussagenlogik Grundbegriffe Natürliches Schließen (Literatur: Schöning: Logik für Informatiker van Dalen: Logic and Structure )

4 Grundbegriffe der Aussagenlogik 1. Aussagenlogik Grundbegriffe Sprache (Formeln) Semantik (Belegungen und die Erfüllungsrelation) Erfüllbarkeit und Gültigkeit Äquivalenz und adäquate Formelmengen Semantische Folgerung Natürliches Schließen

5 1.1.1 Syntax: Formeln Definition 1.1 (Aussagenlogische Formeln) Eine atomare Formel (kurz: Atom) hat die Form A i für i = 0, 1, 2,... (Aussagenlogische) Formeln sind induktiv definiert wie folgt. 1. Die Konstanten (falsum) und (verum) und alle Atome sind Formeln. 2. Für alle Formeln α ist α (Negation von α) ebenfalls eine Formel. Für alle Formeln α und sind (α ) (Konjunktion von α und, logisches Und ), (α ) (Disjunktion von α und, logisches Oder ) und (α ) (Implikation von α und, logische Folgerung ) ebenfalls Formeln. (3. Es gibt keine anderen Formeln.)

6 1.1.2 Semantik: Belegung und Erfüllungsrelation Definition 1.2 (Belegung) Eine Belegung B ist eine Menge B {A 0, A 1, A 2,...} von Atomen. Definition 1.3 (Semantik der Aussagenlogik) Sei B eine Belegung, α und seien Formeln. Die Relation A zwischen Belegungen und Formeln ist wie folgt definiert. B A und B A B A A i gdw. A i B, für atomare Formeln A i B A α gdw. B B A (α ) gdw. B A α und B A B A (α ) gdw. B A α oder B A B A (α ) gdw. B α oder B A A A α

7 Sprechweisen Die Relation A heißt Erfüllungsrelation. Für B A α sagt man B erfüllt α. B A α ist die umgangssprachliche Negation von B A α man sagt dazu also B erfüllt α nicht. Für Formelmengen Γ bedeutet B A Γ dass B A ϕ für alle ϕ Γ gilt. ( B erfüllt Γ ),

8 Erfüllbarkeit und Gültigkeit Definition 1.4 (erfüllbare bzw. gültige Formeln) 1. Eine Formel heißt erfüllbar, wenn es eine Belegung gibt, die sie erfüllt. Anderenfalls heißt die Formel unerfüllbar (oder Kontradiktion). 2. Eine Formel heißt gültig, wenn sie von jeder Belegung erfüllt wird. Gültige Formeln nennt man auch Tautologien. Schreibweise für Formel α ist gültig : A α.

9 1.1.4 Äquivalenz und Adäquatheit Abkürzende Schreibweise: wir schreiben auch A, B, C,... für A 0, A 1, A 2,.... Die Formeln (A B) und ( A B) werden von den gleichen Belegungen erfüllt. Die Belegung {A, B} erfüllt beide Formeln. Die Belegungen, {A} und {B} erfüllen beide Formeln nicht. Jede andere Belegung entspricht für die Atome A und B einer der obigen Belegungen. Definition 1.5 (Äquivalenz von Formeln) Formeln α und heißen äquivalent (α ), falls für jede Belegung B gilt: B A α genau dann, wenn B A. ist offensichtlich eine Äquivalenzrelation.

10 Lemma 1.6 (grundlegende Äquivalenzen) Für alle Formeln α, und γ gelten die folgenden Äquivalenzen. Idempotenz: (α α) α (α α) α Kommutativität: (α ) ( α) (α ) ( α) Absorption: (α (α )) α (α (α )) α Doppelnegation: α α demorgan s Regeln: (α ) ( α ) (α ) ( α ) Tautologieregeln: (α ) α (α ) Kontradiktionsregeln: (α ) (α ) α

11 Negation von Konstanten: Gesetz des ausgeschlossenen Dritten: (α α) (α α) Implikation: (α ) (( α) ) Assoziativität von bzw. : ((α ) γ) (α ( γ)) ((α ) γ) (α ( γ)) Distributivität von und : (α ( γ)) ((α ) (α γ)) (α ( γ)) ((α ) (α γ)) Vereinfachende Schreibweisen: Klammern können weggelassen werden. überflüssige Wir schreiben auch ( n α i ) statt (... ((α 1 α 2 ) α 3 )... α n ) i=1 und ( n α i ) statt (... ((α 1 α 2 ) α 3 )... α n ). i=1

12 Lemma 1.7 (Ersetzungstheorem) Wenn man in einer Formel ϕ eine Teilformel α durch eine zu α äquivalente Formel ersetzt, so erhält man eine zu ϕ äquivalente Formel. Formaler ausgedrückt: Sei ϕ eine Formel mit der Teilformel α, und sei äquivalent zu α. Sei ϕ eine Formel, die aus ϕ entsteht, wenn ein Vorkommen der Teilformel α durch ersetzt wird. Dann sind ϕ und ϕ äquivalent. Beispiel: ϕ = (B (A (A B))) α = (A (A B)) = A ϕ = (B A) 1.1.9

13 Äquivalentes Umformen Die semantische Äquivalenz von Formeln lässt sich jetzt syntaktisch durch äquivalentes Umformen verifizieren (da eine Äquivalenzrelation ist). Beispiel 1: (A B) ( B A) (A B) ( A B) (Implikation) ( A B) (Doppelnegation) ( B A) (Kommutativität) ( B A) (Implikation)

14 Äquivalentes Umformen Beispiel 2: ((A B) C) (A (B C)) ((A B) C) ( (A B) C) (Implikation) (( A B) C) (demorgan) ( A ( B C)) (Assoziativität) ( A (B C)) (Implikation) (A (B C)) (Implikation) Allgemeiner gilt: ( n ) A i B (A1 (A 2 ( (A n B) ))) i=1

15 Äquivalentes Umformen Beispiel 3: ( ) ( ) ( ) (Implikation) ( ) (Negation von Konstanten) (Kontradiktionsregel) Beispiel 4: α (α ) für jede Formel α α ( α ) (Kontradiktionsregel) (α ) (Implikation)

16 Definition 1.8 (adäquate Mengen von Verknüpfungszeichen) Eine Menge M {,,,,,,...} von Verknüpfungszeichen heißt adäquat, falls es für jede Formel eine äquivalente Formel gibt, die nur aus Atomen sowie Verknüpfungszeichen aus M besteht. Da (( α) ) (α ), kann man alle Formeln äquivalent durch Formeln ohne ausdrücken. Also ist {,,,, } adäquat.

17 Lemma 1.9 ({, } ist adäquat) Für jede aussagenlogische Formel ϕ gibt es eine äquivalente Formel ϕ, die nur aus Atomen, und besteht. Der Beweis soll mittels Induktion über den Formelaufbau von ϕ geführt werden. Was ist zu zeigen? Induktionsanfang: Für jede aussagenlogische Formel ϕ, die, oder ein Atom ist, gibt es eine äquivalente Formel ϕ, die nur aus Atomen, und besteht. Induktionsschritt: Für alle aussagenlogischen Formeln α und gilt: wenn α und äquivalente Formeln besitzen, die nur aus Atomen, und bestehen, dann gibt es auch für α, (α ), (α ) und (α ) äquivalente Formeln, die nur aus Atomen, und bestehen. Der Induktionsschritt wird in zwei Teile aufgeteilt: Induktionsvoraussetzung: α und seien beliebige Formeln mit äquivalenten Formeln α α bzw., die nur aus Atomen, und bestehen. Induktionsschluss für α und aus der Induktionsvoraussetzung ist zu zeigen: α, (α ), (α ) und (α ) besitzen äquivalente Formeln, die nur aus Atomen, und bestehen.

18 Beweis: mittels Induktion über den Formelaufbau der Formel ϕ. Induktionsanfang (IA): Zu zeigen ist: Für jede aussagenlogische Formel ϕ, die, oder ein Atom ist, gibt es eine äquivalente Formel ϕ, die nur aus Atomen, und besteht. Fall 1: ϕ =. Dann ist ϕ = äquivalent zu ϕ, und ϕ besteht nur aus Atomen, und. Fall 2: ϕ =. Dann ist ϕ = ( ) äquivalent zu ϕ, und ϕ besteht nur aus Atomen, und. Fall 3: ϕ = A i. Dann ist ϕ = A i äquivalent zu ϕ, und ϕ besteht nur aus Atomen, und.

19 Induktionsvoraussetzung (IV): α und besitzen äquivalente Formeln α bzw., die nur aus Atomen, und bestehen. Induktionsschluss (IS) Zu zeigen ist: α, (α ), (α ) und (α ) besitzen äquivalente Formeln, die nur aus Atomen, und bestehen. Fall 1: ϕ = α. Es gilt: α α (IV und Satz 1.7) (α ) (Beispiel 4) Also ist ϕ = (α ) äquivalent zu ϕ, und in ϕ kommen laut IV nur Atome, und vor. Fall 2: ϕ = (α ). Es gilt: (α ) (α ) (IV und Satz 1.7) ( α ) (Doppelnegation und Satz 1.7) ( α ) (demorgan s Regel) (( α ) ) (Beispiel 4) ((α ) ) (Implikation und Satz 1.7) ((α ( )) ) (Beispiel 4 und Satz 1.7)

20 Also ist ϕ = ((α ( )) ) äquivalent zu ϕ, und in ϕ kommen gemäß IV nur Atome, und vor. Fall 3: ϕ = (α ). Es gilt: (α ) (α ) (IV und Satz 1.7) ( α ) (Doppelnegation und Satz 1.7) ( α ) (Implikation) ((α ) ) (Beispiel 4 und Satz 1.7) Dann ist ϕ = ((α ) ) äquivalent zu ϕ, und in ϕ kommen gemäß IV nur Atome, und vor. Fall 4: ϕ = (α ). Dann ist ϕ = (α ) äquivalent zu ϕ (IV und Satz 1.7), und in ϕ kommen gemäß IV nur Atome, und vor.

21 Satz 1.10 (Adäquate Mengen von Verknüpfungszeichen) Die folgenden Mengen von Verknüpfungszeichen sind adäquat. 1. {, } 2. {, } 3. {, } 4. {, }

22 1.1.5 Semantische Folgerung Definition 1.11 (Semantische Folgerung) Formel ϕ ist eine Folgerung aus der Formelmenge Γ (Γ A ϕ), wenn jede Belegung, die Γ erfüllt, ebenfalls ϕ erfüllt. (D.h.:... wenn für jede Belegung B gilt: wenn B A Γ, dann B A ϕ.) Schreibweisen: Mengenklammern und Vereinigungszeichen lässt man gerne weg: z.b. schreibt man α 1,..., α n A ϕ oder Γ, α A ϕ. Statt A ϕ schreibt man A ϕ. Lemma 1.12 ( A verallgemeinert A ) Sei ϕ eine Formel. Dann gilt: A ϕ genau dann, wenn A ϕ

23 Folgerung und Gültigkeit Lemma 1.13 (Zusammenhang zwischen A und ) Die folgenden Aussagen sind äquivalent für alle n N und i = 1, 2,..., n α 1,..., α n ϕ A 2. α 1,..., α i 1 (α A i (α i+1... (α n ϕ)...)) 3. α 1,..., α i 1 A ( n ( α j ) ϕ ) j=i Insbesondere gelten also folgende Äquivalenzen zu : A (α 1 (α 2... (α n ϕ)...)) A (( n α i ) ϕ) i=1

24 1.2 Natürliches Schließen in der Aussagenlogik 1. Aussagenlogik Grundbegriffe Natürliches Schließen Schlussregeln für (informell) Schlussregeln für (informell) Formale Definition Korrektheit Vollständigkeit Anhang: Natürliches Schließen für weitere Verknüpfungszeichen

25 Das Natürliche Schließen dient dem Herleiten von Formeln mittels Axiomen und Schlussregeln. Wir werden zeigen, dass man genau die gültigen Formeln herleiten kann (Satz 1.24). Wir betrachten nur Formeln aus Atomen, und. Nach Satz 1.10 reicht das aus. Wir benutzen α jetzt als abkürzende Schreibweise für α. (Literatur: van Dalen: Logic and Structure)

26 1.2.1 Schlussregeln für Informelle Einführung Die Implikations-Elimination: α α Die Implikations-Introduktion ohne und mit Auflösung einer Hypothese: [α]. α α Eine Herleitung wird als Baum dargestellt, der mit Hypothesen beginnt (Blätter) und an dessen Wurzel die hergeleitete Formel steht. Statt Kanten werden waagerechte Striche für Anwendungen von Schlussregeln gezeichnet.

27 Herleitung von A (B A) und α ( α) [α]. Die Implikations-Regeln: α α

28 Herleitung von A (B A) und α ( α) A [α]. Die Implikations-Regeln: α α

29 Herleitung von A (B A) und α ( α) A B A [α]. Die Implikations-Regeln: α α

30 Herleitung von A (B A) und α ( α) [A] 1 B A 1 A (B A) [α]. Die Implikations-Regeln: α α

31 Herleitung von A (B A) und α ( α) [A] 1 B A 1 A (B A) α [α]. Die Implikations-Regeln: α α

32 Herleitung von A (B A) und α ( α) [A] 1 B A 1 A (B A) α α [α]. Die Implikations-Regeln: α α

33 Herleitung von A (B A) und α ( α) [A] 1 B A 1 A (B A) [α] 1 α 1 α ( α) Damit sind Herleitungen für alle Formeln der Form α ( α) angegeben. [α]. Die Implikations-Regeln: α α

34 1.2.5 Herleitung von (α ) ( α) Die Implikations-Regeln: α [α]. α α α

35 1.2.5 Herleitung von (α ) ( α) α α Die Implikations-Regeln: α [α]. α α α

36 1.2.5 Herleitung von (α ) ( α) α α Die Implikations-Regeln: α [α]. α α α

37 Herleitung von (α ) ( α) α α Die Implikations-Regeln: α [α]. α α α

38 Herleitung von (α ) ( α) α α Die Implikations-Regeln: α [α]. α α α

39 Herleitung von (α ) ( α) [α] 1 α 1 α Die Implikations-Regeln: α [α].. α α α

40 Herleitung von (α ) ( α) [α] 1 α [ ] 2 1 α 2 α Die Implikations-Regeln: α [α].. α α α

41 Herleitung von (α ) ( α) [α] 1 [α ] 3 [ ] 2 1 α 2 α 3 (α ) ( α) Die Implikations-Regeln: α [α].. α α α

42 1.2.6 Herleitung des Doppelnegationsgesetzes (erste Hälfte) Herleitung von α α d.h. α ((α ) ) Die Regeln: α [α]. α α α

43 1.2.6 Herleitung des Doppelnegationsgesetzes (erste Hälfte) Herleitung von α α d.h. α ((α ) ) α α α α Die Regeln: α [α]. α α α

44 1.2.6 Herleitung des Doppelnegationsgesetzes (erste Hälfte) Herleitung von α α d.h. α ((α ) ) α α α α Die Regeln: α [α]. α α α

45 1.2.6 Herleitung des Doppelnegationsgesetzes (erste Hälfte) Herleitung von α α d.h. α ((α ) ) α [ α] 1 1 α α [α ] 1 1 (α ) Die Regeln: α [α]. α α α

46 1.2.6 Herleitung des Doppelnegationsgesetzes (erste Hälfte) Herleitung von α α d.h. α ((α ) ) [α] 2 [ α] 1 1 α 2 α α [α] 2 [α ] 1 1 (α ) 2 α ((α ) ) Die Regeln: α [α]. α α α

47 Schlussregeln für Informelle Einführung Ex falso quod libet α ( ) Reductio ad absurdum [ α]. α (RAA)

48 Herleitung des Doppelnegationsgesetzes (zweite Hälfte) Herleitung von α α: Die Regeln: α [α]. α α α [ α].. α (RAA)

49 1.2.8 Herleitung des Doppelnegationsgesetzes (zweite Hälfte) Herleitung von α α: α α (α ) α Die Regeln: α [α]. α α α [ α]. α (RAA)

50 1.2.8 Herleitung des Doppelnegationsgesetzes (zweite Hälfte) Herleitung von α α: α α (α ) α Die Regeln: α [α]. α α α [ α]. α (RAA)

51 1.2.8 Herleitung des Doppelnegationsgesetzes (zweite Hälfte) Herleitung von α α: α [ α] 1 (RAA)1 α (α ) [α ] 1 (RAA) 1 α Die Regeln: α [α]. α α α [ α]. α (RAA)

52 1.2.8 Herleitung des Doppelnegationsgesetzes (zweite Hälfte) Herleitung von α α: [ α] 2 [ α] 1 (RAA)1 α 2 α α [(α ) ] 2 [α ] 1 (RAA) 1 α 2 ((α ) ) α Die Regeln: α [α]. α α α [ α]. α (RAA)

53 Herleitung von α (α ) Die Regeln: [α]. α α α α ( )

54 1.2.9 Herleitung von α (α ) α α Die Regeln: [α]. α α α α ( )

55 1.2.9 Herleitung von α (α ) α α Die Regeln: [α]. α α α α ( )

56 1.2.9 Herleitung von α (α ) α α ( ) Die Regeln: [α]. α α α α ( )

57 1.2.9 Herleitung von α (α ) α [α] 1 ( ) α 1 Die Regeln: [α]. α α α α ( )

58 1.2.9 Herleitung von α (α ) [ α] 2 [α] 1 ( ) 1 α 2 α (α ) Die Regeln: [α]. α α α α ( )

59 1.2.3 Natürliches Schließen formal Formaler gesehen geht es beim Natürlichen Schließen nicht um das Herleiten von Formeln, sondern um das Herleiten von Sequenten aus Hypothesen und einer Formel. Definition 1.14 (Sequent) Ein Sequent ist ein Paar Γ ϕ, wobei Γ eine endliche Formelmenge und ϕ eine Formel ist. Statt ϕ schreiben wir vereinfachen ϕ, und statt Γ {α} ϕ schreiben wir vereinfachend Γ, α ϕ etc. Die Herleitungen beginnen mit Axiomen und werden durch Anwendungen von Regeln fortgesetzt. Da wir für die verschiedenen Logiken verschiedene Systeme von Anwendungen und Regeln benutzen werden, definieren wir den Prozess der Herleitung erstmal abstrakt für beliebige Axiome und Regeln

60 Definition 1.15 (Herleitung in einem Beweissystem) 1. Ein Beweissystem besteht aus einer Menge von Axiomen Ax und einer Menge von Schlussregeln Sr. 2. Eine Herleitung eines Sequenten Γ α aus Ax und Sr ist eine Folge Γ 1 α 1, Γ 2 α 2,..., Γ l α l von Sequenten, so dass Γ = Γ l, α = α l und für i = 1, 2,..., l gilt: Γi α i ist in Ax (also ein Axiom), oder es gibt Γa α a und ggf. Γ b α b mit a, b < i, aus denen Γ i α i in einem Schritt mit einer Schlussregel in Sr hergeleitet werden kann. 3. Γ α aus Ax und Sr bedeutet, dass es eine Herleitung eines Sequenten Γ α für ein Γ Γ aus Ax und Sr gibt. α ist Schreibweise für α.

61 Wir können nun das Natürliche Schließen für die Aussagenlogik als Axiome und Regeln für ein Beweissystem mit Sequenten aufschreiben dadurch wird das bisher etwas schwammige Auflösen von Hypothesen klar definiert.

62 Definition 1.16 (Natürliches Schließen für die Aussagenlogik A ) Sei ϕ eine aussagenlogische Formel aus Atomen, und, und Γ sei eine Menge solcher Formeln. Γ A ϕ ( ϕ ist aus Γ mittels natürlichem Schließen herleitbar ) bedeutet, dass Γ ϕ aus folgenden Axiomen und Schlussregeln: 1. Die Axiome sind Sequenten α α für alle Formeln α. 2. Die Schlussregeln sind für Formelmengen Γ, und Formeln α, : ( Γ, steht für Γ ) Γ, α Γ α Γ α α Γ, Γ, Γ (RAA) Γ α Γ, α (Hyp) (Bem.: Alte Regeln ohne Hypothesenauflösung werden unter Verwendung von (Hyp) dargestellt.)

63 Beispiel: A α ( α) (1) α α (2) α, α (Hyp)(1) (3) α α (2) (4) α ( α) (3)

64 Beispiel: A α α (1) α α (2) α α (3) α, α (1), (2) (4) α α (3) (5) α α (4)

65 Beispiel: A (α ) ( α) (1) α α (2) α α (3) α, α (1), (2) (4) (5) α, α, (3), (4) (6) α, α (5) (7) α α (6) (8) (α ) ( α) (7)

66 Beispiel: A α α (1) α α (2) α α (3) α, α (1), (2) (4) α α (RAA)(3) (5) α α (4)

67 Was wir später nochmal benutzen werden Satz 1.17 Für alle Formeln α und gilt 1. A α α 2. A 3. A 4. A α (α ) α ( (α )) (α ) (( α ) ) Die Beweise folgen auf den nächsten Seiten.

68 Beweis für A α α (1) α α (2) α α (1)

69 Beweis für A α (α ) (1) α α (2) α α (3) α, α (1), (2) (4) α, α, (Hyp)(3) (5) α, α (RAA)(4) (6) α α (5) (7) α (α ) (6)

70 Beweis für A α ( (α )) (1) α α (2) (3) α α (4) α, α (1), (3) (5) α,, α (2), (4) (6) α, (α ) (5) (7) α (α ) (6) (8) α ( (α )) (7)

71 Beweis für A (α ) (( α ) ) (1) α α (2) α α (3) α, α (1)(2) (4) (5) α, α, (3)(4) (6) α, α (5) (7) α α (8) α,, α (6)(7) (9) α,, α (4)(8) (10) α, α (RAA)(9) (11) α ( α ) (10) (12) (α ) (( α ) ) (11)

72 Beweis für α A α (α ) (( α ) )

73 Beweis für A (α ) (( α ) ) α α

74 Beweis für A (α ) (( α ) ) α α

75 Beweis für A (α ) (( α ) ) α α

76 Beweis für A (α ) (( α ) ) α [α] 1 α 1

77 Beweis für A (α ) (( α ) ) α [α] 1 1 α α

78 Beweis für A (α ) (( α ) ) α [α] 1 1 α α

79 Beweis für A (α ) (( α ) ) α [α] 1 1 α α

80 Beweis für A (α ) (( α ) ) α [α] 1 1 α α

81 Beweis für A (α ) (( α ) ) α [α] 1 [ ] 2 1 α α [ ] 2 (RAA) 2

82 Beweis für A (α ) (( α ) ) α [α] 1 [ ] 2 1 α [ α ] 3 [ ] 2 (RAA) 2 3 ( α )

83 Beweis für A (α ) (( α ) ) [α ] 4 [α] 1 [ ] 2 1 α [ α ] 3 [ ] 2 (RAA) 2 3 ( α ) 4 (α ) (( α ) )

84 1.2.4 Korrektheit des Natürlichen Schließens Das Natürliche Schließen unterteilt die Menge aller Formeln in herleitbare Formeln und nicht-herleitbare Formeln. Sind alle herleitbaren Formeln gültig? (Korrektheit von A ) Sind alle gültigen Formeln herleitbar? (Vollständigkeit von A ) Ziel ist der Beweis eines Vollständigkeitssatzes (Satz 1.24): Die herleitbaren Formeln sind genau die gültigen Formeln. Wenn man einen Beweis-Kalkül als Maschine betrachtet, die unendlich laufend alle herleitbaren Formeln ausgibt, dann bedeutet Korrektheit: es werden nur gültige Formeln ausgegeben, und Vollständigkeit: jede gültige Formel wird irgendwann ausgegeben.

85 Korrektheit von A Da man beim Natürlichen Schließen mit Sequenten arbeitet, ist es einfacher, etwas Allgemeineres zu beweisen. Lemma 1.18 (Verallgemeinerte Korrektheit von A ) Sei Γ eine aussagenlogische Formelmenge und α eine aussagenlogische Formel. Dann gilt: wenn Γ A α, dann Γ A α.

86 Verallgemeinerte Korrektheit von A : Beweis Wir zeigen die Behauptung mittels Induktion über die Länge der Herleitung von α aus Γ. Induktionsanfang: Γ A α mit einer Herleitung der Länge 1. Dann besteht die Herleitung nur aus dem Sequenten α α (also Γ {α}), und offensichtlich gilt Γ A α für Γ {α}. Induktionsvoraussetzung: wenn Γ A α mit einer Herleitung der Länge n, dann gilt Γ A α. Induktionsschluss: zu zeigen: wenn Γ A α mit einer Herleitung der Länge n + 1, dann gilt Γ A α.

87 Sei Γ A α mit einer Herleitung von Γ α der Länge n + 1 für ein Γ Γ. Wir unterscheiden, welche Regel im letzten Herleitungsschritt angewendet wird. Fall 1: im letzten Herleitungsschritt wird das Axiom α α benutzt. Offensichtlich gilt α A α und damit Γ A α. Fall 2: im letzten Herleitungsschritt wird verwendet. Dann ergibt der letzte Herleitungsschritt Γ ϕ (d.h. α = ϕ), und die Herleitung enthält Γ, ϕ, der mit n Schritten hergeleitet wird. Laut IV gilt Γ, A ϕ. Wir zeigen nun Γ ϕ, A d.h. für jede Belegung B gilt: wenn B A Γ, dann B A ϕ. Sei B eine Belegung mit B A Γ. Fall 2.1: B : dann folgt B ϕ (Semantik von ). A A Fall 2.2: B A : gemäß IV gilt Γ, A ϕ und damit B A ϕ. Gemäß Semantik von folgt ebenfalls B A ϕ. Da B beliebig gewählt wurde, folgt Γ A ϕ

88 Fall 3: im letzten Herleitungsschritt wird verwendet. Der letzte Herleitungsschritt ergibt Γ α und die Herleitung enthält Sequenten und α mit Γ =, die beide mit n Schritten hergeleitet werden. Laut IV gilt A und A α. Wir zeigen nun Γ A α, d.h. für jede Belegung B gilt: wenn B A Γ, dann B A α. Sei B eine Belegung mit B A Γ. Da, Γ, folgt B A und B A. Mit der IV folgt B A und B A α. Folglich gilt B A α. Da B beliebig gewählt wurde, folgt Γ A α.

89 Fall 4: im letzten Herleitungsschritt wird (Hyp) verwendet. Der letzte Herleitungsschritt ergibt Γ α, und die Herleitung enthält einen Sequenten Γ {} α, der mit n Schritten hergeleitet wird. Laut IV gilt Γ {} A α. Sei B eine Belegung mit B A Γ. Dann folgt B A Γ {}, und mit der IV folgt B A α. Da B beliebig gewählt wurde, folgt Γ A α. Fall 5: im letzten Herleitungsschritt wird (RAA) verwendet. Der letzte Herleitungsschritt ergibt Γ α, und die Herleitung enthält einen Sequenten Γ, α, der mit n Schritten hergeleitet wird. Laut IV gilt Γ, α A (d.h. Γ { α} ist unerfüllbar). Sei B eine Belegung mit B A Γ. Da B, folgt B α aus der IV und damit B α. A A A Da B beliebig gewählt wurde, folgt Γ α. A Also folgt in allen Fällen Γ A α. Da Γ Γ, folgt schließlich Γ A α.

90 Das Korrektheitslemma für A Für Γ = folgt aus Lemma 1.18 Folgerung 1.19 (Korrektheit von A ) Für alle aussagenlogischen Formeln α gilt: wenn A α, dann A α. D.h. jede mittels Natürlichem Schließen herleitbare Formel ist gültig. Da alle herleitbaren Formeln gültig sind, benutzt man statt herleitbar auch gerne den Begriff beweisbar.

91 1.2.5 Vollständigkeit des Natürlichen Schließens Wir wollen zeigen, dass alle gültigen Formeln beweisbar sind. Dazu geben wir an, wie man für jede gültige Formel einen Beweis konstruieren kann! Das folgende Diagramm stellt die Idee dar, aus welchen Teilen ein Beweis für eine gültige Formel α mit den Atomen A, B und C konstruiert wird. A, B, C A α A, B, C A α A, B, C A α A, B, C A α A, B, C A α A, B, C A α A, B, C A α A, B, C A α A, B A α A, B A α A, B A α A, B A α A A α A A α Lemma 1.21 Lemma 1.22 A α

92 Definition 1.20 (At(ϕ) und B(ϕ)) Sei ϕ eine Formel. Dann bezeichnet At(ϕ) die Menge aller Atome in ϕ. Für eine Belegung B wird die Menge der Literale, die für ϕ wichtig sind und von B erfüllt werden, bezeichnet durch B(ϕ) = {A i A i At(ϕ) und A i B} { A i A i At(ϕ) und A i B}. Lemma 1.21 (Belegungen und Beweise) Sei B eine Belegung, ϕ eine Formel. Dann gilt: 1. Wenn B A ϕ, dann B(ϕ) A ϕ, und 2. wenn B ϕ, dann B(ϕ) ϕ. A A

93 Beispiel 1: A, B, C A ( A B) C Für B 0 = und ϕ = ( A B) C ist B 0 (ϕ) = { A, B, C}. A B C A A B ( A B) C

94 Beispiel 1: A, B, C A ( A B) C Für B 0 = und ϕ = ( A B) C ist B 0 (ϕ) = { A, B, C}. A B C A A B B C C IA A A (A ) (1.17(2)) A A IS (2) A B A ( B ( A B)) (1.17(3)) A, B ( A B) IS (3) ( A B) C ( A B) (( A B) C) (1.17(2)) A, B ( A B) C IS (2)

95 Beispiel 2: A, B, C A ( A B) C Für B 1 = {C} ist B 1 (ϕ) = { A, B, C}. A B C A A B ( A B) C

96 Beispiel 2: A, B, C A ( A B) C Für B 1 = {C} ist B 1 (ϕ) = { A, B, C}. A A A B B B C C C IA A A (A ) (1.17(2) A A IS (2) A B A ( B ( A B)) (1.17(3)) A, B ( A B) IS (3) ( A B) C C, A B C (Hyp) C ( A B) C IS (1)

97 Beispiel 3: A, B, C A (( A B) C) Für B 2 = {A, B} ist B 2 (ϕ) = {A, B, C}. A B C IA A IS (3) A B IS (2) ( A B) C IS (3)

98 Beispiel 3: A, B, C A (( A B) C) Für B 2 = {A, B} ist B 2 (ϕ) = {A, B, C}. A A A B B B C C C IA A A ( (A )) (1.17(3)) A A IS (3) A B A ( A B) (1.17(2)) A A B IS (2) ( A B) C ( A B) ( C (( A B) C)) (1.17(3)) A, C (( A B) C) IS (3)

99 Beweis (von Lemma 1.21): Sei B eine Belegung. Wir zeigen die Behauptung mittels Induktion über den Formelaufbau von ϕ. IA: Fall (1): ϕ =. Da B, ist B zu zeigen. Das folgt mit (1.17(1)) A. Fall (2): ϕ ist ein Atom, d.h. ϕ = A i. Wenn B A A i, dann ist A i B(A i ) und es folgt B(A i ) A A i. Wenn B A A i, dann ist A i B(A i ) und es folgt B(A i ) A A i. IV: Für beliebig gewählte Formeln α und gilt 1. Wenn B A α, dann B(α) A α, und wenn B A, dann B() A, 2. wenn B A α, dann B(α) A α, und wenn B A, dann B() A.

100 IS: z.z.: wenn B α, dann B(α ) A α und wenn B α, dann B(α ) A α. Fall (1): B A. Dann folgt B A α und z.z. ist B(α ) A α. Die IV liefert B() A, und mit (Hyp) und folgt B() A α. Folglich gilt auch B(α ) A α. Fall (2): B A α. Dann folgt B A α und z.z. ist B(α ) A α. Die IV liefert B(α) A α, und mit A α (α ) (1.17(2)) und folgt B(α) A α ; folglich gilt B(α ) A α. Fall (3): B A α und B. A Dann folgt B α und z.z. ist B(α ) (α ). A A Die IV liefert B(α) A α und B() A, und mit α ( (α )) (1.17(3)) und 2mal A folgt B(α) B() A (α ); folglich gilt B(α ) A (α ).

101 Lemma 1.22 (Teil-Belegungen und Beweise) Sei ϕ gültig. Für jede Belegung B und jede Teilmenge B B(ϕ) gilt B A ϕ. Beweis: Sei ϕ eine gültige Formel. Wir beweisen die Behauptung mittels Induktion über die Größe aller B in absteigender Ordnung, B = At(ϕ), At(ϕ) 1,..., 0. IA: Sei B eine Belegung und B B(ϕ) mit B = At(ϕ). Dann ist B = B(ϕ). Da B A ϕ, folgt B(ϕ) A ϕ aus (1.21). D.h. es gilt B A ϕ.

102 IV: Für alle Belegungen B und bel. l At(ϕ) gilt für alle B B(ϕ) mit B l: B A ϕ. IS: zu zeigen ist: für alle Belegungen B und alle B B(ϕ) mit B l 1 gilt B A ϕ. Sei B eine Belegung, und sei B B(ϕ) mit B = l 1 (für größere B gilt es laut IV). Da l 1 < At(ϕ), gibt es ein A i At(ϕ) mit A i, A i B. Nach IV gilt B {A i } A ϕ und B { A i } A ϕ. Mit folgen B A A i ϕ und B A A i ϕ. Mit A (A i ϕ) (( A i ϕ) ϕ) (1.17(4)) und folgt schließlich B A ϕ.

103 Beispiel für die Konstruktion Wir haben bereits die Herleitung von ϕ = ( A B) C aus L ϕ = { A, B, C} (1) A A (2) A (A ) (1.17) (3) A A (1)(2) (4) B B (5) A ( B ( A B)) (1.17) (6) A B ( A B) (3)(5) (7) A, B ( A B) (4)(6) (8) ( A B) (( A B) C) (1.17) (9) A, B ( A B) C (7), (8) (10) A, B, C ( A B) C (Hyp)(9) und aus L {C} ϕ = { A, B, C}: (11) C C (12) C, A B C (Hyp)(11) (13) C ( A B) C (12) Das wird wie folgt zur Herleitung aus { A, B} ergänzt. (14) A, B C (( A B) C) (10) (15) C (( A B) C)) (13) (16) (C (( A B) C)) (( C (( A B) C)) (( A B) C)) (1.17) (17) A, B ( A B) C 2mal (16)(15)(14)

104 Vollständigkeit von A Für B = folgt aus Lemma (1.22): Folgerung 1.23 (Vollständigkeit von A für die Aussagenlogik) Für alle aussagenlogischen Formeln ϕ gilt: wenn A ϕ, dann A ϕ (d.h. jede gültige Formel ist mit A beweisbar).

105 Der Vollständigkeitssatz für A Aussagenlogik in der Die Korrektheit (Lemma 1.19) und die Vollständigkeit (Lemma 1.23) des Natürlichen Schließens für die Aussagenlogik ergeben zusammen den Vollständigkeitssatz. Satz 1.24 (Vollständigkeitssatz für A in der Aussagenlogik) Für alle aussagenlogischen Formeln α gilt: α ist gültig genau dann, wenn α mit Natürlichem Schließen beweisbar ist (d.h. A α gdw. A α)

106 1.2.6 Schlussregeln für weitere Verknüpfungszeichen Wir werden später auch mal Formeln mit und herleiten. Die folgenden Regeln sind alle korrekt.

107 Schlussregeln für und Die Schlussregeln für sind recht intuitiv. α ( I ) α α α ( E) α ( E) Die für nicht sofort... α α ( I ) α ( I ) [α]. []. α ϕ ϕ ( E) ϕ

108 α α α

109 α α α α α ( I )

110 α α α ( I ) α α (α α)

111 α α [α] 1 ( I ) α α (α α) α 1

112 α α [α] 1 ( I ) α α (α α) α α α 1 ( I )

113 α α [α] 1 ( I ) α α (α α) 1 α ( I ) α α (α α)

114 α α [α] 1 ( I ) α α [ (α α)] 2 1 α ( I ) α α [ (α α)] 2 (RAA) 2 α α

115 ((α ) γ) (α γ) ( γ) [γ] 1 [γ] 2 [α ] 1 ( E) [α ] 2 ( E) α ( I ) ( I ) ( I ) ( I ) [(α ) γ] 3 α γ α γ ( E)1 [(α ) γ] 3 γ γ ( E)2 α γ γ ( I ) (α γ) ( γ) 3 ((α ) γ) ((α γ) ( γ))

116 Die -Elimination lässt sich auch mit und aufschreiben [α]. []. α ϕ ϕ ( E) ϕ und als Abkürzung für folgendes ansehen. [α] 1 [] 2.. ϕ [ ϕ] 3 ϕ [ ϕ] α α (RAA)3 ϕ

117 Aussagenlogik: Beweisen statt durchprobieren A B C C (C (A B)) F F F T F F T T F T F T F T T T B(ϕ) A ϕ B T F F T T F T T (1.21) T T F T T T T T A α [1.16] (RAA) (Hyp) A A α [1.4] A α gdw. A α (1.18) (1.24) A i [ α] 2 [α] 1 ( ) 1 α 2 α (α )

3 Lösungen zu Kapitel 3

3 Lösungen zu Kapitel 3 3 Lösungen zu Kapitel 3 31 Lösungen der Aufgaben zu Abschnitt 31 311 Lösung Die Abbildung D : { R 4 R 4 R 4 R 4 R, a 1, a 2, a 3, a 4 ) D( a 1, a 2, a 3, a 4 ) definiere eine Determinantenform (auf R 4

Διαβάστε περισσότερα

Hauptseminar Mathematische Logik Pcf Theorie (S2A2) Das Galvin-Hajnal Theorem

Hauptseminar Mathematische Logik Pcf Theorie (S2A2) Das Galvin-Hajnal Theorem Hauptseminar Mathematische Logik Pcf Theorie (S2A2) Das Galvin-Hajnal Theorem Jonas Fiege 21 Juli 2009 1 Theorem 1 (Galvin-Hajnal [1975]) Sei ℵ α eine singuläre, starke Limes-Kardinalzahl mit überabzählbarer

Διαβάστε περισσότερα

Geometrische Methoden zur Analyse dynamischer Systeme

Geometrische Methoden zur Analyse dynamischer Systeme Geometrische Methoden zur Analyse dynamischer Systeme Markus Schöberl markus.schoeberl@jku.at Institut für Regelungstechnik und Prozessautomatisierung Johannes Kepler Universität Linz KV Ausgewählte Kapitel

Διαβάστε περισσότερα

18. Normale Endomorphismen

18. Normale Endomorphismen 18. Normale Endomorphismen 18.1. Die adjungierte lineare Abbildung Seien V, W K-Vektorräume mit Skalarprodukt, V,, W Lemma: Sei φ Hom(V, W ). Falls Ψ Hom(W, V ) mit der Eigenschaft so ist Ψ hierdurch eindeutig

Διαβάστε περισσότερα

cos(2α) τ xy sin(2α) (7) cos(2(α π/2)) τ xy sin(2(α π/2)) cos(2α) + τ xy sin(2α) (8) (1 + ν) cos(2α) + τ xy (1 + ν) sin(2α) (9)

cos(2α) τ xy sin(2α) (7) cos(2(α π/2)) τ xy sin(2(α π/2)) cos(2α) + τ xy sin(2α) (8) (1 + ν) cos(2α) + τ xy (1 + ν) sin(2α) (9) Festigkeitslehre Lösung zu Aufgabe 11b Grundsätzliches und Vorüberlegungen: Hookesches Gesetz für den zweidimensionalen Spannungszustand: ε = 1 ( ν (1 ε = 1 ( ν ( Die beiden Messwerte ε = ε 1 und ε = ε

Διαβάστε περισσότερα

Eselsbrücken für die Berechnung der Spur von Produkten von Gammamatrizen

Eselsbrücken für die Berechnung der Spur von Produkten von Gammamatrizen Eselsbrücken für die Berechnung der Spur von Produkten von Gammamatrizen Björn Schemmann Der Autor stellt eine kleine Hilfestellung zur Berechnung von Spuren der Form tr(γ µ 1,..., γ µ 2n ) vor. EINLEITUNG

Διαβάστε περισσότερα

Jörg Gayler, Lubov Vassilevskaya

Jörg Gayler, Lubov Vassilevskaya Differentialrechnung: Aufgaben Jörg Gayler, Lubov Vassilevskaya ii Inhaltsverzeichnis. Erste Ableitung der elementaren Funktionen......................... Ableitungsregeln......................................

Διαβάστε περισσότερα

Mengenlehre. Kurzskript der Vorlesung im WS 2010/2011 von. Universität Freiburg

Mengenlehre. Kurzskript der Vorlesung im WS 2010/2011 von. Universität Freiburg Mengenlehre Kurzskript der Vorlesung im WS 2010/2011 von Jörg Flum Universität Freiburg 1 1 Mächtigkeiten Mit N, Z, Q, R und C bezeichnen wir die Menge der natürlichen, der ganzen, der rationalen, der

Διαβάστε περισσότερα

MATERIALIEN ZUR VORBEREITUNG AUF DIE KLAUSUR INFORMATIK II FÜR VERKEHRSINGENIEURWESEN ANTEIL VON PROF. VOGLER IM WINTERSEMESTER 2011/12

MATERIALIEN ZUR VORBEREITUNG AUF DIE KLAUSUR INFORMATIK II FÜR VERKEHRSINGENIEURWESEN ANTEIL VON PROF. VOGLER IM WINTERSEMESTER 2011/12 Fakultät Informatik Institut für Angewandte Informatik, Professur Technische Informationssysteme MATERIALIEN ZUR VORBEREITUNG AUF DIE KLAUSUR INFORMATIK II FÜR VERKEHRSINGENIEURWESEN ANTEIL VON PROF. VOGLER

Διαβάστε περισσότερα

Übungen zu Teilchenphysik 2 SS 2008. Fierz Identität. Handout. Datum: 27. 5. 2008. von Christoph Saulder

Übungen zu Teilchenphysik 2 SS 2008. Fierz Identität. Handout. Datum: 27. 5. 2008. von Christoph Saulder Übungen zu Teilchenphysik 2 SS 2008 Fierz Identität Handout Datum: 27. 5. 2008 von Christoph Saulder 2 Inhaltsverzeichnis Einleitung 5 2 Herleitung der Matrixelemente 7 2. Ansatz...............................

Διαβάστε περισσότερα

Auswandern Studieren Studieren - Universität Griechisch Θα ήθελα να εγγραφώ σε πανεπιστήμιο. Angeben, dass man sich einschreiben will Japanisch Θα ήθε

Auswandern Studieren Studieren - Universität Griechisch Θα ήθελα να εγγραφώ σε πανεπιστήμιο. Angeben, dass man sich einschreiben will Japanisch Θα ήθε - Universität Θα ήθελα να εγγραφώ σε πανεπιστήμιο. Angeben, dass man sich einschreiben will Θα ήθελα να γραφτώ για. Angeben, dass man sich für einen anmelden möchte ένα προπτυχιακό ένα μεταπτυχιακό ένα

Διαβάστε περισσότερα

2

2 Die Sprache der Mathematik Mengen und Logik Syllabus P. Lemmens - D. van Straten 2 INHALTSVERZEICHNIS 3 Inhaltsverzeichnis Vorwort2016 3 1 Mengen 6 2 Logik 14 3 Abbildungen 20 4 Relationen 28 5 Natürliche

Διαβάστε περισσότερα

Wenn ihr nicht werdet wie die Kinder...

Wenn ihr nicht werdet wie die Kinder... Wenn ihr nicht werdet wie die Kinder... . Der Memoriam-Garten Schön, dass ich mir keine Sorgen machen muss! Mit dem Memoriam-Garten bieten Ihnen Friedhofsgärtner, Steinmetze

Διαβάστε περισσότερα

Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt

Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt - Allgemeines Μπορώ να κάνω ανάληψη στην [χώρα] χωρίς να πληρώσω προμήθεια; Kann ich in [Land] gebührenfrei Geld abheben? Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt Πόσα

Διαβάστε περισσότερα

Griechisches Staatszertifikat - Deutsch

Griechisches Staatszertifikat - Deutsch ΥΠΟΥΡΓΕΙΟ ΕΘΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung und Religion Griechisches Staatszertifikat - Deutsch Niveau A1 & A2 Entspricht dem Gemeinsamen

Διαβάστε περισσότερα

Niveau A1 & A2 PHASE 3 ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ ΥΠΟΥΡΓΕΙΟ ΠΑΙ ΕΙΑΣ, ΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ

Niveau A1 & A2 PHASE 3 ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ ΥΠΟΥΡΓΕΙΟ ΠΑΙ ΕΙΑΣ, ΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΥΠΟΥΡΓΕΙΟ ΠΑΙ ΕΙΑΣ, ΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung, Lebenslanges Lernen und Religionsangelegenheiten Griechisches Staatszertifikat

Διαβάστε περισσότερα

Strukturgleichungsmodellierung

Strukturgleichungsmodellierung Strukturgleichungsmodellierung FoV Methodenlehre FSU-Jena Dipl.-Psych. Norman Rose Strukturgleichungsmodelle mit latenten Variablen Forschungsorientierte Vertiefung - Methodenlehre Dipl.-Psych. Norman

Διαβάστε περισσότερα

Weitere Tests bei Normalverteilung

Weitere Tests bei Normalverteilung Tests von Hypothesen über den Erwartungswert Bisher: zweiseitiges Testproblem (Zweiseitiger Einstichproben-t-Test) H : μμ gegen H : μ μ Testentscheidung P- Wert: X μ s(x) : Lehne H ab, wenn T(X) N > t

Διαβάστε περισσότερα

Εμπορική αλληλογραφία Ηλεκτρονική Αλληλογραφία

Εμπορική αλληλογραφία Ηλεκτρονική Αλληλογραφία - Εισαγωγή Sehr geehrter Herr Präsident, Sehr geehrter Herr Präsident, Εξαιρετικά επίσημη επιστολή, ο παραλήπτης έχει ένα ειδικό τίτλο ο οποίος πρέπει να χρησιμοποιηθεί αντί του ονόματος του Sehr geehrter

Διαβάστε περισσότερα

Griechisches Staatszertifikat - Deutsch

Griechisches Staatszertifikat - Deutsch ΥΠΟΥΡΓΕΙΟ ΕΘΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung und Religion Griechisches Staatszertifikat - Deutsch Niveau A1 & A2 Entspricht dem Gemeinsamen

Διαβάστε περισσότερα

Rotationen und Translationen

Rotationen und Translationen Astrophysikalisches Institut Neunhof Mitteilung sd97211, Januar 2010 1 Rotationen und Translationen Eigentliche Drehungen, Spiegelungen, und Translationen von Kartesischen Koordinaten-Systemen und Kugelkoordinaten-Systemen

Διαβάστε περισσότερα

Aufgabe 1 Dreierkette Legt mit den Bild- und Wortkarten eine Dreierkette. Τρεις στη σειρά. Σχηματίστε τριάδες με εικόνες και λέξεις που ταιριάζουν.

Aufgabe 1 Dreierkette Legt mit den Bild- und Wortkarten eine Dreierkette. Τρεις στη σειρά. Σχηματίστε τριάδες με εικόνες και λέξεις που ταιριάζουν. Station Luft Aufgabe 1 Dreierkette Legt mit den Bild- und Wortkarten eine Dreierkette. Τρεις στ σειρά. Σχματίστε τριάδες με εικόνες και λέξεις που ταιριάζουν. der Sturm die Windkraftanlage θύελλα οι ανεμογε

Διαβάστε περισσότερα

DEUTSCHE SCHULE ATHEN ΓΕΡΜΑΝΙΚΗ ΣΧΟΛΗ ΑΘΗΝΩΝ

DEUTSCHE SCHULE ATHEN ΓΕΡΜΑΝΙΚΗ ΣΧΟΛΗ ΑΘΗΝΩΝ Herzlich Willkommen zu unserem Elternabend Übergang aus dem Elternhaus in den Kindergarten Καλωσορίσατε στη συνάντηση γονέων με θέμα τη μετάβαση από το οικογενειακό περιβάλλον στο προνηπιακό τμήμα 1 Überblick

Διαβάστε περισσότερα

DIPLOMARBEIT / DIPLOMA THESIS. Weniger bekannte Beweise des quadratischen Reziprozitätsgesetzes. Titel der Diplomarbeit / Title of the Diploma Thesis

DIPLOMARBEIT / DIPLOMA THESIS. Weniger bekannte Beweise des quadratischen Reziprozitätsgesetzes. Titel der Diplomarbeit / Title of the Diploma Thesis DIPLOMARBEIT / DIPLOMA THESIS Titel der Dilomarbeit / Title of the Diloma Thesis Weniger bekannte Beweise des uadratischen Rezirozitätsgesetzes verfasst von / submitted by Christiane Kroner angestrebter

Διαβάστε περισσότερα

ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ HÖRVERSTEHEN. Mai 2012

ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ HÖRVERSTEHEN. Mai 2012 ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΔΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung, Lebenslanges Lernen und Religionsangelegenheiten Griechisches Staatszertifikat

Διαβάστε περισσότερα

Intersection Types. Matthias Putz. Sommersemester 2011

Intersection Types. Matthias Putz. Sommersemester 2011 Intersection TU-München Sommersemester 2011 Themen Zusammenfassung Anwendungsbeispiel 1: chars Programmiersprache C: signed und unsigned chars Wertebereiche: signed char: [ 128, +127] unsigned char: [0,

Διαβάστε περισσότερα

Übung 7 - Verfahren zur Lösung linearer Systeme, Gittereigenschaften

Übung 7 - Verfahren zur Lösung linearer Systeme, Gittereigenschaften Übung 7 - Verfahren zur Lösung linearer Systeme, Gittereigenschaften Musterlösung C. Baur, M. Schäfer Fachgebiet für Numerische Berechnungsverfahren im Maschinenbau 22.01.2009 TU Darmstadt FNB 22.01.2009

Διαβάστε περισσότερα

Το σύστημα των αξιών της ελληνικής κοινωνίας μέσα στα σχολικά εγχειρίδια της Λογοτεχνίας του Δημοτικού Σχολείου

Το σύστημα των αξιών της ελληνικής κοινωνίας μέσα στα σχολικά εγχειρίδια της Λογοτεχνίας του Δημοτικού Σχολείου ΔΗΜΟΚΡΙΤΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΡΑΚΗΣ ΠΑΙΔΑΓΩΓΙΚΟ ΤΜΗΜΑ ΔΗΜΟΤΙΚΗΣ ΕΚΠ/ΣΗΣ ΔΙΔΑΣΚΑΛΕΙΟ «ΘΕΟΔΩΡΟΣ ΚΑΣΤΑΝΟΣ» Το σύστημα των αξιών της ελληνικής κοινωνίας μέσα στα σχολικά εγχειρίδια της Λογοτεχνίας του Δημοτικού

Διαβάστε περισσότερα

Formelsammlung zur sphärischen Trigonometrie

Formelsammlung zur sphärischen Trigonometrie Formelsammlung zur sphärischen Trigonometrie A. Goniometrie A.1. Additionstheoreme für α β für α = β (α ± β) =α cos β ± cos α β ( α) =α cos α cos (α ± β) =cosα cos β β = cos α tan α ± tan β tan (α ± β)

Διαβάστε περισσότερα

22 είκοσι δύο. Κύπρος. Ελλάδα. Ελβετία. Αυστρία. Γερμανία. Από πού είσαι; Είμαι από τη Γερμανία. Εσύ; Από την Κύπρο. Από πού είσαι; Είμαι από

22 είκοσι δύο. Κύπρος. Ελλάδα. Ελβετία. Αυστρία. Γερμανία. Από πού είσαι; Είμαι από τη Γερμανία. Εσύ; Από την Κύπρο. Από πού είσαι; Είμαι από 3 τρί 1. μάθμα Wie heißen die Länder auf Griechisch? Bitte verbinden Sie die Namen mit den richtigen Zeichnungen. Hören Sie dann die Ländernamen und sprechen Sie sie nach. 1.18 Ελλάδα Αυστρία Κύπρος Ελβετία

Διαβάστε περισσότερα

DEUTSCHE SCHULE ATHEN ΓΕΡΜΑΝΙΚΗ ΣΧΟΛΗ ΑΘΗΝΩΝ

DEUTSCHE SCHULE ATHEN ΓΕΡΜΑΝΙΚΗ ΣΧΟΛΗ ΑΘΗΝΩΝ Herzlich Willkommen zu unserem Elternabend Übergang aus dem Kindergarten in die Vorschule Καλωσορίσατε στη συνάντηση γονέων με θέμα τη μετάβαση από τον παιδικό σταθμό στο νηπιαγωγείο 1 Übergang vom Kindergarten

Διαβάστε περισσότερα

Computerlinguistik. Lehreinheit 10 : Computerlinguistik Hausarbeit - Aufgaben

Computerlinguistik. Lehreinheit 10 : Computerlinguistik Hausarbeit - Aufgaben Computerlinguistik Lehreinheit 10 : Computerlinguistik Hausarbeit - Aufgaben Dr. Christina Alexandris Nationale Universität Athen Deutsche Sprache und Literatur Περιεχόμενα Ενότητας Κατευθυντήριες Γραμμές

Διαβάστε περισσότερα

Auswandern Dokumente Dokumente - Allgemeines Griechisch Koreanisch Dokumente - Persönliche Informationen

Auswandern Dokumente Dokumente - Allgemeines Griechisch Koreanisch Dokumente - Persönliche Informationen - Allgemeines Πού μπορώ να βρω τη φόρμα για ; Fragen wo man ein Formular findet Πότε εκδόθηκε το [έγγραφο] σας; Fragen wann ein Dokument ausgestellt wurde Πού εκδόθηκε το [έγγραφο] σας; Fragen wo ein Dokument

Διαβάστε περισσότερα

Griechisches Staatszertifikat - Deutsch

Griechisches Staatszertifikat - Deutsch ΥΠΟΥΡΓΕΙΟ ΕΘΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung und Religion Griechisches Staatszertifikat - Deutsch Niveau A1 & A2 Entspricht dem Gemeinsamen

Διαβάστε περισσότερα

Griechisches Staatszertifikat - Deutsch

Griechisches Staatszertifikat - Deutsch ΥΠΟΥΡΓΕΙΟ ΕΘΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung und Religion Griechisches Staatszertifikat - Deutsch Niveau A1 & A2 Entspricht dem Gemeinsamen

Διαβάστε περισσότερα

Griechische und roemische Rechtsgeschichte

Griechische und roemische Rechtsgeschichte ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Griechische und roemische Rechtsgeschichte Ενότητα 2: Griechisce Rechtsgeschichte Παπακωνσταντίνου Καλλιόπη Άδειες Χρήσης Το παρόν εκπαιδευτικό

Διαβάστε περισσότερα

Griechisches Staatszertifikat - Deutsch

Griechisches Staatszertifikat - Deutsch ΥΠΟΥΡΓΕΙΟ ΕΘΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung, Lebenslanges Lernen und Religionsangelegenheiten Griechisches Staatszertifikat

Διαβάστε περισσότερα

ΕΡΓΑΖΟΜΕΝΩΝ Bildung älterer Arbeitnehmer

ΕΡΓΑΖΟΜΕΝΩΝ Bildung älterer Arbeitnehmer ΚΑΤΑΡΤΙΣΗ ΩΡΙΜΩΝ ΕΡΓΑΖΟΜΕΝΩΝ Bildung älterer Arbeitnehmer Kassandra Teliopoulos IEKEP 06/03/06 ΜΕΡΙΚΑ ΣΗΜΕΙΑ ΚΛΕΙΔΙΑ Einige Gedankenansätze!Στις περισσότερες χώρες μέλη της Ε.Ε. μεγάλης ηλικίας εργαζόμενοι

Διαβάστε περισσότερα

English PDFsharp is a.net library for creating and processing PDF documents 'on the fly'. The library is completely written in C# and based

English PDFsharp is a.net library for creating and processing PDF documents 'on the fly'. The library is completely written in C# and based English PDFsharp is a.net library for creating and processing PDF documents 'on the fly'. The library is completely written in C# and based exclusively on safe, managed code. PDFsharp offers two powerful

Διαβάστε περισσότερα

English PDFsharp is a.net library for creating and processing PDF documents 'on the fly'. The library is completely written in C# and based

English PDFsharp is a.net library for creating and processing PDF documents 'on the fly'. The library is completely written in C# and based English PDFsharp is a.net library for creating and processing PDF documents 'on the fly'. The library is completely written in C# and based exclusively on safe, managed code. PDFsharp offers two powerful

Διαβάστε περισσότερα

GOETHE-ZERTIFIKAT B2 DURCHFÜHRUNGSBESTIMMUNGEN ΟΡΟΙ ΔΙΕΞΑΓΩΓΗΣ ΤΗΣ ΕΞΕΤΑΣΗΣ. Stand: 1. Oktober 2014 Τελευταία ενημέρωση: 1 Οκτωβρίου 2014

GOETHE-ZERTIFIKAT B2 DURCHFÜHRUNGSBESTIMMUNGEN ΟΡΟΙ ΔΙΕΞΑΓΩΓΗΣ ΤΗΣ ΕΞΕΤΑΣΗΣ. Stand: 1. Oktober 2014 Τελευταία ενημέρωση: 1 Οκτωβρίου 2014 DURCHFÜHRUNGSBESTIMMUNGEN ΟΡΟΙ ΔΙΕΞΑΓΩΓΗΣ ΤΗΣ ΕΞΕΤΑΣΗΣ Stand: 1. Oktober 2014 Τελευταία ενημέρωση: 1 Οκτωβρίου 2014 Zertifiziert durch Πιστοποίηση: Durchführungsbestimmungen ΟΡΟΙ ΔΙΕΞΑΓΩΓΗΣ ΤΗΣ ΕΞΕΤΑΣΗΣ

Διαβάστε περισσότερα

Simon Schiffel Implizite Ausfallwahrscheinlichkeiten von Unternehmensanleihen

Simon Schiffel Implizite Ausfallwahrscheinlichkeiten von Unternehmensanleihen Simon Schiffel Implizite Ausfallwahrscheinlichkeiten von Unternehmensanleihen GABLER RESEARCH Simon Schiffel Implizite Ausfallwahrscheinlichkeiten von Unternehmensanleihen Eine empirische Analyse in unterschiedlichen

Διαβάστε περισσότερα

Slitherlink-Kurven Ein Zusammenspiel von Kombinatorik, Topologie und Geometrie

Slitherlink-Kurven Ein Zusammenspiel von Kombinatorik, Topologie und Geometrie Slitherlink-Kurven Ein Zusammenspiel von Kombinatorik, Topologie und Geometrie MNU-Landestagung. 02/2014. Regensburg Clara Löh Fakultät für Mathematik. Universität Regensburg Überblick 2 0 1 3 3 1 0 2

Διαβάστε περισσότερα

Mission Berlin. Deutsch lernen und unterrichten Arbeitsmaterialien. Mission Berlin 26 Πειράµατα µε τον χρόνο

Mission Berlin. Deutsch lernen und unterrichten Arbeitsmaterialien. Mission Berlin 26 Πειράµατα µε τον χρόνο 26 Πειράµατα µε τον χρόνο Επιστρέφοντας στο παρόν η Άννα προσπαθεί να µπλοκάρει τη µηχανή του χρόνου, αλλά δεν έχει τον κωδικό. Η γυναίκα µε τα κόκκινα εµφανίζεται. Θα χαλάσει η «αρχηγός» τα σχέδια της

Διαβάστε περισσότερα

ΟΔΟΘ ΔΘΖΗΣΘΟΣ Θ,28-32

ΟΔΟΘ ΔΘΖΗΣΘΟΣ Θ,28-32 ΟΔΟΘ ΔΘΖΗΣΘΟΣ Θ,28-32 Πξώηε Αλάγλωζε Δξκελεία [... ] ρ ξ ε ω 1 δ ε ζ ε π α λ η α π π ζ ε ζ ζ α η 2 1 ΘΔΚΗΠ, ΓΗΘΖ, ΑΛΑΓΘΖ, ΚΝΗΟΑ / ΣΟΖ, ΣΟΔΩΛ: νλνκαηα ηνπ ΡΝ ΑΡΝΛ! Ρν Απξνζσπν Martin Heidegger, Απν Ρν Σι

Διαβάστε περισσότερα

Weihnachtsbrief aus Kindergarten und Vorschule Χριστουγεννιάτικο γράμμα από το προνηπιακό/νηπιακό τμήμα

Weihnachtsbrief aus Kindergarten und Vorschule Χριστουγεννιάτικο γράμμα από το προνηπιακό/νηπιακό τμήμα Weihnachtsbrief aus Kindergarten und Vorschule Χριστουγεννιάτικο γράμμα από το προνηπιακό/νηπιακό τμήμα 13.12.2016 Liebe Eltern des Kindergartens und der Vorschule, Die Weihnachtszeit ist eingeläutet.

Διαβάστε περισσότερα

Auswandern Dokumente. Dokumente - Allgemeines. Fragen wo man ein Formular findet. Fragen wann ein Dokument ausgestellt wurde

Auswandern Dokumente. Dokumente - Allgemeines. Fragen wo man ein Formular findet. Fragen wann ein Dokument ausgestellt wurde - Allgemeines Πού μπορώ να βρω τη φόρμα για ; Fragen wo man ein Formular findet Πότε εκδόθηκε το [έγγραφο] σας; Fragen wann ein Dokument ausgestellt wurde Πού εκδόθηκε το [έγγραφο] σας; Fragen wo ein Dokument

Διαβάστε περισσότερα

Auswandern Dokumente. Dokumente - Allgemeines. Dokumente - Persönliche Informationen. Fragen wo man ein Formular findet

Auswandern Dokumente. Dokumente - Allgemeines. Dokumente - Persönliche Informationen. Fragen wo man ein Formular findet - Allgemeines Πού μπορώ να βρω τη φόρμα για ; Fragen wo man ein Formular findet Πότε εκδόθηκε το [έγγραφο] σας; Fragen wann ein Dokument ausgestellt wurde Πού εκδόθηκε το [έγγραφο] σας; Fragen wo ein Dokument

Διαβάστε περισσότερα

Ηλεκτρισμός 2ο μάθημα

Ηλεκτρισμός 2ο μάθημα Μάθημα (τίτλος): Ένα κλειστό κύκλωμα Επίπεδο επάρκειας γλώσσας A1 A2 B1 B2 C1 Τάξη/βαθμίδα: 5η τάξη Αριθμός μαθητών στην τάξη: 11 Αντικείμενο: Φυσική Θέμα: Ηλεκτρισμός Προϋποθέσεις / απαιτήσεις: (π.χ.:

Διαβάστε περισσότερα

Preisliste AB JUNI 2019

Preisliste AB JUNI 2019 Preisliste AB JUNI 2019 LOVE STORIES Pakete (3H) STATT 690 JETZT 650 - Einmalige Aufnahmepauschale - Brautpaar Shooting inkl. 10 bearbeiteten Bildern digital & mit Abzug bis 15x20cm - Reportage der Trauung

Διαβάστε περισσότερα

Εμπορική αλληλογραφία Ηλεκτρονική Αλληλογραφία

Εμπορική αλληλογραφία Ηλεκτρονική Αλληλογραφία - Εισαγωγή ελληνικά Αξιότιμε κύριε Πρόεδρε, γερμανικά Sehr geehrter Herr Präsident, Εξαιρετικά επίσημη επιστολή, ο παραλήπτης έχει ένα ειδικό τίτλο ο οποίος πρέπει να χρησιμοποιηθεί αντί του ονόματος του

Διαβάστε περισσότερα

Ρ Η Μ Α Τ Ι Κ Η Δ Ι Α Κ Ο Ι Ν Ω Σ Η

Ρ Η Μ Α Τ Ι Κ Η Δ Ι Α Κ Ο Ι Ν Ω Σ Η Αρ. Φακέλου.: Ku 622.00/3 (Παρακαλούμε να αναφέρεται στην απάντηση) Αριθμός Ρημ. Διακ: 22/14 2 αντίγραφα Συνημμένα: -2- ΑΝΤΙΓΡΑΦΟ Ρ Η Μ Α Τ Ι Κ Η Δ Ι Α Κ Ο Ι Ν Ω Σ Η Η Πρεσβεία της Ομοσπονδιακής Δημοκρατίας

Διαβάστε περισσότερα

ἀξιόω! στερέω! ψεύδομαι! συγγιγνώσκω!

ἀξιόω! στερέω! ψεύδομαι! συγγιγνώσκω! Assimilation νλ λλ νμ μμ νβ/νπ/νφ μβ/μπ/μφ νγ/νκ/νχ γγ/γκ/γχ attisches Futur bei Verben auf -ίζω: -ιῶ, -ιεῖς, -ιεῖ usw. Dehnungsaugment: ὠ- ὀ- ἠ- ἀ-/ἐ- Zur Vorbereitung die Stammveränderungs- und Grundformkarten

Διαβάστε περισσότερα

Auswandern Wohnen. Wohnen - Mieten. Θα ήθελα να ενοικιάσω ένα. Äußern dass man etwas mieten möchte. δωμάτιο Art der Unterbringung

Auswandern Wohnen. Wohnen - Mieten. Θα ήθελα να ενοικιάσω ένα. Äußern dass man etwas mieten möchte. δωμάτιο Art der Unterbringung - Mieten Griechisch Θα ήθελα να ενοικιάσω ένα. Äußern dass man etwas mieten möchte Koreanisch δωμάτιο διαμέρισμα γκαρσονιέρα / στούντιο διαμέρισμα μονοκατοικία ημι-ανεξάρτητο σπίτι σπίτι σε σειρά κατοικιών

Διαβάστε περισσότερα

Griechische und römische Rechtsgeschichte

Griechische und römische Rechtsgeschichte ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Griechische und römische Rechtsgeschichte Ενότητα 5: die Spartanische Verfassung Παπακωνσταντίνου Καλλιόπη Άδειες Χρήσης Το παρόν εκπαιδευτικό

Διαβάστε περισσότερα

Klausur Strömungsmechanik II Dichte des Fluids ρ F. Viskosität des Fluids η F. Sinkgeschwindigkeit v s. Erdbeschleunigung g

Klausur Strömungsmechanik II Dichte des Fluids ρ F. Viskosität des Fluids η F. Sinkgeschwindigkeit v s. Erdbeschleunigung g Name, Matr-Nr, Unterschrift) Klausur Strömungsmechanik II 3 8 Aufgabe a) Einflussgrößen: Partikeldurchmesser d P Partikeldichte ρ P Dichte des Fluids ρ F Viskosität des Fluids η F Sinkgeschwindigkeit v

Διαβάστε περισσότερα

Mission Berlin. Deutsch lernen und unterrichten Arbeitsmaterialien. Mission Berlin 22 Έλα τώρα, κουνήσου

Mission Berlin. Deutsch lernen und unterrichten Arbeitsmaterialien. Mission Berlin 22 Έλα τώρα, κουνήσου 22 Έλα τώρα, κουνήσου Η Άννα µεταφέρεται στο Βερολίνο του έτους 1989, όπου κυριαρχεί ο ενθουσιασµός για την πτώση του Τείχους. Πρέπει να περάσει µέσα από το πλήθος και να πάρει τη θήκη. Θα τα καταφέρει;

Διαβάστε περισσότερα

Μπορώ να κάνω ανάληψη στην [χώρα] χωρίς να πληρώσω προμήθεια; Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt

Μπορώ να κάνω ανάληψη στην [χώρα] χωρίς να πληρώσω προμήθεια; Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt - Allgemeines Μπορώ να κάνω ανάληψη στην [χώρα] χωρίς να πληρώσω προμήθεια; Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt Πόσα κοστίζει όταν χρησιμοποιώ μηχανές αυτόματης

Διαβάστε περισσότερα

Can I withdraw money in [country] without paying fees? Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt

Can I withdraw money in [country] without paying fees? Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt - Allgemeines Can I withdraw money in [country] without paying fees? Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt What are the fees if I use external ATMs? Μπορώ να κάνω

Διαβάστε περισσότερα

*1 +3*1 - +3*1. - Ideen zu einer reinen Phänomenologie und Phänomenologischen Philosophie. Zweites Buch., Husserliana

*1 +3*1 - +3*1. - Ideen zu einer reinen Phänomenologie und Phänomenologischen Philosophie. Zweites Buch., Husserliana +3*1 + +3+- + +3*1, +3*+/+3*, +3*1 / 0 +3*1 +3*1 - +3*1 + Ideen zu einer reinen Phänomenologie und Phänomenologischen Philosophie. Erstes Buch., Husserliana Bd III., +3/*, +/* I-II +32. +/*, Ding und Raum

Διαβάστε περισσότερα

Griechische und römische Rechtsgeschichte

Griechische und römische Rechtsgeschichte ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Griechische und römische Rechtsgeschichte Ενότητα 7: Gortyna Παπακωνσταντίνου Καλλιόπη Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται

Διαβάστε περισσότερα

ΜΗΝΙΑΙΑ ΕΦΗΜΕΡΙΔΑ ΓΙΑ ΤΟΝ ΕΛΛΗΝΙΣΜΟ ΓΕΡΜΑΝΙΑ ΚΑΙ ΕΥΡΩΠΗ GRIECHISCH-DEUTSCHE MONATSZEITUNG DEUTSCHLAND UND EUROPA

ΜΗΝΙΑΙΑ ΕΦΗΜΕΡΙΔΑ ΓΙΑ ΤΟΝ ΕΛΛΗΝΙΣΜΟ ΓΕΡΜΑΝΙΑ ΚΑΙ ΕΥΡΩΠΗ GRIECHISCH-DEUTSCHE MONATSZEITUNG DEUTSCHLAND UND EUROPA ΕLLINIKI GNOMI ΑΠΡΙΛΙΟΣ 2014 ΕΤΟΣ 16ο ΑΡ. ΦΥΛΛΟΥ 168 www.elliniki-gnomi.eu ΕΔΡΑ ΒΕΡΟΛΙΝΟ ΕΛΛΗΝΙΚΗ ΓΝΩΜΗ April 2014 η εφημερίδα που διαβάζεται! ΜΗΝΙΑΙΑ ΕΦΗΜΕΡΙΔΑ ΓΙΑ ΤΟΝ ΕΛΛΗΝΙΣΜΟ ΓΕΡΜΑΝΙΑ ΚΑΙ ΕΥΡΩΠΗ GRIECHISCH-DEUTSCHE

Διαβάστε περισσότερα

Griechische und römische Rechtsgeschichte

Griechische und römische Rechtsgeschichte ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Griechische und römische Rechtsgeschichte Ενότητα 10: Beispiele von Institutionen des Römischen privatrechts Παπακωνσταντίνου Καλλιόπη

Διαβάστε περισσότερα

GOETHE-ZERTIFIKAT C2: GROSSES DEUTSCHES SPRACHDIPLOM

GOETHE-ZERTIFIKAT C2: GROSSES DEUTSCHES SPRACHDIPLOM GOETHE-ZERTIFIKAT C2: GROSSES DEUTSCHES SPRACHDIPLOM DURCHFÜHRUNGSBESTIMMUNGEN ΟΡΟΙ ΔΙΕΞΑΓΩΓΗΣ ΤΗΣ ΕΞΕΤΑΣΗΣ Stand: 1. Oktober 2014 Τελευταία ενημέρωση: 1 Οκτωβρίου 2014 Zertifiziert durch Πιστοποίηση:

Διαβάστε περισσότερα

. Zeit: Synoptische Betrachtung # αβ αα a) Allgemeine Abkürzungen Abkürzung Ausführung/Bedeutung AOGCM/GCM (atmosphärisch-ozeanisch gekoppeltes) globales Zirkulations-/Klimamodell (engl.: (atmosphere

Διαβάστε περισσότερα

Mission Berlin. Deutsch lernen und unterrichten Arbeitsmaterialien. Mission Berlin 13 Βοήθεια εκ Θεού

Mission Berlin. Deutsch lernen und unterrichten Arbeitsmaterialien. Mission Berlin 13 Βοήθεια εκ Θεού 13 Βοήθεια εκ Θεού Η εκκλησία φαίνεται πως είναι το σωστό µέρος για να πάρει κανείς πληροφορίες. Ο πάστορας εξηγεί στην Άννα τη µελωδία και της λέει ότι είναι το κλειδί για µια µηχανή του χρόνου. Αλλά

Διαβάστε περισσότερα

Wissenschaftlich Einführung

Wissenschaftlich Einführung - Einleitung In diesem Aufsatz / dieser Abhandlung / dieser Arbeit werde ich... untersuchen / ermitteln / bewerten / analysieren... Allgemeine Einleitung einer Arbeit Σε αυτήν την εργασία/διατριβή θα αναλύσω/εξετάσω/διερευνήσω/αξιολογήσω...

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΗ ΚΟΙΝΟΤΗΤΑ ΒΕΡΝΗΣ. 3000 Bern www.grgb.ch

ΕΛΛΗΝΙΚΗ ΚΟΙΝΟΤΗΤΑ ΒΕΡΝΗΣ. 3000 Bern www.grgb.ch ΕΛΛΗΝΙΚΗ ΚΟΙΝΟΤΗΤΑ ΒΕΡΝΗΣ COMMUNAUTÈ HELLÈNIQUE DE BERNE 3000 Bern www.grgb.ch Δευτέρα 9 Δεκεμβρίου 2013 Αγαπητά μέλη και φίλοι της Κοινότητας γεια σας Το 2013 φτάνει στο τέλος τους και ήρθε η ώρα να σας

Διαβάστε περισσότερα

PASSANT A: Ja, guten Tag. Ich suche den Alexanderplatz. Können Sie mir helfen?

PASSANT A: Ja, guten Tag. Ich suche den Alexanderplatz. Können Sie mir helfen? 03 Για την οδό Kantstraße Η Άννα ξεκινά για την Kantstraße, αλλά καθυστερεί, επειδή πρέπει να ρωτήσει πώς πάνε µέχρι εκεί. Χάνει κι άλλο χρόνο, όταν εµφανίζονται πάλι οι µοτοσικλετιστές µε τα µαύρα κράνη

Διαβάστε περισσότερα

Sonata op. 11 for Guitar. Giacomo Monzino. Edition Panitz

Sonata op. 11 for Guitar. Giacomo Monzino. Edition Panitz Sonata o 11 or Guitar Giacomo Monzino Edition Panitz htt://wwwanitzname/guitar Einuhrung Zu keiner Zeit ist wohl mehr Literatur ur Gitarre veroentlicht worden, als in den ersten zwei Jahrzehnten des 19

Διαβάστε περισσότερα

Empirische Sprachforschung

Empirische Sprachforschung Empirische Sprachforschung Einführung: Subsprachen und Kontrollierte Sprachen Dr. Chris;na Alexandris Na;onale Universität Athen Deutsche Sprache und Literatur Einführung: Subsprachen und Kontrollierte

Διαβάστε περισσότερα

Στοιχεία του/της συζύγου ή του/ της συντρόφου του προσώπου που υποβάλλει την αίτηση

Στοιχεία του/της συζύγου ή του/ της συντρόφου του προσώπου που υποβάλλει την αίτηση Επώνυμο και όνομα του προσώπου που υποβάλλει την αίτηση Name und der antragstellenden Person Αριθμός επιδόματος τέκνων Kindergeld-Nr. F K KG 51R Παράρτημα Εξωτερικό (Ausland) της αίτησης για γερμανικό

Διαβάστε περισσότερα

Η προβληματική της Protention στη φαινομενολογία του χρόνου του Husserl

Η προβληματική της Protention στη φαινομενολογία του χρόνου του Husserl Πανεπιστήμιο Πατρών Σχολή Ανθρωπιστικών και Κοινωνικών Επιστημών Τμήμα Φιλοσοφίας Πρόγραμμα Μεταπτυχιακών Σπουδών Η προβληματική της Protention στη φαινομενολογία του χρόνου του Husserl Διπλωματική Εργασία

Διαβάστε περισσότερα

α + ω 0 2 = 0, Lösung: α 1,2

α + ω 0 2 = 0, Lösung: α 1,2 SDOFs Der lineare Einmassenschwinger Bewegungsgleichung m x + c x + k x = f () = p()...krafanregung m x g ()...Weganregung x + ζω x + ω x = f () m, ω = k m, ζ = c mk... Lehr'sches Dämpfungsmaß AB : x(

Διαβάστε περισσότερα

Herzlich Willkommen zu unserem 1. Elternabend für Kindergarten und Vorschule

Herzlich Willkommen zu unserem 1. Elternabend für Kindergarten und Vorschule Herzlich Willkommen zu unserem 1. Elternabend für Kindergarten und Vorschule Καλωσορίσατε στην 1 η συνάντηση γονέων για τον παιδικό σταθμό και το νηπιαγωγείο Begrüßung Das Team der vorschulischen Bereiches

Διαβάστε περισσότερα

BIOABFALL. Beantworte folgende Fragen: 1. Welche Farbe hat die Biotonne a) blau b) grün c) gelb d) rot. 2. Was kommt in die Biotonne?

BIOABFALL. Beantworte folgende Fragen: 1. Welche Farbe hat die Biotonne a) blau b) grün c) gelb d) rot. 2. Was kommt in die Biotonne? BIOABFALL Mein Name ist Laura. Zuhause essen wir viel Obst und Gemüse. Die Abfälle, wie zum Beispiel Orangen- oder Kartoffelschalen, aber auch Teeblätter oder Eierschalen, sammeln wir in der Küche in einem

Διαβάστε περισσότερα

Nr. 544-12/17 Auslosung Klub-Cup 2018 1/8 Final Anlässlich des Freundschaftswettkampfes BL-BS hat unsere Glücksfee Paula Graber folgende Paarungen für den Achtelfinal des Klub-Cup 2018 gezogen

Διαβάστε περισσότερα

Συνέντευξη στην FRANKFURTER ALLGEMEINE ZEITUNG 26/6/2009. Στον Reinhard Vesser. "Wir liegen weit auseinander"

Συνέντευξη στην FRANKFURTER ALLGEMEINE ZEITUNG 26/6/2009. Στον Reinhard Vesser. Wir liegen weit auseinander Συνέντευξη στην FRANKFURTER ALLGEMEINE ZEITUNG 26/6/2009 Στον Reinhard Vesser "Wir liegen weit auseinander" Die amtierende Vorsitzende der Organisation für Sicherheit und Zusammenarbeit in Europa (OSZE)

Διαβάστε περισσότερα

B.A.-Eingangstest Neugriechisch (Niveau TELC B1) MUSTERTEST Seite 1 von 6

B.A.-Eingangstest Neugriechisch (Niveau TELC B1) MUSTERTEST Seite 1 von 6 B.A.-Eingangstest Neugriechisch (Niveau TELC B1) MUSTERTEST Seite 1 von 6 Name, Vorname:... Teil 1: Hörverstehen * Hören Sie den Text und beantworten Sie kurz (mit 1-2 Wörtern) die Fragen in der folgenden

Διαβάστε περισσότερα

Hochleistungs-Gewindeeinheit GE - 16/2 Hochleistungs-Gewindeeinheit GE - 22/2

Hochleistungs-Gewindeeinheit GE - 16/2 Hochleistungs-Gewindeeinheit GE - 22/2 Hochleistungs-Gewindeeinheit GE - 16/2 Hochleistungs-Gewindeeinheit GE - 22/2 (Bild zeigt Gewindeeinheit GE-16/2 in Sonderausführung mit NC-Antriebsmotor und Spindeladapter für Anbauteile) -- 2 -- Hagen

Διαβάστε περισσότερα

PUBLIC 5587/18 ADD 1 1 DG G LIMITE EL. Συμβούλιο της Ευρωπαϊκής Ένωσης. Βρυξέλλες, 7 Φεβρουαρίου 2018 (OR. en)

PUBLIC 5587/18 ADD 1 1 DG G LIMITE EL. Συμβούλιο της Ευρωπαϊκής Ένωσης. Βρυξέλλες, 7 Φεβρουαρίου 2018 (OR. en) Conseil UE Συμβούλιο της Ευρωπαϊκής Ένωσης PUBLIC Βρυξέλλες, 7 Φεβρουαρίου 2018 (OR. en) 5587/18 ADD 1 LIMITE PV/CONS 2 ECOFIN 57 ΣΧΕΔΙΟ ΠΡΑΚΤΙΚΩΝ ΣΥΜΒΟΥΛΙΟ ΤΗΣ ΕΥΡΩΠΑΪΚΗΣ ΕΝΩΣΗΣ (Οικονομικά και Δημοσιονομικά

Διαβάστε περισσότερα

Griechisches Staatszertifikat - Deutsch

Griechisches Staatszertifikat - Deutsch ΥΠΟΥΡΓΕΙΟ ΕΘΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung und Religion Griechisches Staatszertifikat - Deutsch NIVEAU B1 Entspricht dem Gemeinsamen

Διαβάστε περισσότερα

Geschäftskorrespondenz Brief

Geschäftskorrespondenz Brief - Adresse Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Amerikanisches Adressenformat: Name der Stadt + Abkürzung des Staates + Postleitzahl Mr. J. Rhodes Rhodes

Διαβάστε περισσότερα

Geschäftskorrespondenz Brief

Geschäftskorrespondenz Brief - Adresse Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Amerikanisches Adressenformat: Name der Stadt + Abkürzung des Staates + Postleitzahl Mr. J. Rhodes Rhodes

Διαβάστε περισσότερα

ΑΞΙΟΛΟΓΗΣΗ ΑΝΑΠΤΥΞΙΑΚΗΣ ΚΑΤΑΛΛΗΛΟΤΗΤΑΣ ΠΕΡΙΟΧΩΝ ΜΕ ΒΑΣΗ ΓΕΩΛΟΓΙΚΑ, ΓΕΩΤΕΧΝΙΚΑ ΚΑΙ ΠΕΡΙΒΑΛΛΟΝΤΙΚΑ ΚΡΙΤΗΡΙΑ

ΑΞΙΟΛΟΓΗΣΗ ΑΝΑΠΤΥΞΙΑΚΗΣ ΚΑΤΑΛΛΗΛΟΤΗΤΑΣ ΠΕΡΙΟΧΩΝ ΜΕ ΒΑΣΗ ΓΕΩΛΟΓΙΚΑ, ΓΕΩΤΕΧΝΙΚΑ ΚΑΙ ΠΕΡΙΒΑΛΛΟΝΤΙΚΑ ΚΡΙΤΗΡΙΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥΔΩΝ ΕΙΔΙΚΕΥΣΗΣ ΠΡΟΣΤΑΣΙΑ ΠΕΡΙΒΑΛΛΟΝΤΟΣ ΚΑΙ ΒΙΩΣΙΜΗ ΑΝΑΠΤΥΞΗ ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ ΑΞΙΟΛΟΓΗΣΗ

Διαβάστε περισσότερα

Ordinalzahl-Registermaschinen und Modelle der Mengenlehre

Ordinalzahl-Registermaschinen und Modelle der Mengenlehre Ordinalzahl-Registermaschinen und Modelle der Mengenlehre b y Peter Koepke Universität Bonn Abstract: Wir verallgemeinern gewöhnliche Registermaschinen auf natürlichen Zahlen zu Maschinen, deren Register

Διαβάστε περισσότερα

Εμπορική αλληλογραφία Επιστολή

Εμπορική αλληλογραφία Επιστολή - Διεύθυνση Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Αμερικανική γραφή διεύθυνσης:

Διαβάστε περισσότερα

Gruppentheorie. Vorlesung im Wintersemester 1992/93. B. Külshammer. Ausarbeitung: Markus Deiml

Gruppentheorie. Vorlesung im Wintersemester 1992/93. B. Külshammer. Ausarbeitung: Markus Deiml Gruppentheorie Vorlesung im Wintersemester 1992/93 B. Külshammer Ausarbeitung: Markus Deiml Inhaltsverzeichnis Kapitel 1. Halbgruppen 3 Kapitel 2. Gruppen 5 Kapitel 3. Normalteiler und Faktorgruppen 11

Διαβάστε περισσότερα

1. Βρες το σωστό αντικείμενο και συμπλήρωσε το σε αιτιατική. 2. Μπορείς να το πεις κι αλλιώς. Χρησιμοποίησε τα ρήματα schmecken και gefallen

1. Βρες το σωστό αντικείμενο και συμπλήρωσε το σε αιτιατική. 2. Μπορείς να το πεις κι αλλιώς. Χρησιμοποίησε τα ρήματα schmecken και gefallen Name: Datum: Klasse: Note: 1. Βρες το σωστό αντικείμενο και συμπλήρωσε το σε αιτιατική eine Torte, eine Limonade, die Blumen, der Arzt, die Tür, der Schulbus a) Peter ist krank. Seine Mutter ruft an. b)

Διαβάστε περισσότερα

Mission Berlin. Deutsch lernen und unterrichten Arbeitsmaterialien. Mission Berlin 16 Παλιοί γνωστοί

Mission Berlin. Deutsch lernen und unterrichten Arbeitsmaterialien. Mission Berlin 16 Παλιοί γνωστοί 16 Παλιοί γνωστοί Και το 1961 η Άννα καταδιώκεται από τους ένοπλους µοτοσικλετιστές. Σε αυτή την επικίνδυνη φάση τη βοηθά µια άγνωστη γυναίκα. Αλλά γιατί σπεύδει προς βοήθεια; Μπορεί η Άννα να την εµπιστευθεί;

Διαβάστε περισσότερα

6. Klein-Gordon-Gleichung und Elektrodynamik

6. Klein-Gordon-Gleichung und Elektrodynamik Klein-Gordon-Gleichung und Elekrodynamik 6. Klein-Gordon-Gleichung und Elekrodynamik Grundgleichungen (diese werden im Folgenden begründe) Klein-Gordon-Gl. Maxwell-Gl. (äquvivalen) ( ) + + m ie e ie Nomenklaur

Διαβάστε περισσότερα

α + ω 0 2 = 0, Lösung: α 1,2

α + ω 0 2 = 0, Lösung: α 1,2 SDOFs Der lineare Einmassenschwinger Bewegungsgleichung m x + c x + k x = f () = p()...krafanregung m x g ()...Weganregung x + 2ζω x + ω 2 x = f () m, ω = k m, ζ = c 2 mk... Lehr'sches Dämpfungsmaß AB

Διαβάστε περισσότερα

1 @ copyright @ www.learngerman.gr

1 @ copyright @ www.learngerman.gr 1 @ copyright @ www.learngerman.gr SPRACHE ΠΡΑΧΕ ΓΛΩΑ Sprichst du Griechisch? Σπριχςτ ντου γκρίχιςσ? Μιλάσ ελλθνικά; Sprichst du Deutsch? Σπριχςτ ντου ντόθτςσ? Μιλάσ γερμανικά; Welche Sprache sprichst

Διαβάστε περισσότερα

Präpositionen ΠΡΟΣ (Ερώτηση με wohin?) nach προς (χώρα χωρίς άρθρο, πόλη, ήπειρο) προς (τοπικό επίρρημα)

Präpositionen ΠΡΟΣ (Ερώτηση με wohin?) nach προς (χώρα χωρίς άρθρο, πόλη, ήπειρο) προς (τοπικό επίρρημα) Präpositionen ΠΡΟΣ (Ερώτηση με wohin?) nach προς (χώρα χωρίς άρθρο, πόλη, ήπειρο) Im Sommer fahre ich nach Deutschland, nach Berlin προς (τοπικό επίρρημα) Ich gehe nach oben zu (zum, zur) προς (πρόσωπο,

Διαβάστε περισσότερα

Auswandern Studieren. Studieren - Universität. Angeben, dass man sich einschreiben will. Angeben, dass man sich für einen Kurs anmelden möchte.

Auswandern Studieren. Studieren - Universität. Angeben, dass man sich einschreiben will. Angeben, dass man sich für einen Kurs anmelden möchte. - Universität Θα ήθελα να εγγραφώ σε πανεπιστήμιο. Angeben, dass man sich einschreiben will I would like to enroll at a university. Θα ήθελα να γραφτώ για. Angeben, dass man sich für einen anmelden möchte

Διαβάστε περισσότερα

Auswandern Studieren. Studieren - Universität. Angeben, dass man sich einschreiben will. Angeben, dass man sich für einen Kurs anmelden möchte.

Auswandern Studieren. Studieren - Universität. Angeben, dass man sich einschreiben will. Angeben, dass man sich für einen Kurs anmelden möchte. - Universität I would like to enroll at a university. Angeben, dass man sich einschreiben will Θα ήθελα να εγγραφώ σε πανεπιστήμιο. I want to apply for course. Angeben, dass man sich für einen anmelden

Διαβάστε περισσότερα

Das Präpositionalobjekt Εμπρόθετο αντικείμενο

Das Präpositionalobjekt Εμπρόθετο αντικείμενο Πολλά ριματα ςυντάςςονται με εμπρόκετο αντικείμενο. Η πρόκεςθ κακορίηει τθν πτώςθ του ουςιαςτικοφ. Das Präpositionalobjekt Εμπρόθετο αντικείμενο Το εμπρόθετο αντικείμενο αφορά πρόςωπο warten auf + Akk.

Διαβάστε περισσότερα

Geschäftskorrespondenz

Geschäftskorrespondenz - Einleitung Deutsch Griechisch Sehr geehrter Herr Präsident, Αξιότιμε κύριε Πρόεδρε, Sehr formell, Empfänger hat einen besonderen Titel, der anstelle seines Namens benutzt wird Sehr geehrter Herr, Formell,

Διαβάστε περισσότερα

Optionsbewertung mit FFT

Optionsbewertung mit FFT 19.01.2012 Europäische Call Option Wert C T = E[(S(T ) K) + ] Variance Gamma Prozess Dichte γ 2λ x µ λ 1/2 K λ 1/2 (α x µ ) e β(x µ) πγ(λ)(2α) λ 1/2 Charakteristische Funktion (1 izθν + 1 2 σ2 νz 2 ) t

Διαβάστε περισσότερα

LEKTION 4. Prüfungsvorbereitung. Lesen Teil 5. Was für ein Tag! (Τι μέρα κι αυτή!) 7B Ú ÙÂ ÙËÓ ÈÛÙÔÚ Û Ó ÔÓÙ ÙÈ appleúôù ÛÂÈ ÌÂÙ Í ÙÔ.

LEKTION 4. Prüfungsvorbereitung. Lesen Teil 5. Was für ein Tag! (Τι μέρα κι αυτή!) 7B Ú ÙÂ ÙËÓ ÈÛÙÔÚ Û Ó ÔÓÙ ÙÈ appleúôù ÛÂÈ ÌÂÙ Í ÙÔ. 4 LEKTION 4 7B Ú ÙÂ ÙËÓ ÈÛÙÔÚ Û Ó ÔÓÙ ÙÈ appleúôù ÛÂÈ ÌÂÙ Í ÙÔ. Was für ein Tag! (Τι μέρα κι αυτή!) B1 Prüfungsvorbereitung Lesen Teil 5 Το κείμενο στο 5 ο μέρος της ενότητας Lesen είναι ένας κανονισμός

Διαβάστε περισσότερα