GEOTRUST SSL CERTIFICATE
Détail de l'indexation
|
|
162 Ouvrages de la bibliothèque en indexation 160 (22)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Les outils de base et les méthodes formelles permettant de traiter les problèmes essentiels rencontrés depuis la définition d'un système jusqu'à sa réalisation.
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é
Olivier Bloch, Metteur en scène, réalisateur ; Bernard Balan, Metteur en scène, réalisateur ; Paulette Carrive, Metteur en scène, réalisateur | Paris : Méridiens-Klincksieck | Philosophie | 1988Etudes sur la notion de développement aux 17e et 18e siècles.
texte imprimé
La pensée logique représente le soubassement de toutes les connaissances scientifiques, car elle permet la structuration logique des phénomènes, leur reproduction et leur maîtrise. Etudie les bases mathématiques et scientifiques dans l'unité de[...]
texte imprimé
Réflexions sur des faits pris au hasard dans notre façon de vivre dans une société où se manifestent souvent incohérences, contradictions et non-sens. Sans relation entre eux, les textes traitent du manque de logique dans la société et évoquent [...]
texte imprimé
Thierry Lucas, Auteur ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur | Bruxelles : De Boeck | Démarches de pensée, ISSN 1379-5287 | 2005Présente la logique des propositions et la logique des prédicats du premier ordre : exemples de base abordés de façon informelle, présentation du langage formel, présentation de sa sémantique, définition de forme correcte du raisonnement, études[...]
texte imprimé
texte imprimé
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é
Retrace l'histoire d'un long débat entamé en 1978 entre l'auteur et John Searle autour de quelques grandes questions : rhétorique, logique et linguistique, possibilité d'une philosophie ou d'une science de langage, possibilité du sens, de la réf[...]
texte imprimé
texte imprimé
Un examen de l'activité du chercheur et du chargé de cours de logique en Afrique noire, et un essai d'analyse logique et rhétorique du discours africain écrit et oral.
texte imprimé
texte imprimé
François Lepage, Metteur en scène, réalisateur ; Serge Lapierre, Metteur en scène, réalisateur | Paris : Vrin | Analytiques | 2000L'ouvrage se compose en trois parties. Les 3 premiers chapitres reprennent et expliquent la grammaire universelle de Montague, les 5 chapitres suivants forment une étude sur la logique partielle. Les 2 derniers appliquent ce qui précède à l'élab[...]
texte imprimé
Robert Blanché, Auteur ; Jacques Dubuc, Auteur | Paris : Armand Colin | Collection U, ISSN 0750-7763 | 1996Expose les cheminements de cette science et précise les apports successifs des philosophes et des mathématiciens.
