Achat Logic pas cher
FOND ECRAN
FAVORITES
CONCOURS PHOTO
FORUM PHOTO
BLOG
CONTACT
  
  
  
  
Partager vos photos
> CONNEXION
 
 Animaux
   Chien
   Chat
   Cheval
   Oiseau
   Papillon
   Insecte
   Animal Aquatique
   Autres Animaux
 Nature
   Fleur
   Rose
   Arbre
   Champignon
 Objet
   Voiture
   Moto
   Sport
 Fête
 Artistique
   Montage Photo
   Retouche Photo
 Voyage
France
   Paris
  Concours photo | Concours photo 2016
 


Comparateur prix

Gödel, Escher, Bach: an Eternal Golden Braid

-
(Livres anglais et étrangers)
Godel, Escher, Bach Originally published by Penguin in 1980, when it was winner of the Pulitzer Prize for General Non-fiction, an anniversary edition of an illustrated examination of the nature of human thought processes. Full description
Rubrique(s) : Artificial Intelligence | Computer Science | Computers & Internet | Subjects | Livres anglais et étrangers | Philosophy | Nonfiction | Logic
> VOIR LE PRODUIT | Comparer prix Gödel, Escher, Bach: an Eternal Golden Braid


Handbook of Categorical Algebra: Volume 2, Categories and Structures

-
(Livres anglais et étrangers)
Book by Borceux Francis
Rubrique(s) : Pure Mathematics | Mathematics | Science | Livres en anglais | Chercher au Coeur! | Boutiques | Algebra | Combinatorics
> VOIR LE PRODUIT | Comparer prix Handbook of Categorical Algebra: Volume 2,


How to Solve it - A New Aspect of Mathematical Method.

- 16,63 €
(Livres anglais et étrangers)
Rubrique(s) : Géometrie et Trigonométrie | Mathématiques | Sciences, Techniques et Médecine | Livres | Logique | Geometry & Topology
> VOIR LE PRODUIT

Logic: A Very Short Introduction

