Mathematical Logic

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

Foundations for Information Science

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

Mathematical Logic

Foundations for Information Science

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Godel s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage.

The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging.

This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines.

"

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2014

نویسنده

Wei Li

ناشر

Birkhauser

شابک

9783034808613

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Mathematical Logic

Mathematical Logic

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2014

نویسنده

ناشر

شابک

کتاب های مرتبط

Logic-Based Artificial Intelligence

Frege

Il gioco della logica

Leo Esakia on Duality in Modal and Intuitionistic Logics

Quantum Computation and Logic

Mathematical Logic

Varieties of Logic

Introduction to mathematical logic

Grundzüge der theoretischen Logik

The Proof Is in the Pudding

Logic Colloquium '86

Proof Theory And Logical Complexity

Combinatory Logic

El cubo de Rubik : para principiantes y conocedores

Logica matematica per l'informatica

Paradoxes

A First Journey Through Logic

An invitation to abstract mathematics

Juegos Logicos en Mundo de Inteligencia Artificial = Games of Logic in the World of Artificial Intelligence

Roads to Infinity

Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington's Principle

دیدگاه کاربران