Logique II(PH106)
| Nom du Cours | Semestre du Cours | Cours Théoriques | Travaux Dirigés (TD) | Travaux Pratiques (TP) | Crédit du Cours | ECTS | |
|---|---|---|---|---|---|---|---|
| PH106 | Logique II | 2 | 3 | 0 | 0 | 3 | 6 |
| Cours Pré-Requis | |
| Conditions d'Admission au Cours |
| Langue du Cours | Turc |
| Type de Cours | Obligatoire |
| Niveau du Cours | Licence |
| Enseignant(s) du Cours | T.necati ILGICIOĞLU nilgicioglu@gsu.edu.tr (Email) |
| Assistant(e)s du Cours | |
| Objectif du Cours | Permettre à l’étudiant d’acquérir le vocabulaire, les concepts de la logique du premier ordre |
| Contenus | LE langage formel PQ et le système formel PFQ. |
| Acquis d'Apprentissage du Cours | Apprendre l’analyse sémantique des formules du langage formel PQ et acquérir la capacité de prouver les théorèmes du système formel PFQ. |
| Méthodes d'Enseignement | L’enseignement est dispensé sous forme de cours magistraux. |
| Ressources |
Introduction to Logic II, Yalçın Koç ,Boğaziçi University Publications,1980. Naive Set Theory, Paul Richard Halmos, D. Van Nostrand Company, Princeton, NJ, 1960. Introduction to Mathematical Logic, Eliot Mendelson, D. Van Norstand Company, Princeton NJ, 1964 Sembolik Mantık, Tarık Necati Ilgıcıoğlu, Anadolu Üniversitesi Yayınları, Ankara 2013. Introduction to Mathematical Logic, Church, A., Princeton University Press, Princeton NJ, 1956. Introduction to Logic, Suppes, P., D. Van Norstrand Company, Princeton NJ, 1957. Logique formelle et argumentation, Laurence Bouquiaux & Bruno Leclercq, De Boeck, Brüksel, 2009. |
Intitulés des Sujets Théoriques
| Semaine | Intitulés des Sujets |
|---|---|
| 1 | Le langage formel PQ : alphabet et grammaire |
| 2 | La sémantique du langage formel PQ : La théorie des ensembles. |
| 3 | La sémantique du langage formel PQ : La partition et l'énumération d'un ensemble, les séquences dénombrables. |
| 4 | L'interprétation du langage formel PQ |
| 5 | L'interprétation d'une formule du langage formel PQ : la domaine d'interprétation, la relation à n-place et la fonction à n-place |
| 6 | L'analyse sémantique des formules grammatiques du langage formel PQ |
| 7 | L'implication sémantique et le méta-théorème de déduction pour le langage formel PQ |
| 8 | L'examen partiel |
| 9 | Le système formel PFQ |
| 10 | La déduction et la preuve dans le système formel PFQ |
| 11 | L'implication syntaxique pour le système formel PFQ |
| 12 | Le méta-théorème de déduction pour le système formel PFQ |
| 13 | Le méta-théorème de consistance pour le système formel PFQ |
| 14 | Le méta-théorème de complétude pour le système formel PFQ |
Intitulés des Sujets Pratiques
| Semaine | Intitulés des Sujets |
|---|
Contribution à la Note Finale
| Numéro | Frais de Scolarité | |
|---|---|---|
| Contribution du contrôle continu à la note finale | 1 | 0 |
| Contribution de l'examen final à la note finale | 1 | 0 |
| Toplam | 2 | 0 |
Contrôle Continu
| Numéro | Frais de Scolarité | |
|---|---|---|
| Examen partiel (temps de préparation inclu) | 1 | 0 |
| Toplam | 1 | 0 |
| No | Objectifs Pédagogiques du Programme | Contribiton | ||||
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | ||
| Activités | Nombre | Durée | Charge totale de Travail |
|---|---|---|---|
| Charge totale de Travail | 0 | ||
| Charge totale de Travail / 25 | 0,00 | ||
| Crédits ECTS | 0 | ||