-
(Livres anglais et étrangers)
By Priest, Graham ( Author ) [ Logic: A Very Short Introduction By Jan-2001 Paperback
Rubrique(s) : Logic & Language
> VOIR LE PRODUIT | Comparer prix Logic: A Very Short Introduction


Topoi: The Categorial Analysis of Logic

-
(Livres anglais et étrangers)
Book by Goldblatt Robert Mathematics
Rubrique(s) : Number Theory
> VOIR LE PRODUIT | Comparer prix Topoi: The Categorial Analysis of Logic


The Haskell Road To Logic, Maths And Programming

-
(Livres anglais et étrangers)
Book by Kees Doets Jan van Eijck
> VOIR LE PRODUIT | Comparer prix The Haskell Road To Logic, Maths And


Can You Solve My Problems?: A casebook of ingenious, perplexing and totally satisfying puzzles

-
(Livres anglais et étrangers)
Rubrique(s) : Puzzles & Games | Entertainment
> VOIR LE PRODUIT

MATLAB Deep Learning: With Machine Learning, Neural Networks and Artificial Intelligence

-
(Livres anglais et étrangers)
Rubrique(s) : Databases | Languages & Tools | Programming
> VOIR LE PRODUIT

An Illustrated Book of Bad Arguments

-
(Livres anglais et étrangers)
A flawless compendium of flaws. Alice Roberts, PhD, anatomist, writer, and presenter of "The Incredible Human Journey"The antidote to fuzzy thinking, with furry animals!Have you read (or stumbled into) one too many irrational online debates? Ali Almossawi certainly had, so he wrote "An Illustrated Book of Bad Arguments"! This handy guide is here to bring the internet age a much-needed dose of ...
Rubrique(s) : Rhetoric | Words & Language | Reference
> VOIR LE PRODUIT | Comparer prix An Illustrated Book of Bad Arguments


An Introduction to Category Theory

-
(Livres anglais et étrangers)
> VOIR LE PRODUIT

Book of Proof

-

Rubrique(s) : Discrete Mathematics | Pure Mathematics | Mathematics | Science | Subjects | Logic
> VOIR LE PRODUIT

Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions

- 81,06 €

Interactive Theorem Proving and Program Development Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. It includes a collection of examples and exercises. Full description
Rubrique(s) : Software Development | Software Design, Testing & Engineering | Programming | Computers & Internet | Livres en anglais | Chercher au Coeur! | Boutiques | Livres anglais et étrangers
> VOIR LE PRODUIT | Comparer prix Interactive Theorem Proving And Program


Discrete Mathematics Using a Computer

- 17,84 €
(Livres anglais et étrangers)
This book offers a 'hands-on' approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC & Unix platforms, the functional language Haskell allows students to experiment with mathematical notations & concepts -- a practical approach that provides students with instant feedback & allows lecturers to monitor progress easily. This 2nd edition contains additional ...
Rubrique(s) : Programming | Computers & Internet | Ebooks en anglais | Ebooks en langues étrangères | Ebooks Kindle | Discrete Mathematics | Pure Mathematics | Mathematics
> VOIR LE PRODUIT

Combinatorics and Graph Theory

- 25,58 €
(Livres anglais et étrangers)
This book covers a wide variety of topics in combinatorics and graph theory. It includes results and problems that cross subdisciplines, emphasizing relationships between different areas of mathematics. In addition, recent results appear in the text, illustrating the fact that mathematics is a living discipline.The second edition includes many new topics and features: (1) New sections in graph ...
Rubrique(s) : Science | Logic | Graph Theory | Applied | Combinatorics | Graph Theory | Applied | Combinatorics
> VOIR LE PRODUIT

Four Lives: A Celebration of Raymond Smullyan

-
(Livres anglais et étrangers)
Rubrique(s) : Puzzles & Games | Entertainment
> VOIR LE PRODUIT

Euclid in the Rainforest: Discovering Universal Truth in Logic and Math

- 8,36 €
(Livres anglais et étrangers)
Like Douglas Hofstadter?s Gödel, Escher, Bach, and David Berlinski?s A Tour of the Calculus, Euclid in the Rainforest combines the literary with the mathematical to explorelogic?the one indispensable tool in man?s quest to understand the world. Underpinning both math and science, it is the foundation of every major advancement in knowledge since the time of the ancient Greeks. Through adventure ...
Rubrique(s) : Calculus | Calculus
> VOIR LE PRODUIT

Lambda Calculus with Types

-
(Livres anglais et étrangers)
Lambda Calculus with Types This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification. Full description
> VOIR LE PRODUIT | Comparer prix Lambda Calculus with Types


Constructive Analysis

-
(Livres anglais et étrangers)
Book by Bishop E Bridges Douglas
Rubrique(s) : Functional Analysis
> VOIR LE PRODUIT | Comparer prix Constructive Analysis


An Introduction to Mathematical Reasoning: Numbers, Sets and Functions

-
(Livres anglais et étrangers)
Book by Eccles Peter J
Rubrique(s) : Number Systems
> VOIR LE PRODUIT | Comparer prix An Introduction to Mathematical Reasoning:


Computability and Logic

- 26,38 €
(Livres anglais et étrangers)
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised ...
Rubrique(s) : Logic & Language | Philosophy | Nonfiction | Logic & Language | Philosophy | Nonfiction
> VOIR LE PRODUIT

Numbers and Proofs

-
(Livres anglais et étrangers)
Paperback
Rubrique(s) : Chemical | Engineering | Professional & Technical | Subjects | Livres anglais et étrangers | Logic | Pure Mathematics | Mathematics
> VOIR LE PRODUIT | Comparer prix Numbers and Proofs


Everything and More: A Compact History of Infinity

- 11,11 €
(Livres anglais et étrangers)
"A gripping guide to the modern taming of the infinite."?The New York Times. With a new introduction by Neal Stephenson.Is infinity a valid mathematical property or a meaningless abstraction? David Foster Wallace brings his intellectual ambition and characteristic bravura style to the story of how mathematicians have struggled to understand the infinite, from the ancient Greeks to the ...
Rubrique(s) : Science | History | Infinity | History | Mathematics | Science | Ebooks en anglais | Ebooks en langues étrangères
> VOIR LE PRODUIT

Category Theory in Context

-
(Livres anglais et étrangers)
Rubrique(s) : Infinity | Logic | Pure Mathematics
> VOIR LE PRODUIT

Reading Frege's Grundgesetze

-
(Livres anglais et étrangers)
Rubrique(s) : Logic & Language | Philosophy | Nonfiction | Modern
> VOIR LE PRODUIT

Descartes' Error: Emotion, Reason, and the Human Brain

- 9,88 €
(Livres anglais et étrangers)
Since Descartes famously proclaimed, "I think, therefore I am," science has often overlooked emotions as the source of a person?s true being. Even modern neuroscience has tended, until recently, to concentrate on the cognitive aspects of brain function, disregarding emotions. This attitude began to change with the publication of Descartes? Error in 1995. Antonio Damasio?"one of the world?s leading ...
Rubrique(s) : Emotions | Mental Health | Health, Mind & Body | Neuropsychology | Psychology & Counseling | Social Psychology & Interactions | Cognitive Psychology | Behavioral Sciences
> VOIR LE PRODUIT

Playing with Infinity

- 8,49 €
(Livres anglais et étrangers)
This popular account of the many mathematical concepts relating to infinity is one of the best introductions to this subject and to the entire field of mathematics. Dividing her book into three parts ? The Sorcerer's Apprentice, The Creative Role of Form, and The Self-Critique of Pure Reason ? Peter develops her material in twenty-two chapters that sound almost too appealing to be true: playing ...
Rubrique(s) : Emotions | Mental Health | Health, Mind & Body | Neuropsychology | Psychology & Counseling | Social Psychology & Interactions | Cognitive Psychology | Behavioral Sciences
> VOIR LE PRODUIT

An Introduction to Gödel's Theorems

-
(Livres anglais et étrangers)
Book by Smith Peter
Rubrique(s) : Applied | Reference | Technology | Applied | Reference | Technology
> VOIR LE PRODUIT | Comparer prix An Introduction to Gödel's Theorems


The Moscow Puzzles

-
(Livres anglais et étrangers)
Rubrique(s) : Puzzles | Puzzles & Games | Entertainment
> VOIR LE PRODUIT

The Annotated Turing: A Guided Tour Through Alan Turing?s Historic Paper on Computability and the Turing Machine

-
(Livres anglais et étrangers)
The Annotated Turing Before digital computers ever existed, Alan Turing envisioned their power and versatility. but also proved what computers could never do. Full description
Rubrique(s) : Artificial Intelligence | Computer Science | Computers & Internet
> VOIR LE PRODUIT | Comparer prix The Annotated Turing: A Guided Tour Through


Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)

