Орловская областная научная универсальная публичная библиотека им.И.А.Бунина
Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Электронный каталог- результаты поиска

Вид поиска
Электронный каталог
Аналитические описания статей
Электронный краеведческий каталог
Орловская область в центральной печати
Аналитические описания статей дореволюционной периодики
Аналитические описания непериодических изданий
Музыкально-нотные издания
Объединенный электронный краеведческий каталог муниципальных библиотек
Объединенный электронный каталог муниципальных библиотек
Электронный каталог книг Мценской межпоселенческой районной библиотеки
Электронный каталог межпоселенческой централизованной библиотечной системы Орловского района
Каталог локальных электронных ресурсов
Полнотекстовая база
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>S=Математическая логика<.>
Общее количество найденных документов : 30
Показаны документы с 1 по 10
 1-10    11-20   21-30  
1.
А167096-Ф-КХ
   22.12
   М 34

   
    Математическая логика и теория алгоритмов [Текст] / отв. ред.: Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : Изд-во Ин-та математики, 1993. - 201 с. : ил. - (Труды Института математики СО РАН / Рос. АН, Сиб. отд-ние ; т. 25). - ISBN 5-86134-004-8 : 1050 р.
ББК 22.122я54 + 22.127я54
Рубрики: Математическая логика
   Алгоритмы

Держатели документа:
ООПБ

Доп.точки доступа:
Ершов, Ю. Л. \ред.\; Гончаров, С. С. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
2.
А181823-АБ, 848448-ЧЗ
   22.12
   Б 59

    Бизам, Дьердь.
    Многоцветная логика [Текст] : 175 логических задач / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова. - М. : Мир, 1978. - 435 с. : ил. - ISBN 5-МН-ЛО-БИ-ГЕ : 1.50 р.
ББК 22.122
Рубрики: Математическая логика

Держатели документа:
ООПБ

Доп.точки доступа:
Герцег, Янош; Данилов, Ю. А. \пер.\
Экземпляры всего: 2
АБ (1), ЧЗ (1)
Свободны: АБ (1), ЧЗ (1)
Найти похожие
3.
А26624-КХ
   22.12
   А72

    Антипенко, Леонид Григорьевич.
    Проблема неполноты теории и ее гносеологическое значение [Текст] / Л. Г. Антипенко ; отв. ред.: Н. И. Стяжкин, Л. И. Мчедлишвили. - Москва : Наука, 1986. - 224 с. - ISBN 5-ПР-НЕ-ТЕ-АН : 1.20 р.
ББК 22.122 + 87.251.81
Рубрики: Математическая логика
   Диалектическая логика

Держатели документа:
ООПБ

Доп.точки доступа:
Стяжкин, Н. И. \отв. ред.\; Мчедлишвили, Л. И. \отв. ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
4.
А234350-ЧЗ
   22.122
   К60

    Колмогоров, Андрей Николаевич.
    Математическая логика [Текст] : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин. - 2-е изд., стер. - М. : УРСС, 2005. - 240 с. : ил. ; 22. - (Классический университетский учебник / ред. совет: пред. В.А. Садовничий [и др.]). - 1500 экз.. - ISBN 5-354-01003-9 : 264.02 р.
На авантит.: 250-летию Моск. ун-та
ББК 22.122я73-1
Рубрики: Математическая логика

Держатели документа:
ООПБ

Доп.точки доступа:
Драгалин, А.Г.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
5.
А249443-ЧЗ
   22.17
   А 60

    Аляев, Юрий Александрович.
    Дискретная математика и математическая логика [Текст] : учебник для студентов высших учебных заведений, обучающихся по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 364, [1] с. : ил. ; 21 см. - Библиогр.: с. 355-357 (41 назв.). - 3000 экз.. - ISBN 5-279-03045-7 : 176.11 р.
ББК 22.174я73-1 + 22.122я73
Рубрики: Математическая логика--Учебники для высших учебных заведений
   Дискретная математика--Учебники для высших учебных заведений

Держатели документа:
ООПБ

Доп.точки доступа:
Тюрин, Сергей Феофентович
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
6.
А271512-ЧЗ
   22.17
   Т 68

    Триумфгородских, Максим Валерьевич.
    Дискретная математика и математическая логика для информатиков, экономистов и менеджеров [Текст] : учебное пособие для студентов вузов / М. В. Триумфгородских. - М. : Диалог-МИФИ, 2011. - 180 с. : рис. - Библиогр. в конце глав. - ISBN 978-5-86404-238-0 : 207.90 р.
ББК 22.174я73 + 22.122я73
Рубрики: Математическая логика--Учебники для высших учебных заведений
   Дискретная математика--Учебники для высших учебных заведений

Держатели документа:
ООПБ
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
7.
А150278-КХ
   22.12
   В 67

    Волгин, Леонид Иванович.
    Непрерывная логика. Теория и применения [Текст] / Л. И. Волгин, В. И. Левин ; АН Эстонии. - Таллин : [б. и.], 1990. - 210 с. : ил. - ISBN 5-НЕ-ЛО-ТЕ-ВО : 12.00 р.
ББК 22.122
Рубрики: Математическая логика

Держатели документа:
ООПБ

Доп.точки доступа:
Левин, Виктор Иосифович; АН Эстонии
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
8.
941827-КХ
   32.81
   В 74

   
    Вопросы кибернетики [Текст] : неоклассич. логики и их применение: [сб. ст.] / АН СССР, Науч. совет по комплекс. пробл. "Кибернетика" ; ред.: А. Г. Драгалин, Д. А. Поспелов. - М. : Науч. совет по комплекс. пробл. "Кибернетика" АН СССР, 1982. - 170 с. : ил. - Библиогр. в конце ст. - ISBN 5-ВО-КИ-НЕ-82 : 1.64 р.
ББК 32.81я54 + 22.122я54
Рубрики: Кибернетика--Математические основы--Сборники
   Математическая логика--Сборники

Держатели документа:
ООПБ

Доп.точки доступа:
Драгалин, А. Г. \ред.\; Поспелов, Д. А. \ред.\; АН СССР, Науч. совет по комплекс. пробл. "Кибернетика"
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
9.
962283-КХ
   22.12
   И 88

   
    Исследование по некласическим логикам и формальным системам [Текст] : [сб. ст.] / ВИНИТИ ; [отв. ред. А. И. Михайлов]. - М. : Наука, 1983. - 360 с. : ил. - Библиогр. в конце ст. - ISBN 5-ИС-ПО-НЕ-83 : 2 р.
ББК 22.122я43
Рубрики: Математическая логика--Сборники
   Множеств теория--Сборники

Держатели документа:
ООПБ

Доп.точки доступа:
Михайлов, А. И. \отв. ред.\; ВИНИТИ
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
10.
920601-КХ
   22.15
   К 77

    Крайзель, Г.
    Исследования по теории доказательств [Текст] : сб. ст. / Г. Крайзель ; под ред. С. Ю. Маслова. - М. : Мир, 1981. - 289 с. - (Математика. Новое в зарубежной науке ; 23). - Библиогр. в конце ст. - ISBN 5-ИС-ПО-ТЕ-КР : 1.80 р.
ББК 22.151.1 + 22.122
Рубрики: Теоремы--Доказательство
   Математическая логика

Держатели документа:
ООПБ

Доп.точки доступа:
Маслов, С. Ю. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
 1-10    11-20   21-30  
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)