Recherche

Introduction à la logique standard. Calcul des propositins, des prédicats et des relations

Rédacteurs

Dossiers

ActuaLitté

Dossier

Présidentielle 2022 : les propositions des candidats pour le livre

L'élection présidentielle française, dont les deux tours se dérouleront le 10 et le 24 avril 2022, désignera l'homme ou la femme qui prendra la tête de l'État français pour les cinq années à venir. La profusion de prétendants et prétendantes signifie aussi un certain nombre de propositions pour convaincre, notamment dans le domaine de la culture et en particulier pour le livre.

ActuaLitté

Dossier

Albums, romans : une sélection de 20 livres jeunesse pour Noël 2020

La crise sanitaire a contraint les librairies à fermer leurs portes depuis fin octobre dernier. Mais l’envie de lire est toujours là, car les livres sont le meilleur moyen de s’évader, d’apprendre, de se cultiver, de réfléchir, de rire aussi, à tous les âges et en famille.

ActuaLitté

Dossier

Chez Label Emmaüs, des livres à petits prix et de la solidarité

Sur la plateforme Label Emmaüs, un impressionnant catalogue de plus de 2 millions de livres d'occasion est référencé par des personnes en insertion professionnelle. Des livres qui proviennent des dons faits par des particuliers aux diverses structures Emmaüs et ressourceries réparties sur le territoire.

ActuaLitté

Dossier

Les mots en boite : le livre et ses secrets de cuisine

Capter l’information au mieux, donner la parole aux professionnels, de sorte qu’ils puissent raconter, expliquer, commenter : voilà tout l’enjeu de cette nouvelle émission. Dans la lignée des podcasts réunissant interviews ou chroniques d’albums jeunesse, avec Vois Lis Voix Là, ActuaLitté poursuit son exploration des territoires médiatiques avec la voix. Les Mots en boîte.

ActuaLitté

Dossier

La librairie et le Label Lir : les raisons de la colère

Une étude réalisée conjointement par le ministère de la Culture et de la Communication, le Syndicat de la librairie française et le Syndicat national de l’édition, le rapport de la mission « Livre 2010 » et celui d’Antoine Gallimard, remis au cours de l’année 2007, ont souligné la fragilité de la situation économique des librairies indépendantes et préconisé de faire du maintien et du développement de ces entreprises une des priorités de la politique du livre. 

ActuaLitté

Dossier

DC Comics, la place forte de Batman, Superman et la Ligue des Justiciers

Batman, Superman, Wonder Woman, Green Lantern, Aquaman, et les vilains Harley Quinn, Lex Luthor, Ra's al Ghul ou encore le Joker... La galerie des personnages de DC Comics donne le vertige tant les identités sont fortes et les profils variés : la maison d'édition américaine, créée en 1934 par Malcolm Wheeler-Nicholson, un ancien militaire, n'était pourtant pas spécialisée dans les super-héros à ses débuts.

Extraits

ActuaLitté

Philosophie

Introduction à la logique standard. Calcul des propositins, des prédicats et des relations

La logique a acquis au XXe siècle un statut déterminant: elle n'est pas seulement l'outil privilégié de l'Intelligence Artificielle; elle s'impose aussi dans le parcours des philosophes, des mathématiciens, des économistes, des juristes... Le présent ouvrage s'adresse à tous ceux qui veulent s'initier à la logique contemporaine. Il propose en trois temps (1. calcul des propositions; 2. calcul des prédicats; 3. calcul des relations) un exposé complet et pédagogique de ses fondements. Il permet, enfin, au lecteur de mettre en oeuvre ses connaissances au moyen d'exercices corrigés et commentés.

10/2011

ActuaLitté

Epistémologie

Introduction à la logique standard. Calcul des propositions, des prédicats et des relations

La logique a acquis au xxe siècle un statut déterminant : elle n'est pas seulement l'outil privilégié de l'Intelligence Artificielle ; elle s'impose aussi dans le parcours des philosophes, des mathématiciens, linguistes, économistes, juristes, médecins, etc. Le présent ouvrage s'adresse à tous ceux qui veulent s'initier à la logique contemporaine. Il ne présuppose aucune connaissance particulière et introduit progressivement opérateurs, concepts et méthodes à l'aide d'exemples simples. Il propose en trois temps (1. calcul des propositions ; 2. calcul des prédicats ; 3. calcul des relations) un exposé complet et pédagogique de ses fondements. Il permet, enfin, au lecteur de mettre en oeuvre ses connaissances au moyen d'exercices corrigés et commentés. Complété par un glossaire, il comprend en outre de nombreuses références bibliographiques pour approfondir les points abordés.

