Recherche simple :

  •    Sujet : Logique
  • Aide
  • Eurêkoi Eurêkoi

Documents en rayon : 690

Voir tous les résultats les documents en rayons

Résumé : Les auteurs reviennent sur la période d'avant l'algèbre, pendant laquelle les calculs se faisaient sur la base d'une méthode utilisant une réponse fausse, sa comparaison avec la vraie réponse et un raisonnement de proportionnalité entre les deux. ©Electre 2022

Résumé : En travaillant sur les énoncés incohérents ou contradictoires, les logiques paraconsistantes remettent en cause la cohérence comme critère de vérité. Réunissant des textes phares de l'une des têtes de file du mouvement paraconsistant moderne, cet ouvrage introduit aux problématiques qu'il soulève. ©Electre 2022

Résumé : C'est autant un manuel d'introduction à la logique standard contemporaine qu'une réflexion théorique sur l'utilité et les limites de la logique pour la philosophie. Sont exposés le calcul des propositions (et la métathéorie sur eux), de la syllogistique traditionnelle, le calcul des prédicats, le calcul des classes et le calcul des relations. L'apport de l'école polonaise de logique est envisagé.

Résumé : Un ouvrage destiné à acquérir les connaissances pratiques approfondies en électronique et portant sur les circuits logiques combinatoires, les portes logiques étant les composants de base des circuits numériques. ©Electre 2016

Résumé : Une introduction aux logiques non classiques, c'est-à-dire aux logiques proches de celles du raisonnement humain. Ainsi sont présentées les logiques floues, les logiques modales, les logiques temporelles, les raisonnements non monotones et les raisonnements en présence d'incertitudes. Avec, à la fin de chaque chapitre, des exercices et leurs corrigés en fin d'ouvrage.

Résumé : P. T. Geach et A. J. P. Kenny éditent des textes sur lesquels A. Prior (1914-1969) travaillait depuis 1964. Y sont condensés un certain nombre de thèmes directeurs de sa philosophie de la logique et de sa philosophie de l'esprit : ce qu'on pense, ce sur quoi on pense.

Résumé : Introduction à une approche sémantique du calcul des énoncés, aux questions formelles, aux ressources des langages du 1er ordre, au calcul des prédicats, etc.

Résumé : Etudie les instruments d'une pensée claire et véridique dans l'héritage d'une tradition vivante qui remonte aux Grecs. Alterne explications théoriques et applications concrètes.

Résumé : Explore les divers systèmes logiques en cours et montre que la logique peut permettre un développement de la pensée. Aborde notamment, la notion d'implication logique, les infortunes de la sémantique et le point de vue structural.

Résumé : Pendant vingt siècles, la logique classique a été l'instrument de toute science et comme la propédeutique de tout savoir. L'auteur expose la logique classique selon la formulation scolatique et ses évidences de base. Il explique aussi les problèmes métaphysiques sous-jacents aux problèmes logiques.

Résumé : Ces onze textes classiques proposent un retour réflexif sur la logique et sur la signification philosophique de ses achèvements.

Résumé : Les 15 études de M. Boudot (1931-2003), réunies dans ce volume, sont réparties en trois rubriques : la première concerne le développement de la logique inductive, la deuxième illustre l'aide que la logique moderne peut apporter à la réflexion philosophique, et la troisième, relevant plus de l'histoire, montre une égale rigueur dans l'analyse.

Résumé : Etude des contraintes de cohérence, de consistance et de conséquence qui pèsent sur la pensée rationnelle, ce manuel permet de distinguer les raisonnements corrects des raisonnements fallacieux. Il propose de traiter les raisonnements comme des calculs dont la validité est assurée par le respect de règles préalablement établies. Avec un accès à la version numérique. ©Electre 2017

Résumé : Traite des aspects historiques et ludiques de la logique élémentaire, du projet Hilbert, des théorèmes de Gödel, de la logique et de l'informatique, de la logique floue, des jeux et des paradoxes.

Résumé : Panorama des grandes notions de la logique occidentale. Présentation de leur origine, de leur histoire depuis l'Antiquité, et de leurs liens avec les autres domaines de la philosophie. Au total, 1.200 entrées, structurées chacune en cinq parties : définition, analyse (formelle, philosophique ou sémantique), étymologie, analyse historique et typologie. ©Electre 2017

Résumé : Exposé des bases de la logique des propositions, des prédicats et des relations ainsi que de leur fonctionnement calculatoire. Avec, en fin d'ouvrage, des exercices corrigés et commentés. ©Electre 2022

Résumé : L'ensemble des cours proposés à l'Ecole des jeunes chercheurs en informatique mathématique, à Nice, en 2022. Les thèmes retenus relèvent de tous les domaines de l'informatique, abordés selon un angle de recherche mathématique : l'intelligence artificielle, la théorie des jeux, les systèmes dynamiques, le calcul analogique et numérique ainsi que l'aléatoire. ©Electre 2022

Résumé : Inspiré de la logique cartésienne, cet ouvrage du philosophe allemand Johannes Clauberg (1622-1665) propose à la fois une théorie de la connaissance articulée autour de la clarté et de la distinction, et une théorie de la juste interprétation.

Explorer les sujets liés :