Recherche

Logic

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é

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é

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é

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

ActuaLitté

Mathématiques CM1

Logico Maths CM - Calculs

Une pochette de 40 fiches Logico pour s'entrainer au calcul ! Contenu de la pochette : - 40 fiches d'exercices avec les corrigés au verso. - Un sommaire présentant les compétences travaillées dans chaque fiche. - Une fiche de suivi de l'élève téléchargeable et imprimable. Pourquoi l'utiliser ? Un outil pour s'entrainer à additionner, soustraire, multiplier, diviser, arrondir, retrancher, utiliser des multiples, compter de 500 en 500, multiplier le double ou encore connaitre les tables de Pythagore. - Un entrainement structuré et progressif utilisable en CM1 comme en CM2. - Un outil clés en main, basé sur l'autocorrection et sur l'autonomie de l'élève. - Une approche ludique de toutes les notions au programme par le jeu des pastilles à déplacer. - Un outil idéal pour vérifier la bonne maitrise des fondamentaux. A utiliser avec le support Logico MAXIMO.

11/2022

ActuaLitté

Contes et nouvelles

Les folles du logis

Mais des sermons, elle en a tellement entendu... elle ne les écoute plus. Sauf que, pour une fois, les mots ne sont plus tout à fait les mêmes... "... ma petite fille, tu possèdes une chance extraordinaire..." Tiens donc !!! "... mais comme toutes les chances, il faut apprendre à s'en servir pour mieux l'exploiter..." Et alors ??? Alors... ? Voilà que l'institutrice s'enflamme... "... car tu sais, un proverbe dit : l'imagination, c'est la folle du logis et... " Instantanément le mot illumine le cerveau de l'enfant : c'est une révélation fulgurante et magique. Une révélation divine ! En effet : sa mère fait de la psychologie, une amie de sa mère fait de l'archéologie, une autre de la graphologie, dans les journaux il y a de l'astrologie, à l'école on apprend de la géologie, quelquefois de la cosmologie... Et c'est tout ce qu'il y a de plus sérieux : les adultes en font ! ... Il yen a même qui en vivent ! ... Aussitôt en son for intérieur, avec une solennité qui à ses yeux engage tout le présent comme l'avenir, voire l'éternité, l'enfant se jure : MOI, quand je serai grande, je ferai de la FOLDULOGIE !

04/2021

ActuaLitté

Mathématiques CE2

Logico - maths ce2 - numeration

Avec Logico, l'élève s'entraine en autonomie et consolide ses connaissances, grâce à la manipulation et s'autocorrige et évalue sa réussite. Avec Logico, l'enseignant : applique la différenciation de manière ludique et pratique la remédiation à travers des situations variées et motivantes.

01/2024

ActuaLitté

Non classé

Temporal Logic, Omniscience, Human Freedom - Perspectives in Analytic Philosophy

The work shows the usefulness and limitation of modern logic in the study of traditional metaphysical problems. As is the usual case in all criticism of analytic philosophers against traditional philosophy, word usage must be limited to what the human mind can know. The notion of timeless knowledge for example contradicts our normal mode of word usage and cannot serve as adequate in reference to knowledge be it that of man or of God. If timeless knowledge applied to divine mode of knowing then there cannot be human freedom.

09/1991

ActuaLitté

Autres éditeurs (K à O)

L'écureuil cherche un nouveau logis

Une tempête a déraciné l'arbre de l'écureuil ! Il part à la recherche d'un nouveau logis. Les autres animaux du jardin lui proposent de venir habiter chez eux. Chez la souris ? Un peu petit. Chez le pivert ? Pas très douillet. Chez les lapins ? Ca ne sent pas très bon. Mais bientôt, l'arbre parfait est à l'horizon.

09/2021

ActuaLitté

Poésie

Tractacus logico-poeticus. Suivi d'Epistémé

Publié pour la première fois en 1921, voilà presque cent ans, le Tractacus logico-philosophicus de Ludwig Wittgenstein, est considéré à juste titre comme une œuvre philosophique majeure du XXème siècle dont la complexité touche à plusieurs disciplines de la connaissance et qui met l’accent sur des problématiques qui peuvent s’avérer difficiles d’accès voire complètement insondables pour certaines. Mais ? L’auteur s’est immergé dans cette œuvre unique de manière poétique cette fois-ci avec un regard neuf, en tentant de la dépasser grâce à une approche circonstanciée et atomique qui défie parfois les règles de la raison. Un ouvrage inédit et percutant par ce qu’il révèle.

