Menu
Naviguer par :
Menu
Accueil
Nos ressources
Recherche avancée
Par thème
Par compétence
Par auteur
Toutes les ressources
Vous êtes ici :
Accueil
Par mots-clef
L
Logique
Déposer une
ressource
60
résultats :
Logique
Rechercher
Aide
Recherche avancée
Recherche en cours
Par mots-clef
=
Logique
Affiner ma recherche
OK
1
2
3
4
5
6
1
2
3
4
5
6
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
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 4
sur 6
résultats
31 à 40
Planifier grâce au bavardage
Description
:
Parfois il faut se mettre d’accord. À deux c’est déjà difficile, mais alors comment faire quand on est plus nombreux ? On peut tous s’appeler, c’est une bonne occasion de se donner des nouvelles, mais pour éviter tous ces appels, on peut aussi faire appel à la modélisation logique !
Mots clés
:
modélisation logique, réseau social intelligent, planification épistémique, connaissance ordre supérieur, planification multiagent, fuscia
Date
:
17-10-2016
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 savoir plus
Description complète
Planifier grâce au bavardage
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Langages logiques
Description
:
Ce cours est le premier d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente les aspects syntaxiques des langages logiques
Mots clés
:
langage logique, logique des propositions, calcul prédicat, langage sans variable, formule atomique, quantificateur, formule logique avec variables, substitution dans une formule
Date
:
10-01-2020
Droits
:
Attribution - Partage dans les mêmes conditions (CC BY-SA)
En savoir plus
Description complète
Langages logiques
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Règles de déduction sur les connecteurs
Description
:
Ce cours est le deuxième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules
Mots clés
:
langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde
Date
:
10-01-2020
Droits
:
Attribution - Partage dans les mêmes conditions (CC BY-SA)
En savoir plus
Description complète
Règles de déduction sur les connecteurs
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Cours de logique
Description
:
Ensemble de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Cours 1 : Langages logiques Cours 2 : Règles de déduction sur les connecteurs Cours 3 : Interprétation : fonctions, prédicats et connecteurs Cours 4 : Règles de déduction sur les quantifi ...
Mots clés
:
langage logique, langage formel, langage de termes, formule atomique, quantificateur, règle de déduction, connecteur, interprétation d'une formule, expression booléenne
Date
:
10-01-2020
Droits
:
Attribution - Partage dans les mêmes conditions (CC BY-SA)
En savoir plus
Description complète
Cours de logique
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Interprétation : fonctions, prédicats et connecteurs
Description
:
Ce cours est le troisième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi ...
Mots clés
:
formule logique, interprétation d'une formule, formule atomique, expression booléenne, formule satisfiable, relation de conséquence sémantique, formule valide, formule prouvable
Date
:
10-01-2020
Droits
:
Attribution - Partage dans les mêmes conditions (CC BY-SA)
En savoir plus
Description complète
Interprétation : fonctions, prédicats et connecteurs
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Interprétation : variables et quantificateurs
Description
:
Ce cours est la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et ...
Mots clés
:
interprétation d'un langage logique avec variables, règle d'introduction du quantificateur, interprétation des termes, schéma d'interprétation des formules, formule valide, relation de conséquences
Date
:
10-01-2020
Droits
:
Attribution - Partage dans les mêmes conditions (CC BY-SA)
En savoir plus
Description complète
Interprétation : variables et quantificateurs
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Introduction à la programmation en assembleur
Description
:
Ce cours s'adresse à des étudiants post-bac en informatique. Il permet d'acquérir les concepts fondamentaux de la programmation en langage "assembleur" de manière interactive. Il est accompagné d'une série d'exercices permettant au lecteur de vérifier la bonne acquisition de ces concepts. Le cours ...
Mots clés
:
assembleur, langage de programmation, langage machine, processeur, 80x86, opérations logiques, pointeurs, tableaux, matrices, codage des données
Date
:
15-07-2008
Droits
:
Licence Creative Commons de type Paternité - Pas d'utilisation commerciale - Partage des conditions initiales à l'identique
En savoir plus
Description complète
Introduction à la programmation en assembleur
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
How Semiotics unifies Human Knowledge
Description
:
Dr. Solomon MARCUS is a member of the Mathematical Section of the Romanian Academy and Emeritus Professor of the University of Bucarest. His publications have been in the field of mathematical analysis, mathematical and computational linguistics, computer science, poetics, linguistics, semiotics, ...
Mots clés
:
Théorie sémiotique et sémiotique générale, Sémiotique, logique et mathématique, Histoire de la sémiotique, Eero Tarasti
Date
:
12-06-2006
Droits
:
Droits réservés à l'éditeur et aux auteurs. Tous droits réservés.
En savoir plus
Description complète
How Semiotics unifies Human Knowledge
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
Initiation au langage Verilog
Description
:
Cette présentation est une introduction à Verilog, langage qui permet de simuler des systèmes électroniques complexes afin de tester leur validité et performances avant leur réalisation. Ce cours vous permettra d'aborder les fondamentaux du langage Verilog : les expressions et constantes, les ...
Mots clés
:
langage C, langage Verilog, logique, opération booléenne, opération relationnelle, itération, combinatoire, fuscia
Date
:
01-01-2005
Droits
:
Ce cours est diffusé sous licence Creative Common "Paternité Pas d'utilisation Commerciale Pas de Modification". Pour plus d'informations sur vos droits et devoirs concernant l'utilisation de ce cours, Cf.: http://creativecommons.org/licenses/by-nc-nd/2.0/fr/
En savoir plus
Description complète
Initiation au langage Verilog
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
La programmation par contraintes
Description
:
Grâce à elle, le programme informatique résolvant un problème peut s’écrire de manière très simple. Il s’agit simplement d’écrire les différentes contraintes que l’on souhaite voir respectées…
Mots clés
:
programmation logique, algorithme, solveur, langage haut niveau, recherche opérationnelle, propagation de contrainte, optimisation, fuscia
Date
:
20-02-2004
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 savoir plus
Description complète
La programmation par contraintes
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
1
2
3
4
5
6
Rebondir