Поисковый запрос: <.>S=Математическая логика<.> |
Общее количество найденных документов : 30
Показаны документы с 1 по 10 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : 22.12/М 34
Заглавие : Математическая логика и теория алгоритмов
Выходные данные : Новосибирск: Изд-во Ин-та математики, 1993
Колич.характеристики :201 с.:
ил.
Серия: Труды Института математики СО РАН/ Рос. АН, Сиб. отд-ние; т. 25
ISBN, Цена 5-86134-004-8: 1050 р.
ББК : 22.122я54 + 22.127я54
Предметные рубрики: Математическая логика
Алгоритмы
Экземпляры :КХ(1)
Свободны : КХ(1)
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/Б 59
Автор(ы) : Бизам, Дьердь, Герцег, Янош
Заглавие : Многоцветная логика
: 175 логических задач
Выходные данные : М.: Мир, 1978
Колич.характеристики :435 с.:
ил.
ISBN, Цена 5-МН-ЛО-БИ-ГЕ: 1.50 р.
ББК : 22.122
Предметные рубрики: Математическая логика
Экземпляры : всего : АБ(1), ЧЗ(1)
Свободны : АБ(1), ЧЗ(1)
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/А72
Автор(ы) : Антипенко, Леонид Григорьевич
Заглавие : Проблема неполноты теории и ее гносеологическое значение
Выходные данные : Москва: Наука, 1986
Колич.характеристики :224 с
ISBN, Цена 5-ПР-НЕ-ТЕ-АН: 1.20 р.
ББК : 22.122 + 87.251.81
Предметные рубрики: Математическая логика
Диалектическая логика
Экземпляры :КХ(1)
Свободны : КХ(1)
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 22.122/К60
Автор(ы) : Колмогоров, Андрей Николаевич, Драгалин А.Г.
Заглавие : Математическая логика
: учебное пособие для студентов математических специальностей вузов
. -2-е изд., стер.
Выходные данные : М.: УРСС, 2005
Колич.характеристики :240 с.:
ил.; 22
Серия: Классический университетский учебник/ ред. совет: пред. В.А. Садовничий [и др.]
Примечания : На авантит.: 250-летию Моск. ун-та
ISBN, Цена 5-354-01003-9: 264.02 р.
ББК : 22.122я73-1
Предметные рубрики: Математическая логика
Экземпляры :ЧЗ(1)
Свободны : ЧЗ(1)
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 22.17/А 60
Автор(ы) : Аляев, Юрий Александрович, Тюрин, Сергей Феофентович
Заглавие : Дискретная математика и математическая логика
: учебник для студентов высших учебных заведений, обучающихся по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям
Выходные данные : М.: Финансы и статистика, 2006
Колич.характеристики :364, [1] с.:
ил.; 21 см
Примечания : Библиогр.: с. 355-357 (41 назв.)
ISBN, Цена 5-279-03045-7: 176.11 р.
ББК : 22.174я73-1 + 22.122я73
Предметные рубрики: Математическая логика
Дискретная математика
Экземпляры :ЧЗ(1)
Свободны : ЧЗ(1)
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : 22.17/Т 68
Автор(ы) : Триумфгородских, Максим Валерьевич
Заглавие : Дискретная математика и математическая логика для информатиков, экономистов и менеджеров
: учебное пособие для студентов вузов
Выходные данные : М.: Диалог-МИФИ, 2011
Колич.характеристики :180 с.:
рис.
Примечания : Библиогр. в конце глав
ISBN, Цена 978-5-86404-238-0: 207.90 р.
ББК : 22.174я73 + 22.122я73
Предметные рубрики: Математическая логика
Дискретная математика
Экземпляры :ЧЗ(1)
Свободны : ЧЗ(1)
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/В 67
Автор(ы) : Волгин, Леонид Иванович, Левин, Виктор Иосифович
Заглавие : Непрерывная логика. Теория и применения
Выходные данные : Таллин, 1990
Колич.характеристики :210 с.:
ил.
Коллективы :
АН Эстонии
ISBN, Цена 5-НЕ-ЛО-ТЕ-ВО: 12.00 р.
ББК : 22.122
Предметные рубрики: Математическая логика
Экземпляры :КХ(1)
Свободны : КХ(1)
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : 32.81/В 74
Заглавие : Вопросы кибернетики
: неоклассич. логики и их применение: [сб. ст.]
Выходные данные : Б.м., 1982
Колич.характеристики :170 с.:
ил.
Коллективы :
АН СССР, Науч. совет по комплекс. пробл. "Кибернетика"
Примечания : Библиогр. в конце ст.
ISBN, Цена 5-ВО-КИ-НЕ-82: 1.64 р.
ББК : 32.81я54 + 22.122я54
Предметные рубрики: Кибернетика-- Математические основы
Математическая логика
Экземпляры :КХ(1)
Свободны : КХ(1)
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/И 88
Заглавие : Исследование по некласическим логикам и формальным системам
: [сб. ст.]
Выходные данные : М.: Наука, 1983
Колич.характеристики :360 с.:
ил.
Коллективы :
ВИНИТИ
Примечания : Библиогр. в конце ст.
ISBN, Цена 5-ИС-ПО-НЕ-83: 2 р.
ББК : 22.122я43
Предметные рубрики: Математическая логика
Множеств теория
Экземпляры :КХ(1)
Свободны : КХ(1)
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 22.15/К 77
Автор(ы) : Крайзель Г.
Заглавие : Исследования по теории доказательств
: сб. ст.
Выходные данные : М.: Мир, 1981
Колич.характеристики :289 с
Серия: Математика. Новое в зарубежной науке; 23
Примечания : Библиогр. в конце ст.
ISBN, Цена 5-ИС-ПО-ТЕ-КР: 1.80 р.
ББК : 22.151.1 + 22.122
Предметные рубрики: Теоремы-- Доказательство
Математическая логика
Экземпляры :КХ(1)
Свободны : КХ(1)
Найти похожие
|
|
|
|
Главная
Описание
Электронный каталог
Стандартный