Notre catalogue de ressources
Naviguer par :
Menu
Toutes les ressources
Nouveautés
Recherche avancée
Par thème
Par auteur
Produite par UNIT
Aide
Recherche en cours
Mathématiques inductives déductives
Nouvelle
Modifier
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
24
résultats
section 1
sur 2
résultats
1 à 12
UNIT
Alan Turing : du calculable à l?indécidable
Description
:
Peut-on tout calculer ? Toute propriété mathématique est-elle décidable ? Ces questions ont passionné les mathématiciens bien avant les premiers ordinateurs.
Date
:
19-02-2004
Description complète
Alan Turing : du calculable à l?indécidable
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Canal-u.fr
CoNeCo: Concurrency, Networks and Coinduction
Description
:
In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to study the algebraic properties of concurrent composition as an operator on programs. Orthogonally, b ...
Date
:
16-05-2019
Description complète
CoNeCo: Concurrency, Networks and Coinduction
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
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 quantificate ...
Date
:
10-01-2020
Description complète
Cours de logique
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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 q ...
Date
:
10-01-2020
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
Accéder au document
UNIT
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 qua ...
Date
:
10-01-2020
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
Accéder au document
UNIT
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.
Date
:
16-01-2008
Description complète
L?incroyable problème de Freudenthal
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
L?informatique au c?ur des limites de l?esprit
Description
:
Les concepts d?algorithmes et de programmes informatiques ont été utilisés par le logicien autrichien Kurt Gödel dans les années 1930, bien avant l?apparition du premier ordinateur afin de démontrer deux théorèmes d?une très grande profondeur, qui portent sur les limites de l?esprit et de la logique ...
Date
:
07-09-2022
Description complète
L?informatique au c?ur des limites de l?esprit
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
La minorité l?emporte
Description
:
Le Dr Jacob Ecco, le détective qui utilise des méthodes mathématiques et informatiques pour résoudre des énigmes, parviendra-t-il à résoudre ce nouveau problème ? Et vous, pourquoi n?essayez-vous pas ?
Date
:
23-04-2009
Description complète
La minorité l?emporte
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
La tour de Lego
Description
:
Connaissez-vous le Dr Jacob Ecco, mon ami omniheuriste ? Sa profession, dont il a inventé le nom, consiste à résoudre toutes sortes d?énigmes en s?inspirant des méthodes et du mode de réflexion des informaticiens et des mathématiciens. Vous aussi, essayez de résoudre celle-ci.
Date
:
04-05-2007
Description complète
La tour de Lego
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
La vérité et la machine
Description
:
Peut-on être sûr de la vérité d?une preuve ? Cette preuve de la preuve, comment l?obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
Date
:
11-12-2008
Description complète
La vérité et la machine
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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
Date
:
10-01-2020
Description complète
Langages logiques
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UVHC
Les réseaux de Petri : modèles fondamentaux
Description
:
Ce cours dispense les fondements de la modélisation en réseaux de Petri, dans le domaine des systèmes à événements discrets, par opposition aux systèmes continus. L?objectif de cette formalisation est de donner des outils d?analyse à la fois analytiques (vérification de propriétés, preuve d?invarian ...
Date
:
07-06-2006
Description complète
Les réseaux de Petri : modèles fondamentaux
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Afficher section
2
sur 2