Cartesian Intuitionism for Program Synthesis

Marta Franova 1, *
* Auteur correspondant
1 Apprentissage et Optimisation
LRI - Laboratoire de Recherche en Informatique
Résumé : Cet article présente deux approches possibles à la découverte scientifique, la Newtonienne et la Cartésienne. L'article explique la différence principale entre ces deux styles et souligne l'importance de chacun d'entre eux. Sa contribution scientifique majeure est qu'il présente l'approche Cartésienne moins connue et les problèmes principaux qui peuvent être résolus par elle, à la lumière de notre recherche dans la Synthèse de Programmes. L'article est ainsi lié au cadre créatif de modélisation des mécanismes du raisonnement humain, de modèles cognitifs et informatiques, aussi bien que la modélisation de mécanismes mentaux en informatique.
Type de document :
Communication dans un congrès
Cognitive 2013, May 2013, Valence, Spain. 2013
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00862117
Contributeur : Marta Franova <>
Soumis le : lundi 16 septembre 2013 - 09:55:11
Dernière modification le : mardi 24 avril 2018 - 13:50:51
Document(s) archivé(s) le : vendredi 20 décembre 2013 - 13:41:22

Fichier

cognitive_2013_5_40_40041_publ...
Accord explicite pour ce dépôt

Identifiants

  • HAL Id : hal-00862117, version 1

Collections

Citation

Marta Franova. Cartesian Intuitionism for Program Synthesis. Cognitive 2013, May 2013, Valence, Spain. 2013. 〈hal-00862117〉

Partager

Métriques

Consultations de la notice

270

Téléchargements de fichiers

130