GEOTRUST SSL CERTIFICATE
Résultat de la recherche
20 recherche sur le mot-clé 'logique symbolique et mathématique'
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Développe un calcul différentiel et intégral et montre les applications de ce calcul en théorie des systèmes logiques et en informatique : notions fondamentales du calcul différentiel booléen, applications les plus représentatives de ce calcul, [...]![]()
texte imprimé
Une approche de la logique comme description du fonctionnement valide de notre esprit est proposée. Avec une approche des techniques logiques élémentaires depuis la logique aristotélicienne jusqu'à la logique moderne, calcul des propositions et [...]![]()
texte imprimé
Décrit les nouvelles avancées de la théorie du calcul et de la logique et examine spécialement la théorie algorithmique de l'information (complexité de Chaitin-Kolmogorov) : un objet contient une grande quantité d'information s'il ne possède de [...]![]()
texte imprimé
Constitue le cours de base des étudiants en sciences et en philosophie. La présentation de la logique formelle dans son contexte historique est accompagnée d'un exposé très clair des notions syntaxiques et sémantiques nécessaires au calcul des é[...]![]()
texte imprimé
René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur | Paris : Dunod | Sciences sup | 2001Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite de la théorie de la démonstration. Des énoncés d'exercices sont proposés en fin de chapitres : certa[...]![]()
texte imprimé
René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur | Paris : Dunod | Sciences sup | 2004Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite de la théorie de la démonstration. Des énoncés d'exercices sont proposés en fin de chapitres : certa[...]![]()
texte imprimé
Cette introduction, écrite en 1919, est une tentative pour reconstruire les mathématiques en tirant la leçon des paradoxes. L'auteur réalise une présentation non technique de cette philosophie mathématique qu'est le logicisme.![]()
texte imprimé
Richard Lassaigne, Auteur ; Michel de Rougemont, Auteur | Paris : Hermès science publications | Traité des nouvelles technologies, ISSN 1158-3509 | 1995Consacré à la théorie de la complexité et à la caractérisation logique des classes de problèmes de décision et de calcul. Les méthodes utilisées proviennent directement de la recherche récente en ce domaine. L'éventail des sujets traités va des [...]![]()
texte imprimé
Tente d'expliquer la notion de logique interne en mathématiques. Dégage le contenu de cette logique dans une perspective contemporaine. Traite également du contenu mathématique des notions d'indéfini et d'indéterminé de Fermat et Kronecker, avan[...]![]()
texte imprimé
Jacques Zahnd, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | Informatique | 2003L'informaticien doit savoir raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, etc. Ce manuel enseigne les techniques de bases pour effectuer ces raisonnements en appliquant des règles pr[...]