
Introduction pratique aux logiques classiques. Avec exercices corrigés
Les logiques formelles ont pour but d'étudier et de modéliser des raisonnements ; leur étude peut correspondre à un intérêt intellectuel naturel, aussi bien qu'au souhait de reproduire des raisonnements humains dans des systèmes informatiques. Cet ouvrage, construit à partir d'un enseignement destiné à des élèves-ingénieurs, a été élargi pour concerner un plus large public. Il traite principalement de la logique des propositions et de la logique des prédicats d'ordre un ; il se concentre sur les aspects pratiques, en particulier les méthodes de formalisation et de validation de raisonnements. Un survol d'autres logiques classiques (prédicats d'ordre un avec égalité, prédicats d'ordre supérieur à un) est suivi d'une synthèse des aspects théoriques. Ce livre propose de nombreux exemples et exercices, inspirés de domaines variés. Il utilise, en particulier, des exemples sur les compositeurs de musique, les arts plastiques, la médecine, sans en considérer les aspects techniques, mais en restant à un niveau général. D'autres exemples concernant les chats, les chiens, les souris... Présentent un certain aspect ludique. La plupart des exercices sont corrigés de manière détaillée.
| Nombre de pages | 204 |
|---|---|
| Date de parution | 09/09/2010 |
| Poids | 356g |
| Largeur | 156mm |
| SKU: | 9782705670856 |
| wmi_id_distributeur: | Not set |
| Is Salable (from plugin): | Yes (In Stock) |
| Is Salable (direct MSI check): | Yes (In Stock) |
| Distributor Name: | Par défaut |
| Availability Value: | 0 |
| Availability Label: | Epuisé |
| Match Result: | |
| Default Availability (Config): | 0 - Epuisé |
| Raw Config Mapping: |
Array
(
[_1772119784121_121] => Array
(
[id] => 12707000
[name] => 12707000
[availability] => 1
[activation_attribute] => 1
)
)
|
| EAN | 9782705670856 |
|---|---|
| Titre | Introduction pratique aux logiques classiques. Avec exercices corrigés |
| Auteur | Bernadet Maurice |
| Editeur | HERMANN |
| Largeur | 156 |
| Poids | 356 |
| Date de parution | 20100909 |
| Nombre de pages | 204,00 € |
Pourquoi choisir Molière ?
Du même auteur
-

POETIQUE VERLAINE - EN SOURDINE MA MANIERE
BERNADET ARNAUDRésumé : En vers comme en prose, l'oeuvre de Verlaine trouve son unité dans une poétique de la manière inséparable de la "sourdine". Entre manie et gaucherie, cette poétique fédère aussi bien les figures du mélancolique et de l'élégiaque que celles, plus déviantes, du criminel, du mystique ou du bisexuel.ÉPUISÉVOIR PRODUIT59,00 € -

Rimbaud, l'invisible et l'inouï. Poésies Une saison en enfer (1869-1873)
Bernadet ArnaudLinvisible et linouï. Rimbaud définit en ces termes, dans sa lettre du « Voyant » en mai 1871, sa quête de lécriture. En vérité, cette aventure a commencé, au moins un an plus tôt, sous le signe du romantisme et du Parnasse, avant den congédier rapidement les divers modèles. Elle ne conçoit dautre poésie quouverte sur linconnu, toujours « en avant », selon un devenir qui la conduit au vers libéré puis au vers libre et aux proses (Une saison en enfer, Les Illuminations). Si les « inventions dinconnu » réclament des « formes nouvelles », cest que lart est le lieu où sexpérimentent des modes de voir et dentendre jusque-là inédits. Ce parcours nest pas métaphysique. Une saison en enfer est la preuve, au contraire, que le sujet affronte ici la « réalité rugueuse » du monde. Rien de plus concret et de plus matériel que cette poésie lorsquelle sengage dans la fantasmagorie et lhallucination. Il y a un goût Rimbaud, qui est le trait représentatif de sa manière, lié à la force du corps. Impensable sans le « dérèglement de tous les sens », ce corps libère la pensée et la langue. Sil parodie les référents majeurs de la tradition lyrique, il ébranle aussi la religion et le pouvoir (du second Empire à la troisième République). Telle est léthique rimbaldienne que les spécialistes réunis dans cet ouvrage sattachent à décrire pour en dégager le sens et la valeur. Attentifs à la matérialité dune « uvre » au destin éditorial peu commun, ils en développent les enjeux esthétiques, formels, idéologiques, et proposent une série dexercices techniques plus spécifiquement destinés à la préparation des agrégations de Lettres.ÉPUISÉVOIR PRODUIT15,00 € -

Le Coffret
Bernadet NadineRichard, père de famille, apprend qu'il hérite d'une grand-tante de Bretagne dont il ignorait l'existence jusqu'à ce jour. Un manoir, de l'argent, un terrain et... un mystérieux coffret ancien, dénué de serrures, dont il doit découvrir le secret dans le mois, condition sine qua non du testament. Archéologue de profession, il relève le défi. Mais il est loin d'être au bout de ses surprises... En levant le voile sur la part d'ombre de Catherine de Médicis, Nadine Bernadet nous plonge dans une aventure aux confins de l'étrange, entre sorcellerie et chasseurs de trésors. En jonglant entre les genres, mêlant thriller et histoire, elle signe un roman d'aventure entraînant et efficace.ÉPUISÉVOIR PRODUIT28,05 € -

