La logique mathématique (PH413)
| Nom du Cours | Semestre du Cours | Cours Théoriques | Travaux Dirigés (TD) | Travaux Pratiques (TP) | Crédit du Cours | ECTS | |
|---|---|---|---|---|---|---|---|
| PH413 | La logique mathématique | 7 | 3 | 0 | 0 | 3 | 4 |
| Cours Pré-Requis | |
| Conditions d'Admission au Cours |
| Langue du Cours | Turc |
| Type de Cours | Électif |
| 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 | |
| Contenus | Une introduction à certains des principaux sujets de la logique mathématique comprenant les méthodes de la théorie des ensembles naturelles et sans restriction. |
| Acquis d'Apprentissage du Cours | |
| Méthodes d'Enseignement | |
| Ressources |
Introduction to Mathematical Logic - Elliott MENDELSON Logique mathématique 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés - René CORI ; Daniel LASCAR Logique mathématique 2, Fonctions récursives théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés - René CORI, Daniel LASCAR Naïve Set Theory - Paul R. HALMOS |
Intitulés des Sujets Théoriques
| Semaine | Intitulés des Sujets |
|---|---|
| 2 | Ordre. |
| 3 | Connecteurs propositionnelle. Fonctions de vérité. |
| 4 | Tautologies. |
| 5 | Ensembles adéquates de connecteurs. |
| 6 | Un système d’axioms pour le calcul propositionnel. |
| 7 | Indépendance. Logiques polyvalentes. |
| 8 | Axiomatisations autres. |
| 9 | Quantificateurs. |
| 10 | Théories du premier ordre. |
| 11 | Propriétés des théories du premier ordre. |
| 12 | Théorèmes de complétude. |
| 13 | Interprétations. Satisfiabilité et vérité. |
| 14 | Certains metatheorems supplémentaires. Règle C., |
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 | 40 |
| Contribution de l'examen final à la note finale | 1 | 60 |
| Toplam | 2 | 100 |
Contrôle Continu
| Numéro | Frais de Scolarité | |
|---|---|---|
| Devoir | 0 | 0 |
| Présentation | 0 | 0 |
| Examen partiel (temps de préparation inclu) | 0 | 0 |
| Projet | 0 | 0 |
| Travail de laboratoire | 0 | 0 |
| Autres travaux pratiques | 0 | 0 |
| Quiz | 0 | 0 |
| Devoir/projet de session | 0 | 0 |
| Portefeuille | 0 | 0 |
| Rapport | 0 | 0 |
| Journal d'apprentissage | 0 | 0 |
| Mémoire/projet de fin d'études | 0 | 0 |
| Séminaire | 0 | 0 |
| Autre | 0 | 0 |
| Toplam | 0 | 0 |
| No | Objectifs Pédagogiques du Programme | Contribiton | ||||
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | ||
| 1 | Est capable de faire l’analyse critique des textes philosophiques ; | X | ||||
| 2 | Acqiert une connaissance exhaustive sur l’histoire de la philosophie : depuis l’antiquité au 20e siècle ; | |||||
| 3 | Obtient une connaissance et une spécialisation dans des disciplines de la philosophie systématique, telles que l’éthique, l’esthétique, l’histoire de la science, la philosophie de la société ; | |||||
| 4 | Peut mettre la philosophie en relation avec d’autres disciplines telles que l’histoire, la psychologie, l’anthropologie, la sociologie et les sciences positives ; | |||||
| 5 | Apprend des théories de la science politique, l’évaluation philosophique des événements historiques et actuels ; | |||||
| Activités | Nombre | Durée | Charge totale de Travail |
|---|---|---|---|
| Durée du cours | 13 | 3 | 39 |
| Préparation pour le cours | 13 | 3 | 39 |
| Examen partiel (temps de préparation inclu) | 1 | 10 | 10 |
| Examen final (temps de préparation inclu) | 1 | 12 | 12 |
| Charge totale de Travail | 100 | ||
| Charge totale de Travail / 25 | 4,00 | ||
| Crédits ECTS | 4 | ||