Книга: Стивен Коул Клини «Введение в метаматематику»
Производитель: "Либроком" Серия: "Физико-математическое наследие" Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Формат: 170x240мм (средний формат), 526 стр.
ISBN: 978-5-397-00105-2 |
Другие книги схожей тематики:
Автор | Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|---|
С. К. Клини | Введение в метаматематику | Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых… — Либроком, (формат: 70x100/16, 526 стр.) Физико-математическое наследие: математика (история математики) Подробнее... | 2008 | 773 | бумажная книга |
Клини С.К. | Введение в метаматематику. Математическая логика и рекурсивные функции | Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых… — URSS, Физико-математическое наследие Подробнее... | 2009 | 886 | бумажная книга |
С. К. Клини | Введение в метаматематику. Математическая логика и рекурсивные функции | Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых… — Либроком, (формат: 70x100/16, 528 стр.) Природа Дальнего Востока Подробнее... | 2008 | 738 | бумажная книга |
См. также в других словарях:
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
МЕТАЯЗЫК — (от греч. meta после, за, позади) язык, средствами которого исследуются и описываются свойства языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его лексикой, с его грамматической… … Философская энциклопедия
МОДЕЛЬ — (франц. modele, от лат. modulus мера, образец, норма), в логике и методологии науки аналог (схема, структура, знаковая система) определ. фрагмента природной или социальной реальности, порождения человеч. культуры, концептуально теоретич.… … Философская энциклопедия