Recherche

Logic

Dossiers

Extraits

ActuaLitté

Policiers

Loïc

Un couple marié meurt dans un tragique accident de voiture, laissant derrière lui un garçon de treize ans, Loïc, et sa soeur Gwendoline, huit ans. En fuyant leur orphelinat, les enfants deviennent les témoins d'un meurtre. En grandissant ensuite dans leur famille d'accueil, l'adolescent s'intéresse au métier de son nouveau père, pilote de course, et brille bientôt en compétition. Mais son passé le rattrape : l'assassin le retrouve, et kidnappe la fillette pour jouer les maîtres chanteurs. Un agent de la NSA se saisit de l'affaire et s'en prend au jeune homme pour ses erreurs passées. Loïc est alors forcé de se soumettre à ses moeurs esclavagistes et finit par disparaître avec sa soeur. Au menu de ce récit, courses-poursuites et catastrophes en série.

12/2019

ActuaLitté

Philosophie

Tractatus logico-philosophicus

Le Tractatus logico-philosophicus de Ludwig Wittgenstein, qu'il se trouve ou non donner la vérité dernière sur les matières qu'il traite, mérite certainement, par son ampleur, son étendue et sa profondeur, d'être considéré comme un événement, important dans le monde philosophique. Débutant à partir des principes du symbolisme et des rapports qui sont nécessaires entre les mots et les choses dans tout langage, il applique le résultat de ses recherches aux différents domaines de la philosophie traditionnelle, montrant dans chaque cas comment la philosophie traditionnelle et les solutions traditionnelles naissent de l'ignorance des principes du symbolisme et du mauvais usage du langage. La structure logique des propositions et la nature de l'inférence logique sont d'abord traitées. Ensuite, nous passons successivement à la théorie de la Connaissance, aux principes de la Physique, à l'Ethique et enfin à la Mystique. Bertrand Russell

02/2001

ActuaLitté

Littérature française

Lily sans logis

1860. Sans famille, sans fortune, la jeune Lily Rossignol fuit son passé. Condamnée à l'errance, elle emporte le seul bien qui lui reste : un phénomène de foire. Malgré les périls auxquels s'expose une femme circulant seule, elle entreprend un périple à travers montagnes et forets jusqu'au lac Léman. Le jour, elle vade vogue en kermesse, de fête foraine en marché avec une idée fixe : maintenir en vie le caprice de la Nature qu'elle exhibe. Mais à quel prix est la survie de son gagne-pain ? Aux prises avec un mystérieux demi-monsieur et un anatomiste influent qui cherchent à tirer profit de sa naïveté, Lily peut compter sur l'aide de Madame Agrippine, aubergiste, et de la Louve blanche, danseuse de charme. Inspiré d'une histoire vraie, Lily sans logis est un voyage initiatique qui emporte et serre le coeur mais où, chez cette fille si frêle, l'héroïne se réveille.

03/2019

ActuaLitté

Droit

Logic: Mathematics, Language, Computer Science and Philosophy

In Logic Programming (25 and 26) the language of logic is used as a declarative programming language. Prolog uses resolution as its underlying proof mechanism. The logical structure of relational databases is explained (27) in set theoretical terms and it is shown how the language of set theory can be used as a Structured Query Language (SQL). Computability, Undecidability and Complexity are treated in sections 28, 29, and 30, respectively, in terms of Turing machines. The undecidability of the validity problem for predicate logic and the NP-completeness of the satisfiability problem for propositional logic are shown in a similiar way. Chomsky's notion of grammar and its relation to the notion of automation is presented in section 31. Both untyped and typed lambda calculus are treated in sections 32 and 33, respectively. The role epistemic logic can play in the description of distributed systems is explained (34). In section 35 and 36, temporal logic is used both for verification by hand and for automatic verification. A tableaux-based automated theorem prover for classical logic is elaborated in the Appendix. Each section ends with a number of exercises ; the answers can be found at the end of this book.

05/1994

ActuaLitté

Cuisine rapide

Loïc. Rapide & Facile

Le premier livre de 'fou de cuisine' Loïc, publié précédemment sous le titre Loïc the Rookie Cook avec une nouvelle couverture. Découvrez 50 recettes rock-'n-roll de Loïc Van Impe. Des petits plats exquis, ultrarapides et pour trois fois rien. La cuisine n'est jamais une corvée avec les recettes de Loïc On connaît le cuisinier Loïc Van Impe de son programme Fou de Cuisine sur RTL. Dans ce premier livre de Loïc, publié précédemment sous le titre Loïc the Rookie Cook, il propose des préparations simplissimes à sa façon. Découvrons comment partir d'une liste de courses ultracourte pour présenter comme par magie des plats réconfortants en un temps record et sans complications. Goûtez donc les quesadillas au poulet ou des boulettes aux pâtes et savourez le cheeseburger au lard ou la pizza à la poêle faite maison.

04/2024

ActuaLitté

Littérature étrangère

La folle du logis

"L imagination est la folle du logis. " Sainte Thérèse d'Avila. Rosa Montero invite le lecteur à un voyage entre vérité et fiction sous la houlette de la folle du logis, sur des chemins pleins de surprises, mêlant allégrement la littérature et la vie en un cocktail excitant de biographies d'écrivains et d'autobiographie vraie ou fausse. A travers un panorama des folies et des faiblesses d'auteurs comme Melville, Goethe, Tolstoï ou M. Amis, ou bien des mécanismes de la passion amoureuse dont elle est elle-même la proie, elle bouscule le lecteur ravi. Elle lui propose une analyse des peurs et des névroses des romanciers, mêlée au récit des aventures et des tours cocasses que sa propre imagination lui a souvent joués. Loin de toute analyse universitaire, un livre sur l'imagination et les rêves, sur la folie et la passion, les peurs et les doutes des écrivains, mais aussi des lecteurs. Une défense et une illustration passionnées et jubilatoires de l'écriture, de la lecture et du rêve comme derniers remparts contre la folie.

09/2004

Tous les articles

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