HLPH312. Logique aristotélicienne, logique des prédicats.

HLPH312. Logique aristotélicienne, logique des prédicats.

Follow HLPH312. Logique aristotélicienne, logique des prédicats.
Share on
Copy link to clipboard

Comme son nom l'indique.

Université Nice Sophia Antipolis - Nice Sophia Antipolis University


    • Mar 25, 2015 LATEST EPISODE
    • infrequent NEW EPISODES
    • 46 EPISODES


    More podcasts from Université Nice Sophia Antipolis - Nice Sophia Antipolis University

    Search for episodes from HLPH312. Logique aristotélicienne, logique des prédicats. with a specific topic:

    Latest episodes from HLPH312. Logique aristotélicienne, logique des prédicats.

    Logique A1415 Année2 Semestre1 Partiel

    Play Episode Listen Later Mar 25, 2015


    Logique A1415 Année2 Semestre1 Correction du partiel

    Play Episode Listen Later Mar 25, 2015


    Formulaire de logique des prédicats

    Play Episode Listen Later Dec 17, 2014


    Logique A1415 Année2 Semestre1 Tableaux12

    Play Episode Listen Later Dec 11, 2014


    Correction de l'exercice: propositions ayant le même contenu. Rapide rappel sur les syllogismes.

    Logique A1415 Année2 Semestre2 12

    Play Episode Listen Later Dec 11, 2014


    Correction de l'exercice: propositions ayant le même contenu. Rapide rappel sur les syllogismes.

    Logique A1415 Année2 Semestre1 Tableaux11

    Play Episode Listen Later Dec 4, 2014


    L'égalité: correction des exercices et compléments.

    Logique A1415 Année2 Semestre1 11

    Play Episode Listen Later Dec 4, 2014


    L'égalité: correction des exercices et compléments.

    Logique A1415 Année2 Semestre1 Exercices11

    Play Episode Listen Later Dec 4, 2014


    Reconnaissance de propositions ayant même contenu.

    Logique A1415 Année2 Semestre1 Tableaux10

    Play Episode Listen Later Nov 27, 2014


    Correction de l'exercice: reconnaissance de propositions de contenu similaire. Le calcul des prédicats avec égalité.

    Logique A1415 Année2 Semestre1 10

    Play Episode Listen Later Nov 27, 2014


    Correction de l'exercice: reconnaissance de propositions de contenu similaire. Le calcul des prédicats avec égalité.

    Logique A1415 Année2 Semestre1 Exercices10

    Play Episode Listen Later Nov 27, 2014


    Traductions faisant intervenir l'égalité.

    Logique A1415 Année2 Semestre1 Tableaux9

    Play Episode Listen Later Nov 21, 2014


    Correction des exercices: syllogismes se ramenant à des syllogismes aristotéliciens, mises sous forme pérenne, sous forme pure. La logique des prédicats avec égalité.

    Logique A1415 Année2 Semestre1 9

    Play Episode Listen Later Nov 21, 2014


    Correction des exercices: syllogismes se ramenant à des syllogismes aristotéliciens, mises sous forme pérenne, sous forme pure. La logique des prédicats avec égalité.

    Logique A1415 Année2 Semestre1 Exercices9

    Play Episode Listen Later Nov 21, 2014


    Reconnaissance de phrases ayant la même signification.

    Logique A1415 Année2 Semestre1 Tableaux8

    Play Episode Listen Later Nov 13, 2014


    Correction des exercices: congruences, traduction (français-formalisme, formalisme-français). Mise sous forme pérenne ou sous forme pure.

    Logique A1415 Année2 Semestre1 8

    Play Episode Listen Later Nov 13, 2014


    Correction des exercices: congruences, traduction (français-formalisme, formalisme-français). Mise sous forme pérenne ou sous forme pure.

    Logique A1415 Année2 Semestre1 Exercices8

    Play Episode Listen Later Nov 13, 2014


    Syllogismes se ramenant à des syllogismes aristotéliciens. Mise sous forme pérenne et sous forme pure.

    Logique A1415 Année2 Semestre1 Tableaux7

    Play Episode Listen Later Nov 8, 2014


    Correction des exercices: négation de propositions en logique des prédicats, formalisation de propositions simples. Connecteurs et quantificateurs.

    Logique A1415 Année2 Semestre1 7

    Play Episode Listen Later Nov 8, 2014


    Correction des exercices: négation de propositions en logique des prédicats, formalisation de propositions simples. Connecteurs et quantificateurs.

    Logique A1415 Année2 Semestre1 Exercices7 (format pdf)

    Play Episode Listen Later Nov 8, 2014


    Exercices au format pdf: congruences, formalisation de phrases complexes (ou traduction en français de formules complexes).

    Logique A1415 Année2 Semestre1 Exercices6 (format pdf)

    Play Episode Listen Later Oct 23, 2014


    Formalisation de propositions. Négations.

    Logique A1415 Année2 Semestre1 6

    Play Episode Listen Later Oct 23, 2014


    Correction des exercices: traduction, syllogismes se ramenant à des syllogismes aristotéliciens. Négation de formules dépendant d'un quantificateur.

    Logique A1415 Année2 Semestre1 Tableaux6

    Play Episode Listen Later Oct 23, 2014


    Correction des exercices: traduction, syllogismes se ramenant à des syllogismes aristotéliciens. Négation de formules dépendant d'un quantificateur.

    Logique A1415 Année2 Semestre1 Tableaux5

    Play Episode Listen Later Oct 16, 2014


    Congruences. Premiers théorèmes de logique des prédicats.

    Logique A1415 Année2 Semestre1 5.1

    Play Episode Listen Later Oct 16, 2014


    Correction des exercices: congruences; formalisation ne faisant intervenir que des propriétés en logique des prédicats.

    Logique A1415 Année2 Semestre1 5.2

    Play Episode Listen Later Oct 16, 2014


    Premiers théorèmes de logique des prédicats.

    Logique A1415 Année2 Semestre1 Exercices5

    Play Episode Listen Later Oct 16, 2014


    Syllogismes se ramenant à des syllogismes aristotéliciens. Formalisations simples de logique des prédicats avec des relations.

    Logique A1415 Année2 Semestre1 Tableaux4

    Play Episode Listen Later Oct 9, 2014


    Formalisation en logique des prédicats. Congruences.

    Logique A1415 Année2 Semestre1 4.1

    Play Episode Listen Later Oct 9, 2014


    Correction des exercices: formalisation en logique des prédicats.

    Logique A1415 Année2 Semestre1 4.2

    Play Episode Listen Later Oct 9, 2014


    Congruences.

    Logique A1415 Année2 Semestre1 Exercices4 (format pdf)

    Play Episode Listen Later Oct 9, 2014


    Formalisation en logique des prédicats. Congruences. (format pdf)

    Logique A1415 Année2 Semestre1 Tableaux3

    Play Episode Listen Later Oct 2, 2014


    Révisions de logique propositionnelle. Formalisation en logique des prédicats de propositions aristotéliciennes typiques.

    Logique A1415 Année2 Semestre1 3.1

    Play Episode Listen Later Oct 2, 2014


    Révisions de logique propositionnelle

    Logique A1415 Année2 Semestre1 3.2

    Play Episode Listen Later Oct 2, 2014


    Formalisation en logique des prédicats des propositions aristotéliciennes typiques

    Logique A1415 Année2 Semestre1 Exercices3

    Play Episode Listen Later Oct 2, 2014


    Formalisations de logique des prédicats ne faisant intervenir que des propriétés.

    Logique A1415 Année2 Semestre1 2.1

    Play Episode Listen Later Sep 25, 2014


    Révisions de logique aristotélicienne. Quantificateur universel.

    Logique A1415 Année2 Semestre1 2.2

    Play Episode Listen Later Sep 25, 2014


    Quantificateur existentiel.

    Logique A1415 Année2 Semestre1 Tableaux2

    Play Episode Listen Later Sep 25, 2014


    Révisions de logique aristotélicienne. Quantificateurs.

    Logique A1415 Année2 Semestre1 Exercices2bis

    Play Episode Listen Later Sep 25, 2014


    Formalisation des propositions aristotéliciennes typiques à l'aide de quantificateurs.

    Logique A1415 Année2 Semestre1 Exercices1

    Play Episode Listen Later Sep 18, 2014


    Exercices de révision: logique aristotélicienne

    Logique A1415 Année2 Semestre1 Exercices2

    Play Episode Listen Later Sep 18, 2014


    Exercices de révision: reconnaître des propositions de même contenu

    Logique A1415 Année2 Semestre1 1.1

    Play Episode Listen Later Sep 18, 2014


    Généralités.

    Claim HLPH312. Logique aristotélicienne, logique des prédicats.

    In order to claim this podcast we'll send an email to with a verification link. Simply click the link and you will be able to edit tags, request a refresh, and other features to take control of your podcast page!

    Claim Cancel