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

Базы данных


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

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

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

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

Доп.точки доступа:
Стяжкин, Н. И. \отв. ред.\; Мчедлишвили, Л. И. \отв. ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
3.
415539-КХ
   32.97
   Б 48

    Беркли, Э.
    Символическая логика и разумные машины [Текст] / Э. Беркли ; Перевод с английского И. В. Соловьева ; Под редакцией и с предисловием Г. Н. Поварова. - Москва : Иностранная литература, 1961. - 260 с. : черт. ; 21. - Библиогр.: с. 241-252. - Пер. изд. : Symbolic logic and intelligent machines / C. Berkeley Edmund. - New York : London. - ISBN 5-СИ-ЛО-БЕ-61 : 1.3 р.
ББК 32.971.3 + 22.12
Рубрики: Счетные машины и приборы вычислительные, электронные
   Математическая логика

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

Доп.точки доступа:
Соловьев, И. В. \пер.\; Поваров, Г. Н. \ред., авт. предисл.\; Edmund, C. Berkeley
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
4.
769684-АБ, 766661-ЧЗ
   22.12
   Б 59

    Бизам, Дьердь.
    Игра и логика : 85 логических задач [Текст] / Д. Бизам, Я. Герцег ; перевод с венгерского Ю. А. Данилова. - Москва : Мир, 1975. - 359 с. : ил. ; 22. - Пер. изд. : Jatek es logika / G. Bizam, J. Herczeg. - (Budapest, 1972). - ISBN 5-ИГ-ЛО-БИ-75 : 1.15 р.
ББК 22.12
Рубрики: Математическая логика

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

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

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

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

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

    Бродский, Иосиф Нусимович.
    Элементарное введение в символическую логику [Текст] / И. Н. Бродский ; Ленинградский государственный университет имени А. А. Жданова. - 2-е перераб. изд. - Ленинград : Изд-во Ленингр. ун-та, 1972. - 62 с. ; 21. - ([В помощь студентам вечерних и заочных вузов]). - ISBN 5-ЭЛ-ВВ-БР-72 : 14.00 р.
ББК 22.12я7
Рубрики: Математическая логика--Учебные издания для заочного обучения

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

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

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

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

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

    Вольвачев, Раймонд Трофимович.
    Элементы математической логики и теории множеств [Текст] / Р. Т. Вольвачев. - Минск : Университетское, 1986. - 111, [1] с. ; 20. - Библиогр.: с. 110 (9 назв.). - 3730 экз.. - ISBN 5-ЭЛ-МА-ВО-86 : 0.30 р.
ББК 22.12я73 + 22.126я73
Рубрики: Математическая логика
   Множеств теория

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

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

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

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

   
    Вопросы кибернетики [Текст] : Сложность вычислений и прикладная математическая логика / Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика" ; под редакцией С. И. Адяна. - Москва : [б. и.], 1988. - 180 с. - Вар. загл. : Сложность вычислений и прикладная математическая логика. - ISBN 5-ВО-КИ-АД-88 : 1.60 р.
ББК 32.81я54 + 22.19я54
Рубрики: Кибернетика--Сборники
   Математическая логика--Сборники

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

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