La logique: « Que sais-je ? » n° 225 (French Edition) by Pierre Wagner

By Pierre Wagner

Il est devenu si courant aujourd’hui de parler des logiques qu’on ne sait bien souvent plus ce qu’est la logique. Cet ouvrage donne à comprendre cette self-discipline en décrivant le style de questions que se posent ou que se sont posées les logiciens, le style de certitudes qu’ils ont acquises et los angeles variété des projets qui animent leurs recherches.
S’il disclose avec clarté les bases de los angeles logique contemporaine et ses origines historiques, l’auteur montre aussi que, depuis les années 1950, les recherches logiques ont pris de nouvelles instructions comme l’étude des buildings syntaxiques et sémantiques des langues naturelles, l’informatique théorique, l’intelligence artificielle, l. a. théorie des jeux, l’analyse dynamique des croyances et de los angeles connaissance, ou encore les sciences cognitives.

Show description

Read Online or Download La logique: « Que sais-je ? » n° 225 (French Edition) PDF

Best logic books

Generalized Concavity in Fuzzy Optimization and Decision Analysis (International Series in Operations Research & Management Science)

Convexity of units in linear areas, and concavity and convexity of services, lie on the root of gorgeous theoretical effects that are whilst super invaluable within the research and answer of optimization difficulties, together with difficulties of both unmarried goal or a number of targets. no longer all of those effects count unavoidably on convexity and concavity; many of the effects can ensure that every one neighborhood optimal is usually a world optimal, giving those tools broader software to a much wider category of difficulties.

Computability and Unsolvability (Dover Books on Computer Science)

During this vintage textual content, Dr. Davis presents a transparent advent to computability, at a complicated undergraduate point, that serves the wishes of experts and non-specialists alike. partially One (Chapters 1–5), Professor Davis outlines the final thought of computability, discussing such subject matters as computable features, operations on computable services, recursive services, Turing machines, self-applied, and unsolvable choice difficulties.

Elements of Automata Theory

Automata idea lies on the origin of desktop technology, and is key to a theoretical figuring out of ways pcs paintings and what constitutes formal equipment. This treatise offers a rigorous account of the subject and illuminates its actual which means by way of the topic in numerous methods. the 1st a part of the publication is organised round notions of rationality and recognisability.

Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 2 (London Mathematical Society Lecture Note Series)

The advance of Maxim Kontsevich's preliminary principles on motivic integration has without notice motivated many different parts of arithmetic, starting from the Langlands application over harmonic research, to non-Archimedean research, singularity idea and birational geometry. This booklet assembles different theories of motivic integration and their purposes for the 1st time, permitting readers to match diversified techniques and verify their person strengths.

Additional resources for La logique: « Que sais-je ? » n° 225 (French Edition)

Sample text

Download PDF sample

Rated 4.34 of 5 – based on 29 votes