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-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
Format
:
Document HTML
Auteur
:
Ganascia Jean-Gabriel
Thème
:
Mathématiques
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
Format
:
video/mp4
Auteur
:
Silva Alexandra
Thème
:
Mathématiques, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, doctorat
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
Format
:
Document HTML
Auteur
:
JAUME Mathieu, Mounier Isabelle
Thème
:
Mathématiques, Logique
Type de la ressource pédagogique
:
cours / présentation, autoévaluation, exercice, liste de références
Niveau
:
enseignement supérieur, licence
Public
:
apprenant
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
Format
:
Document HTML
Auteur
:
JAUME Mathieu, Mounier Isabelle
Thème
:
Mathématiques, Logique
Type de la ressource pédagogique
:
cours / présentation, autoévaluation, exercice, liste de références
Niveau
:
enseignement supérieur, licence
Public
:
apprenant
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
Format
:
Document HTML
Auteur
:
JAUME Mathieu, Mounier Isabelle
Thème
:
Mathématiques, Logique
Type de la ressource pédagogique
:
cours / présentation, autoévaluation, exercice, liste de références
Niveau
:
enseignement supérieur, licence
Public
:
apprenant
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
Format
:
Document HTML
Auteur
:
Delahaye Jean-Paul
Thème
:
Mathématiques
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
Format
:
Document HTML
Thème
:
Mathématiques
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
Format
:
Document HTML
Auteur
:
Shasha Dennis
Thème
:
Mathématiques
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
Format
:
Document HTML
Auteur
:
Shasha Dennis
Thème
:
Mathématiques
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
Format
:
Document HTML
Auteur
:
Werner Benjamin
Thème
:
Mathématiques
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
Format
:
Document HTML
Auteur
:
JAUME Mathieu, Mounier Isabelle
Thème
:
Mathématiques, Logique
Type de la ressource pédagogique
:
cours / présentation, autoévaluation, exercice, liste de références
Niveau
:
enseignement supérieur, licence
Public
:
apprenant
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
Format
:
Document HTML
Auteur
:
Trentesaux Damien
Thème
:
Mathématiques
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur
Public
:
apprenant
Afficher section
2
sur 2