Recherche

Randy Olson Computer Science

Dossiers

ActuaLitté

Dossier

Romans, nouveautés : les livres de Leïla Slimani

Leïla Slimani est une romancière et journaliste franco-marocaine née en 1981 à Rabat, au Maroc. Elle va faire ses études à Paris, où elle étudie la science politique et les relations internationales à l'Institut d'études politiques de Paris (Sciences Po) et le journalisme à l'ESJ Paris.

ActuaLitté

Dossier

Les prix littéraires de la rentrée

Goncourt, Renaudot, Fémina, Medicis, Interallié... sans compter les prix qui sont créés par des enseignes, Leclerc, Cultura ou Fnac... Les occasions de faire sauter le champagne ne manquent pas.

ActuaLitté

Dossier

Philippe Curval, le touche-à-tout des lettres française

Philippe Curval est né à l'aube des années trente, a côtoyé les surréalistes, a fréquenté de nombreux écrivains comme Boris Vian ou Topor, participé à la naissance de la première librairie de science- fiction, de la première revue de science-fiction. 

ActuaLitté

Dossier

Thorgal : Voyage à travers mythes, étoiles et vikings

La bande dessinée belge Thorgal fusionne habilement l'heroic fantasy et la science-fiction, le tout ancré dans la riche mythologie scandinave. 

ActuaLitté

Dossier

Des essais pour comprendre un monde labyrinthique

Le genre de l'essai est une mosaïque, où chaque partie est un fragment de pensée, de réflexion, d'argumentation. Comme une forêt ancienne, il est dense et diversifié : philosophie, sociologie, histoire, économie, politique, science... Un voyage, une exploration sans fin de la connaissance et de la compréhension.

ActuaLitté

Dossier

Les Imaginales 2023 : Le futur de la cité

Depuis sa création en 2002, le festival des Imaginales a su s'imposer comme l'un des rendez-vous majeurs des Littératures de l'imaginaire. Des milliers de passionnés se rassembleront à Épinal, du 25 au 28 mai prochain, pour découvrir les derniers ouvrages de science-fiction, fantasy, horreur... 

Extraits

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é

Livres 3 ans et +

Orson

Orson est un ours tellement grand et tellement effrayant que tous les animaux de la forêt le craignent. Il n'a pas d'amis et se sent triste et solitaire. Il n'est heureux qu'à la fin de l'automne, quand il peut hiberner et tout oublier. Mais un printemps, en sortant de sa grotte, il trouve un petit ours oublié au pied d'un arbre...

05/1994

ActuaLitté

Littérature étrangère

Randy Bradley

Cela fait des années que Lucy rend visite chaque été à sa soeur Miriam. Et puis, un jour, tout s’arrête. L’invitation ne tient plus. Est-ce à cause des étranges jeux de mots dont Lucy ponctue ses conversations ? Ou à cause des accidents qui surviennent immanquablement lors de ses séjours ? Randy Bradley, l’ancien compagnon de Miriam, pourrait sans doute dénouer la situation, mais, malheureusement, il a été remplacé par un autre. À la lecture de la lettre de protestation que Lucy écrit, nous suivons le cheminement tortueux de ses pensées dérangées. Cette invitée bienveillante mais bien pénible, aussi attentionnée qu’elle est tourmentée, précieuse et naïve, se fait balloter au vent mauvais de tensions familiales refoulées.

10/2013

ActuaLitté

Littérature française

L'Orson

De Paris à Los Angeles, San Francisco, Santa Fé, Stan se lance pour le compte d'un éditeur roublard sur la piste d'Orson Welles, officiellement mort, et qu'ici ou là on a formellement reconnu. Un roman passionné, fervent, théâtral.

08/1993

ActuaLitté

Cinéma

Orson Welles

Tout le monde _ ou presque _ connaît Orson Welles. Enfant prodige, cinéaste génial, séducteur, prince de la Renaissance aux poches percées... autant de clichés qui ont nourri sa légende. Peut-on écrire la biographie d'une légende ? Pendant deux ans, Barbara Leaming s'est heurtée à ce casse-tête. Non que Welles se montrât avare de confidences. Au contraire, il accepta de bonne grâce de se prêter à ce jeu de la vérité auquel le conviait sa biographe. Mais quelle vérité? Plus Barbara Leaming progressait dans sa recherche, accumulant les témoignages, les preuves, les documents, plus ils semblaient contredire ce que Welles lui disait. Ce n'était pas une vie qui se découvrait à elle, mais dix existences inextricablement mêlées dont il fallait débrouiller l'écheveau fil à fil. Au terme de ce travail de Pénélope, le miracle s'est produit : Welles est là, parmi nous. Grotesque et sublime, timide et péremptoire, sérieux et grave, plus grand que nature. On ne peut s'empêcher de rêver aux commentaires qu'il n'aurait pas manqué de faire en contemplant ce palais baroque, à l'architecture tourmentée : l'histoire de sa vie. " Une évocation superbe de l'homme que fut Orson Welles, de son oeuvre et de son temps. " The New York Times Book Review " Cette biographie se lit comme la fiction la plus extravagante, le " grand roman américain " que nous attendions tous. " New Statesman " Barbara Leaming a obtenu de la part de Welles une disponibilité quasi illimitée. Elle s'est rendue digne de ce privilège en nous donnant un livre somptueux. " The Financial Times. Barbara Leaming enseigne l'histoire du théâtre et du cinéma à Hunter College (New York). Sa biographie d'Orson Welles a recueilli dès sa parution les plus grands éloges.

09/2007

ActuaLitté

Littérature française

Andy Andy

"Warhol, je suis son amant. Évidemment, tout le monde me prend pour un gigolo. Ça m'amuse. Si l'on savait... Oui : j'avais une vie avant de connaître ce cher Andy. Étudiant à l'École du Louvre et voleur amateur, formé ensuite, plus sérieusement, par un collectionneur du quai Voltaire, marchand de faux qu'il savait admirablement rendre vrais, trafiquant d'armes proche des renseignements généraux que j'appelais Monsieur X, je suis devenu un excellent faussaire et un riche marchand. Au Japon, qui était un Eldorado pour des gens comme moi dans les années 60, j'ai fait fortune et rencontré Warhol. On l'appelait, alors, le survivant. C'est un peu après, alors que nous revenions de Giverny, qu'il m'a fait la proposition qui allait changer ma vie et la sienne : prendre sa place, continuer son oeuvre, entrer en possession de la marque, comme il m'a dit. Et lui ? Incroyable. Vous n'imaginez pas ce qu'il m'a demandé". Dans cette étourdissante fantaisie, tout est vrai et le reste vraisemblable. Michel Nuridsany joue en virtuose des vertiges qu'il nous offre, ouvrant par effraction un monde où tout se mêle, le faux, le vrai et l'entre-deux...

03/2012

Tous les articles

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