09/2019

ActuaLitté

12 ans et +

Dragons. La quête de Loïc

Loïc, jeune adolescent part à la poursuite de Dark Smog pour défendre son village. Accompagné de ses amis, il va vivre une véritable aventure " draconique "...

07/2019

ActuaLitté

Tout-carton

La trottinette électrique de Loïc

A travers l'histoire de Loïc et sa trottinette électrique, l'enfant va découvrir comment elle lui permet de déplacer rapidement en ville, sans oublier de la recharger.

08/2021

ActuaLitté

Fantastique

Hante au Logis et autres nouvelles fantastiques

Une pierre qui se souvient, un vampire qui dépérit, un fleuve qui se raconte, Satan qui modernise les enfers ou encore la découverte d'un antique artefact... Dix-neuf récits pour adultes, sérieux ou parodiques, qui n'ont qu'un seul but : enchanter lecteurs et lectrices.

03/2023

ActuaLitté

12 ans et +

Les aventures de Loïc le Corsaire

En l'an de grâce 1711, deux vaisseaux de la Royale s'apprêtent à mouiller dans le port de Saint-Malo de l'Isle, avant de rejoindre le reste de la flotte ancrée dans la rade de Brest. Parce qu'il s'est approché de trop près des navires de guerre, un adolescent, Loïc, est arrêté, accusé d'espionnage et condamné à l'exil par le prévôt. Sa peine est annulée in extremis par l'amiral Duguay-Trouin, commandant en chef de la flotte du roi. Il se retrouve enrôlé comme mousse sur la frégate L'Invincible que dirige Jean Doublet. Grand Timon, son fidèle second, devient le tuteur du jeune marin. Le destin de Loïc changera au fil des aventures qu'il vivra. Il devra s'affirmer et s'imposer par des actes héroïques, mais aussi par sa clairvoyance et sa sensibilité. Au cours de ce voyage initiatique, il rencontrera Simon le barbier, un chirurgien sinistre, Clément l'indiscret, Amalia la belle Lisboète et bien d'autres personnages.

11/2016

ActuaLitté

Cuisine familiale

Loïc fou de cuisine. Volume 2

Loïc Van Impe vous rend encore plus dingues (de cuisine). Cuisinier autodidacte à la télé, Loïc Van Impe est de retour ! Le mélange le plus fou de plats réconfortants, de pâtisserie, de mets japonais et tant d'autres choses encore. Encore plus de bons conseils et d'astuces pour davantage de plaisir à la cuisine On peut faire encore plus fou ? Mais bien sûr ! Loïc Van Impe nous emmène de nouveau dans son royaume. Faire soi-même ses plats favoris à emporter ? O. K. Des plats rustiques hyper simples avec un petit plus ? O. K. Des bouchées orientales à partager ? O. K. Son nouveau livre propose un mélange dingue comme tout de recettes les plus diverses, accessibles à tous grâce aux astuces de Loïc !

10/2021

ActuaLitté

Enseignement primaire

Etude de la langue CE2 Logico. Grammaire, Conjugaison

Avec Logico apprendre est un plaisir ! Aver Logico, l'élève s'entraîne en autonomie et consolide ses connaissances grâce à la manipulation ; s'autocorrige et évalue sa réussite. Avec Logico, l'enseignant : applique la différenciation de manière ludique ; pratique la remédiation à travers des situations variées et motivantes.

03/2019

ActuaLitté

Philosophie du droit

Mélanges en l'honneur du Professeur Loïc Cadiet

Rédigés en hommage à un juriste dont les travaux scientifiques ont marqué son époque, les Mélanges sont l'occasion de proposer des articles inédits portant sur les fondements et l'actualité de cette discipline. Le professeur Loïc Cadiet, professeur à l'Ecole de droit de la Sorbonne, université Panthéon-Sorbonne Paris I, président honoraire de l'Association internationale de droit processuel, a largement contribué à la doctrine relative au droit judiciaire privé, au droit processuel, au système judiciaires et à la théorie du procès.

12/2023

ActuaLitté

Enseignement primaire

Etude de la langue CE2 Logico. Phonologie, orthographe, Edition 2019