Fêtes galantes, Romances sans paroles précédé de Poèmes saturniens de Paul Verlaine
Bernadet ArnaudUn essai. Etude approfondie d'un grand texte classique ou contemporain par un spécialiste de l'oeuvre: approche critique originale des multiples facettes du texte dans une présentation claire et rigoureuse. Un dossier. Bibliographie, chronologie, variantes, témoignages, extraits de presse. Eclaircissements historiques et contextuels, commentaires critiques récents. Un ouvrage efficace élégant. Une nouvelle manière de lire.ÉPUISÉVOIR PRODUIT14,50 €
Du même éditeur
-
Ecrits et propos
Soulages Pierre ; Le Lannou Jean-MichelRésumé : " Une peinture est un tout organisé, un ensemble de formes (lignes, surfaces colorées...) sur lequel viennent se faire ou se défaire les sens qu'on lui prête. Le contenu de cet ensemble n'est pas un équivalent d'émotion, de sensation, il vit de lui-même. Ces relations entre les formes sont un transfert de relations de l'univers à une autre signification. Dans ce qu'elle a d'essentiel la peinture est une humanisation du monde. " Pierre Soulages (1948) Voici réunis, dans leur variété, leur constante et exemplaire rigueur, quelques-uns des textes et entretiens de Pierre Soulages. Ils explicitent pour nous son oeuvre immense.ÉPUISÉVOIR PRODUIT28,05 € -
Les nouveaux journalistes. 3e édition revue et augmentée
Lapointe Pascal ; Dupont Christophe ; Boileau JoséL'information est un service public essentiel. Sans information, comment prendre des décisions éclairées sur les enjeux de société de l'heure ? La question est devenue encore plus importante à l'heure des réseaux sociaux, qui fournissent de l'information en abondance, mais sans vérifications ni préférences pour des sources crédibles. Pour ce faire, il faut des journalistes et des médias dignes de ce nom. Comment la nouvelle génération de journalistes va-t-elle réussir à se sortir de cette situation ? Comment trouver du travail et des contrats lucratifs tandis que les médias peinent à survivre et à trouver un "modèle d'affaires " ? Que signifie concrètement devenir journaliste indépendant, ou pigiste, ou entrepreneur, dans la crise actuelle des médias ? Quelles sont les habiletés dont un "nouveau journaliste " a besoin, au-delà des compétences de base qu'on enseigne dans les écoles de journalisme ? Comment la nouvelle génération de journalistes va-t-elle réussir à maintenir la liberté de la presse à travers ce dédale ? S'ils peinent à trouver du boulot, qu'ils deviennent journalistes indépendants, les nouveaux journalistes tireront-ils leur épingle du jeu ? Cet ouvrage s'adresse aux journalistes indépendants, pigistes ou blogueurs ou aux équipes qui songent à créer un nouveau média. Il leur apportera ce temps essentiel de réflexion pour mieux saisir les enjeux de la profession et relever leurs manches, à l'heure de la communication planétaire, des algorithmes et des inquiétudes sur l'avenir de la profession.ÉPUISÉVOIR PRODUIT36,55 € -
Traumas et résilience. Leçons du tremblement de terre de 2010 en Haïti
Cénat Jude Mary ; Cyrulnik Boris ; Dérivois DanielMême si, avec plus de 200 000 morts et des dizaines de milliers de blessés, le séisme du 12 janvier 2010 a déjà suscité nombre de réflexions sur l'histoire et la population haïtiennes, on a rarement l'occasion de lire des témoignages aussi poignants ainsi qu'une fine analyse des traumatismes et de la résilience des survivants. Tout le monde s'en souvient : isolés, sans abri, sans nourriture, débordés par la dévastation et dans l'attente des secours, les insulaires ont vécu parmi les morts et avec les morts pendant de nombreuses semaines. Ces témoignages de survivants nous font précisément entrer dans cet enfer, dans le récit d'une souffrance insupportable, mais qui refuse toute attitude condescendante. Par-delà blessures et amputations, le dialogue avec l'auteur laisse lentement apparaître les voies salutaires de la résilience, une sortie proprement humaine vers la vie, comme une renaissance que donne en partage le peuple haïtien à l'humanité entière. Cela nous donne un ouvrage touchant, rigoureux et engagé. Un ouvrage édifiant.ÉPUISÉVOIR PRODUIT30,29 € -
Petite philosophie de la dépression
Lemoine Maël ; Lemoine SandrineLa dépression est-elle une vraie maladie, que seuls les psys et les docteurs savent diagnostiquer ? Peut-elle être traitée avec des médicaments efficaces ? Ou bien est-ce une sorte de "maladie imaginaire" dont ceux qui en souffrent sont des tire-au-flanc qui s'écoutent trop ? Les médicaments antidépresseurs marchent-ils, ou bien sont-ils une sorte de drogue légale qui rapporte beaucoup d'argent ? En somme, qu'est-ce réellement que la dépression, ce phénomène si répandu et pourtant si mal connu ? Dans ce petit livre ingénieux, Maël Lemoine nous aide à distinguer, à rebours des idées reçues, ce qu'est, et n'est pas, la dépression, quels sont les faits scientifiquement établis, loin du discours des philosophies feel good qui vendent un bonheur kitsch et irréaliste. Cette Petite philosophie de la dépression, qui prend au sérieux la réalité des phénomènes dépressifs, propose ainsi en creux une réflexion sur le véritable bonheur.ÉPUISÉVOIR PRODUIT11,10 €
De la même catégorie
-
Analyse MPSI/PCSI 1re année. Cours, exercices corrigés, 2e édition
Costantini GillesRésumé : Le texte écrit dans un style clair et détaillé permet à tous les étudiants, quel que soit leur niveau, de suivre pas à pas les démonstrations. De nombreuses figures facilitent la compréhension des notions abordées. Pour chaque chapitre, des questions de cours et des exercices systématiquement corrigés de façon très détaillée permettent de vérifier les acquis. Des repères historiques accompagnent la progression : les théorèmes et résultats sont datés, les sources sont indiquées et des notices biographiques évoquent les faits marquants de la vie des mathématiciens cités. L'ouvrage propose des compléments destinés aux lecteurs souhaitant un approfondissement du programme officiel. L'ouvrage intéressera également les étudiants de licence ainsi que les candidats au CAPES et à l'agrégation.ÉPUISÉVOIR PRODUIT37,50 € -
Analyse concepts et contextes. Volume 1, fonctions d'une variable, 3e édition
Stewart James ; Citta-Vanthemsche MichelineUne étude approfondie des concepts: La compréhension profonde des concepts, tel est l'objectif majeur de ce manuel. En conséquence, chaque concept est patiemment introduit et formulé verbalement, visuellement, numériquement et algébriquement avant que n'apparaisse sa définition formelle. Des exemples bien choisis préparent souvent l'énoncé des théorèmes pour justifier la pertinence de leurs hypothèses. L'apprentissage au raisonnement est soutenu par les démonstrations (parfois reportées en annexe pour ne pas perdre le fil du discours). Un apprentissage actif avec l'aide des outils de calcul: L'étudiant, devenu maître des concepts autant que des techniques, sera capable de choisir et d'utiliser les outils du calcul différentiel et intégral dans des contextes divers. L'apprentissage est favorisé par l'utilisation fréquente et à bon escient des calculatrices graphiques et/ou logiciels de calcul symbolique. Lors de chaque résolution de problèmes, l'accent est mis sur la méthode suivie ou l'activité de recherche mobilisée. Nouveautés de la 3e édition: Une édition revue et enrichie de nombreux exercices supplémentaires, ainsi qu'un site compagnon donnant accès à des compléments par rapport au livre et au logiciel TEC (Tools for EnrichingTM Calculus). Les deux volumes de cet ouvrage s'adressent aux étudiants de premier cycle universitaire qui, quelle que soit leur orientation, y trouveront des applications, tant sont divers et nombreux les domaines abordés dans les exercices.ÉPUISÉVOIR PRODUIT69,90 € -
Des mots & des maths
Tenenbaum GéraldCorps, dérivée, matrice, racine, spectre... Les mathématiques s'expriment avec le langage commun, mais qu'expriment-elles au juste ? A partir de 30 mots qui, un jour ou l'autre, nous ont tous interrogés, ce livre nous propose un voyage en quête du sens profond des mathématiques. La dérivée est certes une dérive, mais dans quel espace ? Et la racine (carrée) puise dans un autre niveau de réalité, mais lequel au juste ? La pensée la plus abstraite, même si elle est parfois contrainte d'inventer son propre vocabulaire, emprunte tout naturellement au langage ordinaire. En analysant les mots des maths aux prismes de l'histoire, de la littérature et de la linguistique, l'auteur dévoile quelque chose du rapport des mathématiques au monde profane. Loin de l'idée reçue d'une discipline réputée austère et impénétrable, une approche des mathématiques séduisante et ludique.ÉPUISÉVOIR PRODUIT23,75 € -
Maths pour les licences de Maths, Informatique, Physique, Chimie. Edition 2019
Cottet-Emard FrançoisCet ouvrage récapitule toutes les mathématiques apprises dans l'enseignement secondaire qu'il faut maîtriser pour débuter une licence scientifique à l'Université (maths, physique, chimie). Il s'inscrit dans le processus de renforcement des étudiants, en première année, dans le cadre des admissions dans ParcourSup (et les fameux OUI si). Il reprend les éléments de logique et de raisonnement, toutes les formules importantes, tous les grands théorèmes vus au lycée en algèbre, analyse, géométrie et probabilités. Chaque fiche contient : Des rappels de cours : définitions, théorèmes, formules importantes. Des points de méthodologie et des conseils. Des exemples pour illustrer les notions ou apprendre à résoudre les questions. Des exercices et leurs corrigés détaillés.EN STOCKCOMMANDER19,00 €








