Van Benthem J.F., ter Meulen A. Handbook of Logic and Language

Справочник

формат pdf
размер 66.99 МБ
добавлен 21 декабря 2011 г.

Van Benthem J.F., ter Meulen A. Handbook of Logic and Language

Elsevier, 2011. - 1168 pages.

This is an expanding field and the logical study of language is becoming more interdisciplinary playing a role in disciplines such as computer science, artificial intelligence, cognitive science and game theory.

Completely revised and updated, this new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as providing a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes.
Completely revised and updated - includes over 25% new material.
Discusses the interface between logic and language.

Похожие разделы

Смотрите также

Barwise J. (ed.) Handbook of Mathematical Logic

Справочник

формат djvu
размер 21.44 МБ
добавлен 01 ноября 2011 г.

Издательство Elsevier, 1977, -1165 pp. The Handbook of Mathematical Logic is an attempt to share with the entire mathematical community some modern developments in logic. We have selected from the wealth of topics available some of those which deal with the basic concerns of the subject, or are particularly important for applications to other parts of mathematics, or both. Mathematical logic is traditionally divided into four parts: model theor...

Barwise J., Etchemendy J. Language, Proof and Logic

формат pdf
размер 3.72 МБ
добавлен 01 ноября 2011 г.

Издательство Seven Bridges Press, 1999, -597 pp. What do the fields of astronomy, economics, finance, law, mathematics, medicine, physics, and sociology have in common? Not much in the way of subject matter, that's for sure. And not all that much in the way of methodology. What they do have in common, with each other and with many other fields, is their dependence on a certain standard of rationality. In each of these fields, it is assumed that...

Bilanuik S. A Problem Course in Mathematical Logic

формат pdf
размер 676.29 КБ
добавлен 01 ноября 2011 г.

Department of Mathematics Trent University, 1991, -186 pp. This is a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of propositional and first-order logic through the Soundness, Completeness, and Compactness Theorems. Volume II, Computation, covers the basics of computability using Turing machines and recursive functions, the Incompleteness Theorems, and complexity theory through the P and NP. It co...

Detlefsen M., McCarty D.C., Bacon J.B. Logic from A to Z

формат pdf
размер 1.1 МБ
добавлен 30 ноября 2011 г.

Routledge, 1999. - 128 pages. First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy. Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of. * Logic: Argument, Turing Machine, Variable. * Set and model theory: Isomorphism, Function. * Computability theory: Algor...

Dov M. Gabbay. Handbooks of logic in computer science. Volume 5

Справочник

формат pdf
размер 27.86 МБ
добавлен 22 декабря 2011 г.

Volume 5. Logic and Algebraic Methods. The present Volume 5 continues with logical and algebraic methodologies basic to computer science. Chapter 1 covers Martin-L0f's type theory, originally developed to clarify the foundations of constructive mathematics it now plays a major role in theoretical computer science. The second chapter covers categorial logic, the interaction area between category theory and mathematical logic. It builds on the basi...

Hamburger H., Richards D. Logic and Language Models for Computer Science

формат pdf
размер 16.21 МБ
добавлен 25 декабря 2010 г.

Prentice Hall, 2002. - 341 Pages. This book invites the reader to explore abstractions that are crucial to computer science. The authors bring a sense of excitement to logics, formal languages and automata-motivating topics by linking them to computing and to computational applications, sometime with whole chapters. They achieve exceptional clarity through a plethora of examples and figures, yet without-losing sight of, and indeed celebrating, t...

Mendelson E. Introduction to Mathematical Logic

формат pdf
размер 10.39 МБ
добавлен 25 июня 2011 г.

Chapman & Hall/CRC, 1997. - 456 pages. The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and a...

Nienhuys-Cheng S.-H., de Wolf R. Foundations of Inductive Logic Programming

формат pdf
размер 8.28 МБ
добавлен 06 ноября 2011 г.

Издательство Springer, 1997, -248 pp. One of the most interesting recent developments within the field of automated deduction is inductive logic programming, an area that combines logic programming with machine learning. Within a short time this area has grown to an impressive field, rich in spectacular applications and full of techniques calling for new theoretical insights. This is the first book that provides a systematic introduction to the...

Smullyan R.M. Logical Labyrinths

формат pdf
размер 3.64 МБ
добавлен 18 октября 2011 г.

AK Peters, 2009. - 275 pages. This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for...

Steen S.W.P. Mathematical Logic with Special Reference to the Natural Numbers

формат pdf
размер 24.12 МБ
добавлен 16 августа 2011 г.

Cambridge University Press, 1972. - 654 pages. This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a symbolic language in which ideas about natural numbers can be stated precisely and meaningfully, and t...