60 résultats : Logique

Recherche en cours

Par mots-clef = Logique

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

60 résultats

page 5 sur 6

résultats 41 à 50

Structuralisme dynamique et sémiotique

Description : Jean PETITOT est directeur d'études au Centre d'Analyse et de Mathématique Sociale (CAMS) de l'Ecole des Hautes Etudes en Sciences Sociales (EHESS) et directeur du CREA, Ecole Polytechnique. Ses domaines de recherche portent sur les modèles dynamiques en sciences cognitives et l'épistémologie ...

Mots clés : neuroscience, Linguistique théorique, Sémiotique, logique et mathématique, Sémiotique cognitive, Théorie sémiotique et sémiotique générale, Epistémologie, théorie de la connaissance, phonologie, psychologie cognitive, sémantique, linguistique cognitive, Petitot4

Date : 18-06-2003

Structuralisme dynamique et sémiotique

Ajouter à mon panier

Accéder aux documents

Six questions clés de philosophie des sciences

Description : La philosophie des sciences et sa place dans la démarche scientifique. Le développement des sciences et de leurs applications appelle une démarche réflexive qui est fondamentale dans toute formation universitaire. L’initiative proposée ici consiste à donner à des étudiants une première approche ...

Mots clés : philosophie des sciences, épistémologie, causalité, genre humain, logique, théorie scientifique, principe de réfutabilité, Karl Popper, Thomas Samuel Kuhn, mathématiques, esprit, âme, matière, paradigme

Date : 2012

Droits : Licence Creative Commons : Paternité-Pas d'Utilisation Commerciale-Pas de Modification 2.0 France

Six questions clés de philosophie des sciences

Ajouter à mon panier

Accéder au document

La logique est-elle barbante ? (La philo en petits morceaux : épisode 6)

Description : Ce sixième épisode met en scène le paradoxe de Russel, communément appelé le paradoxe du barbier, ainsi que sa résolution par les logiciens au début du 20ème siècle. Le lien entre la logique et les mathématiques, ainsi que l'enjeu de fondation liant la première aux secondes, sont ainsi abordés. ...

Mots clés : philosophie des sciences, logique, paradoxe

Date : 2011

Droits : Licence Creative Commons : Paternité-Pas d'Utilisation Commerciale-Pas de Modification 2.0 France

La logique est-elle barbante ? (La philo en petits morceaux : épisode 6)

Ajouter à mon panier

Accéder au document

Introduction à la logique (Cours : Six questions clés de philosophie des Sciences, 5/6)

Description : La logique est- elle barbante ? : En s’appuyant essentiellement sur le paradoxe de Russel, communément appelé le « paradoxe du barbier », l’animation introduit un problème de logique qui a interrogé les plus grands mathématiciens et logiciens au début du 20 ème siècle. Amirouche Moktefi Chercheur ...

Mots clés : logique, paradoxe de Russel, paradoxe du barbier

Date : 2012

Droits : Licence Creative Commons : Paternité-Pas d'Utilisation Commerciale-Pas de Modification 2.0 France

Introduction à la logique (Cours : Six questions clés de philosophie des Sciences, 5/6)

Ajouter à mon panier

Accéder au document

Questions clés en philosophie des sciences

Description : Cette collection aborde la thématique de la philisophie des sciences et de sa place dans la démarche scientifique. Elle se compose en 12 parties : - La démarcation : Alors, scientifique ou pas ? - La causalité - Mathématiques et réalités - Changements de paradigme - Introduction à la logique - L'âme, ...

Mots clés : Philosophie des sciences, Epistémologie, Causalité, Genre humain, Ame, Paradigme, Connaissance, Logique, Pensée, Machines, Esprit, Matière

Date : 2019

Droits : Licence Creative Commons : Paternité - Pas d'Utilisation Commerciale - Partage à l'identique 4.0 France

Questions clés en philosophie des sciences

Ajouter à mon panier

Accéder au document

Intermittence, logique de site et conscience ouvrière : aux fondements de la résistance des dockers à la subordination salariale au 20e siècle.

Description : Michel PIGENET, Université Paris 1-Panthéon-Sorbonne, Centre d’Histoire Sociale du XXème siècle Intermittence, logique de site et conscience ouvrière : aux fondements de la résistance des dockers à la subordination salariale au 20e siècle

Mots clés : conditions de travail, ouvier, rapports sociaux, michel pigenet, intermittence, logique de site, conscience ouvrière, dockers

Date : 16-01-2017

Droits : Droits réservés à l'éditeur et aux auteurs. CC BY NC SA

Intermittence, logique de site et conscience ouvrière : aux fondements de la résistance des dockers à la subordination salariale au 20e siècle.

Ajouter à mon panier

Accéder aux documents

Introduction à la logique

Description : Ce cours a pour but d'introduire la notion de logique en programmation. Voici les notions abordées : * définition de la logique, * calcul des propositions (si ... et ... alors...), * les preuves, * le calcul des prédicats, * la logique intuitionniste * le lambda-calcul.

Mots clés : logique, langage formel, algèbre Boole, calcul proposition, algorithme de décision, preuve, calcul prédicat, logique intuitionniste, lambda calcul, fuscia

Date : 01-09-2009

Droits : Ressource en accès libre.

Introduction à la logique

Ajouter à mon panier

Accéder au document

En toute logique : une origine de l’ordinateur

Description : L’ordinateur résout toutes sortes de problèmes n’ayant aucun lien apparent entre eux. Comment, à travers les siècles, s’est développé le principe à partir duquel a pu être imaginée une telle machine universelle ?

Mots clés : ordinateur, logique mathématique, théorie des ensembles, machine de Turing, problème de la décision, histoire de l'informatique, fuscia

Date : 06-02-2006

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

En toute logique : une origine de l’ordinateur

Ajouter à mon panier

Accéder au document

Logique : Portes logiques. (Physique et simulations numériques - Electronique)

Description : L'auteur de ce site propose une simulation numérique (applet) pour simuler les différentes portes logiques et tracer leurs tables de vérité. L'applet permet de sélectionner un type de porte et de changer l'état des entrées.

Mots clés : électronique, logique, physique, simulation numérique, porte logique, signal logique, Boole, table de vérité, circuit intégré, TTL, transistor, transistor bipolaire, MOS, transistor à effet de champ, circuit, applet

Date : 01-02-2001

Droits : Cette ressource est accessible à tous sous un contrat Creative Commons (Paternité-Pas d'utilisation commerciale-Pas de modification) http://creativecommons.org/licenses/by-nc-nd/2.0/fr/ .

Logique : Portes logiques. (Physique et simulations numériques - Electronique)

Ajouter à mon panier

Accéder au document

Logique : Additionneur. (Physique et simulations numériques - Electronique)

Description : L'auteur de ce site propose une simulation numérique (applet) pour simuler un additionneur binaire et établir la table de vérité. L'applet présente un circuit qui utilise un assemblage de portes NAND.

Mots clés : électronique, logique, physique, simulation numérique, additionneur, table de vérité, microprocesseur, NAND, circuit, applet

Date : 01-02-2001

Droits : Cette ressource est accessible à tous sous un contrat Creative Commons (Paternité-Pas d'utilisation commerciale-Pas de modification) http://creativecommons.org/licenses/by-nc-nd/2.0/fr/ .

Logique : Additionneur. (Physique et simulations numériques - Electronique)

Ajouter à mon panier

Accéder au document

Rebondir