03/2022

ActuaLitté

Logique mathématique

Logique mathématique. Tome 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats

Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Daniel lascar Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans ce premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Le second est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et aux théories des ensembles et des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maitriser les différentes notions exposées. Directeur de recherches au CNRS. L'ouvrage, n'exigeant aucune connaissance préalable en logique, se destine principalement aux étudiants en licence et master de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'Informatique, ainsi que les chercheurs et les ingénieurs de recherche en Informatique.

02/2021

ActuaLitté

Théâtre

La der des ders

Manipulation, soumission ou incrédulité : la guerre comme en 14, d'un petit village du bord de Marne jusqu'aux tombeaux ouverts du front... " Ce que j'ai pu consommer de Bretons... " disait Nivelle sans la moindre émotion, oubliant un peu vite que dans la poitrine de chacun d'entre eux, battait un coeur d'homme, qui avait tout autant que le sien le droit de continuer de battre... A la veille du centenaire de cette grande boucherie de notre histoire nationale que fut la guerre de 1914-18, Alain Roué dénonce avec un humour grinçant la façon dont une fois de plus l'Etat s'est permis de consommer à souhait la vie de centaines de milliers d'hommes. C'est sous la forme d'une pièce en cinq tableaux que l'auteur nous livre cette " Der des ders ", qui donne à réfléchir sur ces mots de liberté, d'égalité et de fraternité dont notre république semble si fière. Un bel hommage aux poilus sacrifiés le plus souvent inutilement, par des officiers parfois incompétents, à la botte de politiciens trop souvent cyniques et carriéristes.

06/2014

ActuaLitté

Mathématiques

Le calcul des tresses. Une introduction, et au-delà

Les tresses servent-elles uniquement à faire de belles coiffures et de jolis dessins, ou recèlent-elles aussi une structure cachée digne d'intérêt ? Comme la formulation le laisse deviner, le but de ce petit livre est de montrer qu'il existe toute une théorie des tresses, fondée sur des intuitions venues de la topologie, de l'algèbre, et de la géométrie, et se prolongeant en de multiples ramifications, avec même des applications possibles en crytographie. Un accent particulier est mis sur les aspects effectifs et la construction d'algorithmes qui constituent un véritable calcul des tresses à la fois semblable et très différent de celui des nombres. Le point de vue retenu ici est d'explorer le monde des tresses en ne supposant aucune connaissance au-delà d'une première année d'université, et de fournir pour toutes les affirmations proposées à la fois des explications heuristiques et des démonstrations précises. Un grand choix d'exercices complète le texte, avec des solutions disponibles sur internet.

07/2019

ActuaLitté

Physique, chimie

Introduction à la mécanique non linéaire. Calcul des structures par éléments finis

Les progrès réalisés en informatique ont contribué à une utilisation sans cesse des Matériaux et Mécaniques croissante des programmes de calcul par éléments finis. Le non linéaire a envahi les bureaux d'études et lors du dimensionnement, on peut être confronté à de grands déplacements, du flambage, de la plasticité, du contact... La raison en est relativement simple : a vouloir toujours tout optimiser, on met moins de matière qu'avant. En conséquence, les structures sont plus souples et les hypothèses de mécanique linéaire en arrivent à ne plus être valables. Cet ouvrage constitue une aide pour l'utilisateur de code éléments finis qui y trouvera dans une première partie un rappel de la mécanique linéaire, ses hypothèses et ses limites. La seconde partie constitue le coeur de l'ouvrage. On aborde divers points de la mécanique non linéaire dont le flambage, la plasticité et les outils d'analyse numérique spécifiques pour les simulations en statique ou dynamique non linéaire. On explicite, pour un élément fini triangulaire, où résident les différences entre la construction de la matrice de raideur initiale et la matrice de raideur tangente. Dans la dernière partie sont développés des exercices d'application de difficulté progressive, couvrant les différents chapitres de la seconde partie, avec une explication des modèles développés et une analyse critique des résultats obtenus.

03/2020

Tous les articles

ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté