60 résultats : 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 4 sur 6
résultats 31 à 40
UNIT
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
UNIT
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)
UNIT
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)
UNIT
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)
UNIT
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)
UNIT
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)
UNISCIEL (unisciel)
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
Canal-U
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.
UNIT
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/
UNIT
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