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

Базы данных


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

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

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

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

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

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

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

    Эдельман, Самсон Львович.
    Математическая логика [Текст] : учебное пособие для педагогических институтов / С. Л. Эдельман. - Москва : Высшая школа, 1975. - 176 с. - Библиогр.: с. 172 (14 назв.). - Предм. указ.: с. 173-176. - ISBN 5-МА-ЛО-ЭД-75 : 0.30 р.
ББК 22.12я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений

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

    Шапиро, Самуил Иосифович.
    Решение логических и игровых задач [Текст] / С. И. Шапиро. - Москва : Радио и связь, 1984. - 153 с. - Библиогр.: с. 151. - ISBN 5-РЕ-ЛО-ИГ-ША : 00.55 р.
ББК 22.122
Рубрики: Математическая логика

Держатели документа:
ООПБ
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
5.
635141-КХ, 640150-АБ
   22.14
   М 21

    Мальцев, Анатолий Иванович.
    Алгебраические системы [Текст] / А. И. Мальцев. - Москва : Наука, 1970. - 392 с. : ил. ; 21 ; 1 л. : портр. - (Современная алгебра). - Библиогр.: с. 384-387 (78 назв.). - Предм. указатель: с. 388-392. - 17500 экз.. - ISBN 5-АЛ-СИ-МА-70 : 1.50 р.
ББК 22.14 + 22.124
Рубрики: Алгебра высшая
   Математическая логика

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

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

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

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

    Сайфуллаев, Нигматулла Мирзоевич.
    Логический анализ понятия количества [Текст] / Н. М. Сайфуллаев ; отв. ред. К. К. Одинаев ; АН ТаджССР, Отд. философии. - Душанбе : Дониш, 1989. - 133, [2] с. - Библиогр.: с. 129-134. - ISBN 5-ЛО-АН-ПО-89 : 1.60 р.
ББК 22.122
Рубрики: Математическая логика

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

Доп.точки доступа:
Одинаев, К. К. \ред.\; АН ТаджССР, Отд. философии
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
8.
А118424-КХ
   87.4
   С 38

   
    Синтаксические и семантические исследования неэкстенсиальных логик [Текст] : [сб. ст.] / АН СССР, Ин-т философии ; отв. ред. В. А. Смирнов. - Москва : Наука, 1989. - 308, [1] с. - Библиогр. в конце ст. - ISBN 5-02-008026-8 : 2.90 р.
ББК 87.41я431 + 22.122я431
Рубрики: Математическая логика

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

Доп.точки доступа:
Смирнов, Владимир Александрович \ред.\; АН СССР, Ин-т философии
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
9.
631311-КХ, 639193-АБ
   22.12
   Ф 86

    Фрейденталь, Ханс.
    Язык логики [Текст] / Х. Фрейденталь ; под ред. Ю. А. Гастева. - Москва : Наука, 1969. - 135 с. - ISBN 5-ЯЗ-ЛО-ФР-69 : 00.49 р.
ББК 22.12я73
Рубрики: Математическая логика

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

Доп.точки доступа:
Гастев, Ю. А. \ред.\
Экземпляры всего: 2
КХ (1), АБ (1)
Свободны: КХ (1), АБ (1)
Найти похожие
10.
586085-КХ, 599767-АБ
   22.12
   Р 58

    Робинсон, Авраам.
    Введение в теорию моделей и метаматематику алгебры [Текст] / А. Робинсон ; пер. с англ. А. Б. Волынского ; под ред. А. Д. Тайманова. - Москва : Наука, 1967. - 376 с. - (Математическая логика и основания математики). - Библиогр.: с. 356-372. - Указ.: с. 373-376. - Пер. изд. : Introduction to Model Theory and to the Metamathematics of Algebra / A. Robinson. - Amsterdam, 1963. - ISBN 5-ВВ-ТЕ-МО-67 : 1.65 р.
На обл. авт. и загл. отсутствуют
ББК 22.12
Рубрики: Математическая логика

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

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