Une pochette de 40 fiches Logico pour s'entrainer en autonomie en Phonologie et Orthographe ! Phonologie : Connaitre les correspondances graphophonologiques, la valeur sonore de certaines lettres (s, c, g) et la composition de certains graphèmes selon la lettre qui suit (m devant m, b, p). Orthographe : Connaitre les règles d'orthographe (féminin, pluriel) et d'accord du groupe nominal (féminin, pluriel) et du groupe verbal (relation sujet/verbe) et les appliquer. Mémoriser les principaux mots invariables. Pochette de 40 fiches avec corrigés au verso. - Un sommaire présentant les compétences travaillées dans chaque fiche. Les 3 pochettes Logico Etude de la langue CE2 : - Un ensemble complet de 120 fiches pour faire progresser les élèves sur la construction des nombres et les bases du calcul. - La totalité du programme de CE2 en Etude de la langue dans 3 fichiers conformes aux programmes modifiés 2018. A utiliser avec le support Logico Maximo

07/2019

ActuaLitté

Enseignement primaire

Mathématiques CP nombres entiers jusqu'à 10 Logico. Edition 2019

Avec Logico, l'élève : S'entraine en autonomie et consolide ses connaissances, grâce à la manipulation. S'autocorrige et évalue sa réussite. Avec Logico, l'enseignant : Applique la différenciation de manière ludique. Pratique la remédiation à travers des situations variées et motivantes.

03/2019

ActuaLitté

Religion

The Threat of Logical Mathematism

The present survey of the critique of mathematical logic in Germany at the turn of the 20th century attempts to answer several interesting questions : How did the contemporary German philosophers see the role and significance of logic ? What kind of relationships did they claim to exist between logic, mathematics, linguistics and psychology ? Pulkkinen starts by giving a historical survey of the development of German logic 1830-1920 as it appears against the background of German academic philosophy. Next he studies the interrelationships between logic and psychology, logic and linguistics, and logic and mathematics. After this the author presents the general features of the reception of mathematical logic in Germany between 1880 and 1920. This is followed by a more detailed account of the arguments of three individual critics : Fritz Mauthner, Heinrich Rickert, and Theodor Ziehen.

07/1994

ActuaLitté

Architecture régionale

Chateaux manoirs et logis de la rochelle et sa region (geste)

De l'ancien chateau medieval a la plus modeste borderie au confort bourgeois, il y en a pour tous les gouts et tous les moyens financiers. Rien de comparable en effet entre le prestigieux chateau de Buzay, a La Jarne, et ces maisons de maitre plus discretes, souvent nichees dans un ecrin de nature preservee encore aujourd'hui. Il faut savoir les denicher et on peut etre etonne de trouver, cachees derriere un haut portail, de vastes proprietes au coeur meme des quartiers de La Rochelle ou des communes environnantes, noyees dans le tissu urbain actuel.

06/2023

ActuaLitté

Eco-construction

La bible de l'éco-logis. + de 200 projets, recettes et conseils

Ce livre contient près de 200 activités de bricolage, couture, cuisine et jardinage. Mais il est bien plus qu'un ouvrage de Do It Yourself green... Bien sûr, vous allez apprendre à créer des objets de la vie courante et de décoavec des techniques simples. Mais surtout, vous allez envisager les déchets d'une nouvelle manière et renoncer à jeter... Vous allez découvrir comment de la vaisselle dépareillée peut se changer en lampe ou une brique de lait en mangeoire pour oiseaux, comment une canette de soda devient un ex-voto... Il existe d'innombrables possibilités de réparer, transformer, upcycler, réinventer, détourner et réenchanter votre maison à partir de trois bouts de ficelle dorée !

06/2021

ActuaLitté

Religion

A la lumière des Ecrits de Thomas. Logia de 1 à 10

"A la lumière des Ecrits de Thomas" nous apporte, de façon inédite, un éclairage fort sur les dix premiers Logia de cet évangile, encore trop confidentiel. L'auteur nous livre les secrets de ces textes essentiels avec une approche résolument contemporaine, sans détour ni jugement. Il repositionne à sa juste place le principe féminin, trop longtemps décentré par le dogme chrétien. A la lecture de cet ouvrage, notre quête spirituelle est libérée des carcans anciens. La clarté de l'analyse qui nous est proposée nous émancipe du doute et de la culpabilité, d'habitude si présents. Le lecteur, accompagné avec bienveillance au fil des pages, découvre les réponses qui lui sont offertes comme des révélations, enfin accessibles et lisibles. "Aimer, c'est l'unique risque que nous devons prendre" est une de ces évidences sans concession dans la plus pure verticalité.

