Сводный электронный каталог

научно-технических библиотек Томского научного центра СО РАН

Результат поиска

Результаты: 61 - 70 из 590 для dc.subject any/relevant "ЛОГИКА ЛОГИЧЕСК ... ( 0.246 сек.)

61
Математическое моделирование: проблемы и результаты / под ред. И. М. Макарова. — М.: Наука, 2003. — 478 с.: ил. — (Информатика: неограниченные возможности и возможные ограничения). — Авт. указаны на обороте тит. л. — ISBN 5-02-006202-2: 176.00.
Детальное описание | Добавить в корзину | Похожие записи
62
Информатика. — М.: ВИМИ, 1993. — 72 с. — (Автоматизированные системы управления). — 2.000.
Детальное описание | Добавить в корзину | Похожие записи
63
Айзенберг, Наум Нисонович.
Многозначная пороговая логика / Н. Н. Айзенберг, Ю. Л. Иваськив; Академия наук Украинской ССР Ордена Ленина институт кибернетики. — Киев: Наукова Думка, 1977. — 145, [3] с. — Библиогр.: с. 145-146. — 1.10.
Детальное описание | Добавить в корзину | Похожие записи
64
Шенфилд, Джозеф.
Математическая логика / Дж. Шенфилд; Пер. с англ.; под ред. Ю. Л. Ершова. — М.: Наука. Главная редакция физико-математической литературы, 1975. — 527, [1] с. — (Математическая логика и основания математики). — 2.16.
Детальное описание | Добавить в корзину | Похожие записи
65
Колмогоров, Андрей Николаевич.
Математическая логика: дополнительные главы: [учебное пособие для математических специальностей] / А. Н. Колмогоров, А. Г. Драгалин; Моск. гос. ун-т им. М. В. Ломоносова. — Изд. 4-е, обновл. — М.: Едиториал УРСС, [2013?]. — 236, [1] с.; 22 см. — (Классический университетский учебник). — На тит. с. и обл.: Моск. гос. ун-т им. М. В. Ломоносова-250 лет. — Библиогр.: с. 227-228. — ISBN 978-5-354-01448-4: 461.00.
Авторы начтоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдыющиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, который читали оба автора на механико-математическом факультете МГУ им. М.В.Ломоносова. Изложение фундаментальных факторов современной логики (начал аксиоматической теории множетв, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает спец.подготовки и рассчитано на широкий круг читателей, которым интересны математическая логика и философские проблемы современной математики.
Детальное описание | Добавить в корзину | Похожие записи
66
Избранные вопросы алгебры и логики: сборник, посвященный памяти А. И. Мальцева / АН СССР, Сиб. отд-ние, Институт математики. — Новосибирск: Наука, 1973. — 338 с.: ил. — 2.20.
Детальное описание | Добавить в корзину | Похожие записи
67
Яблонский, Сергей Всеволодович.
Введение в дискретную математику: учеб. пособие для вузов по спец. "Прикл. математика" / С. В. Яблонский. — 2-е изд., перераб. и доп. — М.: Наука, 1986. — 384 с.: ил. — Предм. указ.: с. 373-379. — Библиогр.: с. 370-372. — 0.95.
Детальное описание | Добавить в корзину | Похожие записи
68
Успенский, Владимир Андреевич.
Теорема Геделя о неполноте / В. А. Успенский. — М.: Наука, 1982. — 111 с.: ил. — (Популярные лекции по математике). — 0.15.
Детальное описание | Добавить в корзину | Похожие записи
69
Вопросы алгебры и логики / Рос. АН, Сиб. отд-ние ; отв. ред. : Л. Ю. Ершов, В. Д. Мазуров. — Новосибирск: ИМ СО РАН, 1996. — 192 с.: ил. — (Труды Института математики им. С. Л. Соболева СО РАН). — ISBN 5-86134-019-6: 10000.00.
Детальное описание | Добавить в корзину | Похожие записи
70
Ильенков, Эвальд Васильевич.
Диалектическая логика: очерки истории и теории / Э. В. Ильенков. — 2-е изд., доп. — М.: Издательство политической литературы, 1984. — 318, [2] с. — 1.50.
Детальное описание | Добавить в корзину | Похожие записи