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.
|