Spelling suggestions: "subject:"cologique"" "subject:"dialogique""
101 |
Automates infinis, logique et langagesCarayol, Arnaud Caucal, Didier January 2006 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2006. / Bibliogr. p. 221-229.
|
102 |
Une nouvelle approche pour la vérification des masques des circuits intégrésJerraya, Ahmed Amine. January 2008 (has links)
Reproduction de : Thèse de docteur-ingénieur : informatique : Grenoble, INPG : 1983. / Titre provenant de l'écran-titre. Bibliogr. p. 147-153.
|
103 |
Inférence parallèle et processus communicants pour les clauses de Horn extension au premier ordre par la méthode de connexion /Ibañez, Maria Blanca. Jorrand, Philippe. January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Grenoble, INPG : 1990. / Titre provenant de l'écran-titre. Bibliogr. p. 247-252.
|
104 |
Induction automatique aspects théoriques, le système ARBRE, applications en médecine /Crémilleux, Bruno. Robert, Claudine. January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Grenoble 1 : 1991. / Titre provenant de l'écran-titre. Bibliogr. p. 178-184.
|
105 |
Machines spécialisées et programmation en logiqueBerger-Sabbatel, Gilles Anceau, François Mossière, Jacques. Della Dora, Jean January 2008 (has links)
Reproduction de : Thèse d'Etat : sciences : Grenoble, INPG : 1988. / Titre provenant de l'écran-titre. Bibliogr. p. 201-214.
|
106 |
Unification et disunification théorie et applications /Comon, Hubert. Calmet, Jacques January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1988. / Titre provenant de l'écran-titre. Bibliogr. p. 225-230.
|
107 |
Les théories logiques de CondillacRobert, Louis. January 1869 (has links)
Thèse--Faculté des lettres de Paris.
|
108 |
Die Thesis ein Beitrag zu ihrer Entstehung und Geschichte,Throm, Hermann. January 1932 (has links)
The author's dissertation, Freiburg, 1928. / Includes bibliographical references.
|
109 |
Le raisonnement conditionnel sous une contrainte de tempsLortie Forgues, Hugues 06 1900 (has links) (PDF)
Les deux articles présentés dans la thèse portent sur le raisonnement conditionnel. Ce type de raisonnement occupe une place importante dans la vie courante et implique de faire des inférences avec une prémisse majeure de type « Si P, alors Q » et l'une des quatre prémisses mineures possibles. Le Modus Ponens (MP : P est vrai) et le Modus Tollens (MT : Q est faux) sont deux formes logiques dites valides puisqu'elles conduisent à une seule conclusion possible. L'Affirmation du Conséquent (AC : Q est vrai) et la Négation de l'Antécédent (NA : P est faux) sont des formes logiques invalides puisque qu'elles ne conduisent pas à une seule conclusion possible. Dans le premier article (Lortie Forgues & Markovits, 2010), nous avons évalué une prédiction tirée d'un modèle théorique développé au laboratoire (Markovits & Barrouillet, 2002) selon lequel les gens doivent inhiber l'interférence induite par la récupération d'information qui met en doute les prémisses afin de répondre logiquement aux formes valides (MP et MT). Pour tester cette hypothèse, nous avons évalué 152 participants qui ont répondu à une série aléatoire de 36 problèmes de raisonnement conditionnel (comprenant les quatre formes logiques, MP, MT, AC, NA pour chaque prémisse majeure) à l'intérieur d'un temps limité, soit avant 8,5 secondes ou avant 12,5 secondes pour chaque problème. Les résultats démontrent qu'en réduisant le temps alloué pour faire une inférence, seulement la performance aux formes MP et MT est diminuée. La performance aux formes invalides AC et NA reste, quant à elle, stable. Ces résultats sont consistants avec le modèle proposé par Markovits et Barrouillet (2002), si on assume que la réduction du temps limite spécifiquement les ressources investies dans le processus d'inhibition. Dans le second article (Lortie Forgues & Markovits, 2012) nous avons utilisé une méthodologie similaire afin de valider un des postulats fondamentaux de la théorie des Modèles Mentaux (Johnson-Laird & Byrne, 1991, 2002), une des théories les plus influentes sur le raisonnement conditionnel. Selon celle-ci, les gens raisonnent d'abord selon le modèle initial, une représentation simple menant à l'acceptation du MP et de l'AC, et complexifient leur représentation s'ils disposent des ressources cognitives nécessaires. Aucune étude ne démontre directement l'existence du modèle initial. Pour tester cette hypothèse, nous avons réalisé trois expérimentations dans lesquelles nous avons présenté à 238 participants des inférences et limité la quantité de ressources cognitives disponibles en contraignant le temps et en manipulant le niveau de familiarité du contenu des prémisses. Dans une première expérimentation, les participants devaient résoudre des problèmes construits avec des prémisses arbitraires incluant des négations avec un temps limité de 9 s, 15 s, ou un temps illimité. Une analyse des patrons individuels de réponse a démontré qu'une proportion significative de raisonneurs répondait selon le modèle initial. Dans une seconde expérimentation, nous avons présenté des prémisses arbitraires sans négation avec un temps limité de 6 s ou 8 s. Nous avons observé une augmentation du nombre de modèles initiaux avec le temps. Finalement, dans une troisième expérimentation, nous avons présenté des prémisses familières avec un temps limité de 5 s, 7 s ou un temps illimité. Les résultats ont démontré un nombre limité de modèles initiaux dans les trois conditions de temps. Globalement, les résultats des trois expérimentations suggèrent que ce type de modèle est davantage présent quand le contenu des prémisses est arbitraire.
______________________________________________________________________________
|
110 |
Histoire(s) et détermination des concepts : Brandom lecteur de HegelBellefleur, Olivier January 2006 (has links)
Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal
|
Page generated in 0.0253 seconds