Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Mathematical Logic (Record no. 399484)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 04300nam a22004815i 4500
001 - Контрольный номер
Контрольное поле vtls000541821
005 - Дата корректировки
Контрольное поле 20210922082144.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 160915s2014 sz | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783034808620
-- 978-3-0348-0862-0
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-0348-0862-0
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000541821
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA8.9-QA10.3
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UYA
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории MAT018000
Источник кода bisacsh
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM051010
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 005.131
Номер издания 23
100 1# - Автор
Автор Li, Wei.
Роль лиц author.
9 (RLIN) 320382
245 10 - Заглавие
Заглавие Mathematical Logic
Физический носитель electronic resource
Продолж. заглавия Foundations for Information Science /
Ответственность by Wei Li.
250 ## - Сведения об издании
Основные сведения об издании 2nd ed. 2014.
260 ## - Выходные данные
Место издания Basel :
Издательство Springer Basel :
-- Imprint: Birkhäuser,
Дата издания 2014.
300 ## - Физическое описание
Объем XIV, 301 p. 13 illus.
Иллюстрации/тип воспроизводства online resource.
336 ## - Тип содержимого
Тип содержимого text
Content type code txt
Source rdacontent
337 ## - Средство доступа
Средство доступа computer
Media type code c
Source rdamedia
338 ## - Тип носителя
Тип носителя online resource
Carrier type code cr
Source rdacarrier
490 1# - Серия
Заглавие серии Progress in Computer Science and Applied Logic,
ISSN серии 2297-0576 ;
№ тома 25
505 0# - Примечание о содержании
Содержание Preface -- Preface to the Second Edition -- I Elements of Mathematical Logic -- 1 Syntax of First-Order Languages -- 2 Models of First-Order Languages -- 3 Formal Inference Systems -- 4 Computability & Representability -- 5 Gödel Theorems -- II Logical Framework of Scientific Discovery -- 6 Sequences of Formal Theories -- 7 Revision Calculus -- 8 Version Sequences -- 9 Inductive Inference -- 10 Meta-Language Environments -- Appendix 1 Sets and Maps -- Appendix 2 Proof of the Representability Theorem -- Bibliography -- Index.
520 ## - Аннотация
Аннотация 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 Gödel’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.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Logic, Symbolic and mathematical.
9 (RLIN) 293145
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Mathematical Logic and Formal Languages.
9 (RLIN) 303363
650 24 - Тематические рубрики
Основная рубрика Mathematical Logic and Foundations.
9 (RLIN) 306112
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие
Унифицированное заглавие Progress in Computer Science and Applied Logic,
9 (RLIN) 447212
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-3-0348-0862-0">http://dx.doi.org/10.1007/978-3-0348-0862-0</a>
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-SMA
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 399484

No items available.