Normal view
MARC view
Mathematical Logic (Record no. 399484)
[ view plain ]
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.