Tags
Language
Tags

Logic for Computer Scientists

Posted By: AvaxGenius
Logic for Computer Scientists

Logic for Computer Scientists by Uwe Schöning
English | PDF | 2008 | 172 Pages | ISBN : 0817634533 | 10.1 MB

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.

A Short Introduction to Intuitionistic Logic

Posted By: AvaxGenius
A Short Introduction to Intuitionistic Logic

A Short Introduction to Intuitionistic Logic by Grigori Mints
English | PDF | 2000 | 130 Pages | ISBN : 0306463946 | 15.6 MB

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs.

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

Posted By: AvaxGenius
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by Igor Lavrov
English | PDF | 2003 | 288 Pages | ISBN : 0306477122 | 16.9 MB

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic.

Superminds: People Harness Hypercomputation, and More

Posted By: AvaxGenius
Superminds: People Harness Hypercomputation, and More

Superminds: People Harness Hypercomputation, and More by Selmer Bringsjord
English | PDF,EPUB | 2003 | 368 Pages | ISBN : 140201094X | 54.2 MB

This is the first book-length presentation and defense of a new theory of human and machine cognition, according to which human persons are superminds. Superminds are capable of processing information not only at and below the level of Turing machines (standard computers), but above that level (the "Turing Limit"), as information processing devices that have not yet been (and perhaps can never be) built, but have been mathematically specified; these devices are known as super-Turing machines or hypercomputers.