04/2019

ActuaLitté

Histoire régionale

Une histoire de l'hôtellerie. Logis et hôtes à Nîmes (1500-1600)

L'ouvrage porte sur les auberges de Nîmes au XVIe siècle. Enseignes, position, variété, équipement ; parcours d'hôtes, rôle des femmes, personnel, clientèle ; services divers ; abus ; surveillance accrue du pouvoir royal ; héritage actuel, le tout à partir d'une documentation inédite.

05/2021

ActuaLitté

Loisirs et jeux

Le carnet de Loïc - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe

Plus qu'un simple carnet, My Notebook est l'accessoire tendance qu'il vous faut ! Design et pratique, il sera le parfait compagnon de vos prises de notes et de vos créations à la maison, au bureau ou en voyage. Unique, My Notebook est personnalisable : choisissez votre prénom ou celui de vos proches dans une liste de plusieurs centaines de prénoms disponibles et optez pour le graphisme et les couleurs qui vous ressemblent parmi une large sélection de couvertures. De format nomade (A5 : 148x210 mm ; 48 ou 96 pages), il se glissera facilement dans votre sac. Alliant confort d'écriture, avec son élégant papier couleur crème, et maniabilité, avec sa couverture souple au toucher velouté, il s'adaptera à tous vos besoins et à toutes vos envies, que vous préfériez les pages blanches, les petits ou grands carreaux (quadrillage Séyès), les portées musicales ou les lignes simples ! Pour vous-même ou pour offrir, My Notebook est le "it-carnet" à votre image. Compagnon indispensable de vos activités, léger et multi-usage, il ne vous quittera plus. Avec plus de 20 000 possibilités de personnalisation et ses gammes enfants et adultes, My Notebook est la nouvelle référence du cahier personnalisé. Vous êtes unique, My Notebook aussi !

03/2015

ActuaLitté

Mathématiques

SETS AND PROOFS

Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited at 'Logic Colloquim '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.

01/1999

ActuaLitté

Histoire du droit

Reiglement fait par le Roy, pour les logis de sa cour et suitte

Reiglement fait par le Roy, pour les logis de sa cour, & suitte Date de l'édition originale : 1606 Le présent ouvrage s'inscrit dans une politique de conservation patrimoniale des ouvrages de la littérature Française mise en place avec la BNF. HACHETTE LIVRE et la BNF proposent ainsi un catalogue de titres indisponibles, la BNF ayant numérisé ces oeuvres et HACHETTE LIVRE les imprimant à la demande. Certains de ces ouvrages reflètent des courants de pensée caractéristiques de leur époque, mais qui seraient aujourd'hui jugés condamnables. Ils n'en appartiennent pas moins à l'histoire des idées en France et sont susceptibles de présenter un intérêt scientifique ou historique. Le sens de notre démarche éditoriale consiste ainsi à permettre l'accès à ces oeuvres sans pour autant que nous en cautionnions en aucune façon le contenu.

03/2021

ActuaLitté

Poésie

Les horizons messagers

Un homme vient se poser, la plume à la main, le regard plongé dans le lointain. Son esprit vagabond alors s'égare parmi les méandres et les secrets d'horizons inconnus. Et lors de ce voyage vers l'incertain, des visages lui reviennent en mémoire, des souvenirs se rappellent à lui, des idées voient le jour quand d'autres sombrent à jamais dans l'oubli. Le voilà alors sous un ciel d'étoiles ou à l'ombre d'un chêne, perdu dans les limbes ou flottant dans l'azur, assis devant le crépuscule ou sur les décombres du temps qui passe. Car ce n'est qu'une fois sur ces sentiers mystérieux qu'il voit l'amour et le temps passer, qu'il contemple la nature et se plaît à rêver, qu'il se souvient des peines et des regrets. Ou bien ne fait-il que les imaginer ? Qui sait... La plume à la main, le regard plongé dans le lointain, il ne lui tarde qu'une chose : s'enfuir. Et même lorsqu'il pensera avoir atteint le bout de l'horizon, il se dira que le plus beau des poèmes est celui qu'il reste à écrire.

10/2020