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 3 sur 6

résultats 21 à 30

Applications (Module : Logique et langage des ensembles)

Description : Le but est de généraliser la notion de fonction numérique y=f(x)étudiée au lycée. Nous voulons généraliser cette notion de fonction à des relations entre ensembles. Nous ne parlerons plus alors de fonction, mais plutôt d'application (ou d'application ponctuelle). ...

Mots clés : ensembles, logique des ensembles, application, fonction numérique

Date : 2000

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

Applications (Module : Logique et langage des ensembles)

Ajouter à mon panier

Accéder au document

Implication (Module : Logique et langage des ensembles)

Description : Ce chapitre étudie le signe logique "implique" qui permet l'écriture formelle des théorèmes. Ce signe s'exprime à l'aide des connecteurs logiques déjà étudiés, conjonction, disjonction et négation. Nous étudierons les différentes façons d'écrire les théorèmes ainsi ...

Mots clés : ensembles, implications, logique des ensembles, langages

Date : 2000

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

Implication (Module : Logique et langage des ensembles)

Ajouter à mon panier

Accéder au document

Quantificateurs (Module : Logique et langage des ensembles)

Description : L'objet de ce cours est de présenter les signes qui dans le langage mathématique expriment la quantification, c'est à dire la quantité d'objets (aucun, certains, tous) pour lesquels une propriété est vraie, signes que l'on appelle des quantificateurs.

Mots clés : ensembles, quantificateurs, logique des ensembles

Date : 2000

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

Quantificateurs (Module : Logique et langage des ensembles)

Ajouter à mon panier

Accéder au document

Où commence le contrôle de l’Etat ? Etat-providence, migrants et police

Mots clés : sociologie, blocage des flux, processus de controle, complexité du controle migratoire, delegation territoiriale du controle, uniformité de l'espace, logique des flux, notion de frontiere, incorporation sociale, partage egalitaire, insertion, hospitalité, société, citoyenneté, urbanisme, géographie, ...

Date : 19-02-2004

Où commence le contrôle de l’Etat ? Etat-providence, migrants et police

Ajouter à mon panier

Accéder aux documents

Du rêve à la réalité des preuves

Description : Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.

Mots clés : assistant de preuve, preuve formelle, preuve de programme, logique mathématique, démonstration, complexité, fuscia

Date : 01-08-2011

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

Du rêve à la réalité des preuves

Ajouter à mon panier

Accéder au document

L’incroyable problème de Freudenthal

Description : Savoir qu’un autre ne sait pas peut nous aider à savoir ! Dans cette série d’énigmes, un bon raisonnement, fondé sur des informations en apparence insignifiantes, mène à des conclusions miraculeuses.

Mots clés : énigme, cocus de Bagdad, raisonnement par récurrence, logique, problème de Freudenthal, fuscia

Date : 16-01-2008

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

L’incroyable problème de Freudenthal

Ajouter à mon panier

Accéder au document

De la pensée naturelle à la pensée sociale

Description : La connaissance courante – dite de sens commun –, ses processus et modes de pensée qui lui correspondent ainsi que ses relations avec les comportements individuels et collectifs seront abordés au travers des notions de représentations sociales, de rumeurs et de mémoire collective. Ce premier cours ...

Mots clés : psychologie sociale, pensée sociale, pensée naturelle, logique formelle

Date : 11-01-2012

Droits : Droits réservés à l'éditeur et aux auteurs.

De la pensée naturelle à la pensée sociale

Ajouter à mon panier

Accéder aux documents

07 Langue arabe et logique grecque

Description : Session Traduction, langage et pensée philosophique Colloque L’Islam et l’Occident à l’époque médiévale. Transmission et diffusion des savoirs. (11, 12, 13 mars 2009) L’histoire du thème des rapports entre la langue arabe et la logique grecque est aussi ancien que le début des traductions du corpus ...

Mots clés : échange de savoirs, orient et occident, civilisation islamique, civilisation occidentale, moyen âge, philosophie arabe, langue arabe, logique grecque

Date : 11-03-2009

Droits : Droits réservés à l'éditeur et aux auteurs.

07 Langue arabe et logique grecque

Ajouter à mon panier

Accéder aux documents

Aspects sémantiques et algorithmiques du vivant

Description : La transposition des concepts informatiques de programmation et de vérification, à la modélisation et l'analyse des processus biochimiques au sein de la cellule, ouvre un nouveau champ de recherche pour la maîtrise de la complexité et la compréhension des phénomènes en biologie cellulaire. Tandis ...

Mots clés : Modélisation biologie, biologie de systèmes, cycle cellulaire, sémantique formelle, sémantique des modèles, logique temporelle, algorithme évolutionnaire, recherche paramètres, programmation, modèle réaction, SBML, fuscia

Date : 13-01-2011

Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Aspects sémantiques et algorithmiques du vivant

Ajouter à mon panier

Accéder au document

Calculer / Penser

Description : Comment s’articulent calculer et penser ? Ce sujet - ou l’une de ses déclinaisons - est proposé à la réflexion des élèves de terminale en cours de philosophie.

Mots clés : raisonnement, logique mathématique, algorithme, cognition, neurosciences, fuscia

Date : 28-10-2008

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

Rebondir