-
(Livres anglais et étrangers)
Book by MacLane Saunders Moerdijk Ieke
Rubrique(s) : Geometry & Topology | Algebra | Livres en anglais | Chercher au Coeur! | Boutiques
> VOIR LE PRODUIT | Comparer prix Sheaves in Geometry and Logic: A First





Photo et Image  | Musique  | Téléviseur et Home Cinéma  | Audio, lecteur MP3 et Hi-Fi  | Lecteur DVD et TNT  | GPS et Auto  | Téléphonie et accessoire  | Informatique  | Jeux vidéo et consoles  | Jeu et Jouet  | Livre photo


CLASSEMENTS PHOTO
> Partager vos photos !
Nouveautés | Debutants
1024x768|1280x1024
1280x800|1440x900
Wallpaper Iphone
> Les + commentées
> Les + vues
> Les mieux notées
> Les favorites
> Groupes
> Albums photo
> Photos sur carte
> Photos au hasard
> Photos par couleur
> Noir et Blanc | HDR
> Photos sans com
> Photographes
> Classification
> Appareil photo
> Objectif photo


Mon EVREST et ma DIVA étant partis ...
Rajout d'un objectif sur la liste du site
Une expression et une photo
Pourquoi mes photos de paysages sont floues ??
Concours du forum > JUILLET et AOÛT 2017 : LES VACANCES !
Aucune utilisation (autre que privée) des images exposées sur le site n'est autorisée sans l'accord de l'auteur.
Toute image peut être retirée du site par simple demande de l'auteur.