Logique(PH105)
| Nom du Cours | Semestre du Cours | Cours Théoriques | Travaux Dirigés (TD) | Travaux Pratiques (TP) | Crédit du Cours | ECTS | |
|---|---|---|---|---|---|---|---|
| PH105 | Logique | 1 | 3 | 0 | 0 | 3 | 6 |
| Cours Pré-Requis | |
| Conditions d'Admission au Cours |
| Langue du Cours | Français |
| Type de Cours | Obligatoire |
| Niveau du Cours | Licence |
| Enseignant(s) du Cours | Ömer AYGÜN omeraygun@gmail.com (Email) |
| Assistant(e)s du Cours | |
| Objectif du Cours | Permettre à l’étudiant d’acquérir le vocabulaire, les concepts de la logique propositionnelle |
| Contenus | l’analyse sémantique des formules du langage formel P et les théorèmes du système formel PF. |
| Acquis d'Apprentissage du Cours | Apprehension de l’analyse sémantique des formules du langage formel P et acquisition de la capacité de prouver les théorèmes du système formel PF. |
| Méthodes d'Enseignement | L’enseignement est dispensé sous forme de cours magistraux. |
| Ressources |
Introduction to Logic I, 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 P : alphabet et grammaire |
| 2 | La complétude définitionnelle pour le langage formel P |
| 3 | La sémantique du langage formel P : Les fonctions booléennes sur l'ensemble T :{v, f} |
| 4 | La complétude fonctionnelle des fonctions booléennes sur T |
| 5 | L'interprétation du langage formel P |
| 6 | L'implication sémantique et le méta-théorème de déduction |
| 7 | L'analyse sémantique des formules grammatiques du langage formel P |
| 8 | L'examen partiel |
| 9 | Le système formel PF |
| 10 | La déduction dans le système formel PF |
| 11 | L'implication syntaxique dans le système formel PF |
| 12 | Le méta-théorème de déduction pour le système formel PF |
| 13 | Le méta-théorème de consistance et le méta-théorème de complétude pour le système formel PF |
| 14 | Consistance absolu et simple du système formel PF |
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 | 15 | 15 |
| Présentation | 0 | 0 |
| Examen partiel (temps de préparation inclu) | 1 | 30 |
| 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 | 15 | 15 |
| Toplam | 31 | 60 |
| No | Objectifs Pédagogiques du Programme | Contribiton | ||||
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | ||
| 1 | comprend les principes de la méthode hypothético-déductive; s'est interrogé systématiquement sur la pertinence et la justesse des énoncés mathématique qu'il a rencontré ou produit; | X | ||||
| 2 | sait énoncer et utiliser judicieusement les concepts et les résultats des mathématiques de base; | |||||
| 3 | maîtrise les techniques de calcul et les algorithmes courants; possède une bonne intelligence de calcul pour les mettre en œuvre; est capable d'identifier les outils pertinents, parmi ceux qu'il connaît, pour la résolution d'un problème, et est capable de juger s’il ne possède pas ces outils; | |||||
| 4 | est capable d'exprimer de manière organisée, tant à l'écrit qu'à l'oral, ses idées mathématiques; | |||||
| 5 | a réalisé les relations essentielles qui lient entre eux ces concepts et résultats; est capable de passer de l'un à l'autre de divers mode de représentation des objets mathématiques (dessins, formules, énoncés précis, heuristiques, collection d'exemples,...); | |||||
| 6 | a poursuivi, en autonomie, une stratégie d'apprentissage guidée; s'est engagé dans des stratégies de résolution d'un problème complexe; | |||||
| 7 | a les bases théoriques et pratiques suffisantes en informatique pour pouvoir poursuivre l'apprentissage d'un langage de programmation; | |||||
| 8 | s'est interrogé sur la pertinence de la modélisation mathématique et l'usage des outils mathématiques dans les sciences naturelles et dans le monde professionnel; a été sensibilisé à l'évolution historique des concepts mathématiques; | |||||
| 9 | a eu l'opportunité de choisir librement certains de ses cours (de mathématiques ou d'autres disciplines) et a, à l'occasion, appris à prendre ses responsabilités et à organiser son projet éducatif par lui-même; | |||||
| 10 | a une maîtrise de la langue française et d'une autre langue étrangère suffisante pour pouvoir poursuivre des études ou travailler à l'étranger. | X | ||||
| Activités | Nombre | Durée | Charge totale de Travail |
|---|---|---|---|
| Durée du cours | 0 | 42 | 0 |
| Préparation pour le cours | 0 | 15 | 0 |
| Devoir | 0 | 15 | 0 |
| Examen partiel (temps de préparation inclu) | 0 | 10 | 0 |
| Examen final (temps de préparation inclu) | 0 | 10 | 0 |
| Quiz | 0 | 8 | 0 |
| Charge totale de Travail | 0 | ||
| Charge totale de Travail / 25 | 0,00 | ||
| Crédits ECTS | 0 | ||