Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Библиотечная БД - результаты поиска

Вид поиска
Библиотечная БД
Имидж-каталог
Учебно-методические пособия
Выпускные квалификационные работы
Учебно-методоческие издания
Область поиска
в найденном
 Найдено в других БД:Учебно-методические пособия (1)Выпускные квалификационные работы (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Математическая логика<.>)
Общее количество найденных документов : 27
Показаны документы с 1 по 10
 1-10    11-20   21-27 
1. 510.6
Б 90

    Булос, Дж.
    Вычислимость и логика [Text] / Булос, Дж., Джеффри, Р. ; ред. Артемов С.Н. - М. : Мир, 1994. - 396 с. : ил. - Указ. имен. и предм.:с.388-394. - ISBN 5-03-003067-0 : 6500-00 р.
УДК
510.6
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
Математическая логика


Доп.точки доступа:
Джеффри, Р.; Артемов С.Н. \ред.\
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие
2.    87я7
   Н 53

    Непейвода, Н. Н.
    Прикладная логика [Text] : учебное пособие для вузов / Н. Н. Непейвода ; УдГУ ; Ин-т "Открытое общество". - Ижевск : Изд-во УдГУ, 1997. - 385 с. - Библиогр.: с. 375-376. - Предм. указ.: с. 377-382. - Персоналии: с. 383-384. - ISBN 5-7029-0074-Х (в пер.) : 25.00 р.
УДК
510.6(075)
ББК 87.4я7 + 87.41я7 + 87.42я7
Рубрики: ФИЛОСОФИЯ--ЛОГИКА--ЛОГИЧЕСКИЕ СИСТЕМЫ И ИСЧИСЛЕНИЯ--УЧЕБНИКИ И ПОСОБИЯ
   МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ И ПОСОБИЯ
Кл.слова (ненормированные):
прикладная логика -- математическая логика -- высказывания (логика) -- логический синтаксис -- логическая семантика -- нестандартный анализ -- естественный вывод -- теории определений -- определения (логика) -- семантика -- неформализуемость (логика) -- классическая логика -- язык математики -- язык логики -- множества -- искусственный интеллект -- кодирование -- аксиомы

Экземпляры всего: 3
ООЛ (3)
Свободны: ООЛ (3)
Найти похожие
3. 681.3
Л 69

   
    Логический подход к искусственному интеллекту [Text] : от модальной логики к логике баз данных / Тейз, А. [et al.] ; пер., ред. Гаврилов, Г.П. - М. : Мир, 1998. - 496 с. : ил., табл. - Библиогр.: с. 471-486. - ISBN 5-03-002519-7 (рус.). - ISBN 02-04-018757- Х(франц.) : 30-00 р.
УДК
681.3
519.76
Рубрики: АВТОМАТИКА И ТЕЛЕМЕХАНИКА.ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРОГРАММИРОВАНИЯ
   КИБЕРНЕТИКА--ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Кл.слова (ненормированные):
Искусственный интеллект -- Математическая логика -- Логическое программирование -- Программирование -- Базы данных -- Семантика Монтегю -- Модальная логика -- Логические языки -- Языки логические (математика) -- Естественные языки -- Формальные языки -- Временная логика


Доп.точки доступа:
Тейз, А.; Грибомон, П.; Юлен, Г.; Пирот, А.; Ролан, Д.; Снайерс, Д.; Гаврилов, Г.П. \пер., ред.\
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие
4. 519.7
М 34

    Математические вопросы кибернетики [Text] : сб. ст. / ред. С.В. Яблонский. - М. : Наука: Физматлит, 1998 - .
   Вып.7. - 368 с. : ил., табл., схемы. - Библиогр. в конце ст.- Содерж. предыдущих вып.: с.364-368. - ISBN 5-02-015121-1 (В пер.) : 35-00 р.
УДК
519.7
51(092)
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА
Кл.слова (ненормированные):
Математическая кибернетика -- Кибернетика -- Математическая логика -- Алгоритмы -- Управляющие системы -- Программирование -- Семинары -- Межгосударственные семинары -- Конференции -- Международные конференции


Доп.точки доступа:
Яблонский, С.В. \ред.\
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие
5. 510.6
В 31

   Верещагин, Н. К.
    [Лекции по математической логике и теории алгоритмов] [Text] / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 1999 - .
   Ч. 3 : Вычислимые функции. - 173 с. : ил. - (Современные лекционные курсы). - Библиогр.: с. 166-167. - Предм. указ.: с. 168-173. - Указ. имен: с. 174. - ISBN 5-900916-39-1 : 35-00 р.
УДК
510.6
510
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- вычислимые функции -- вычислимость -- разрешимость -- нумерации -- Тьюринга машины -- функции рекурсивные


Доп.точки доступа:
Шень, А.
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
6. 510(075)
В 31

   Верещагин, Н. К.
    Лекции по математической логике и теории алгоритмов [Text] / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 1999 - .
   Ч. 1 : Начала теории множеств. - 128 с. : ил. - Библиогр.: с. 121-122.- Предм. указ.: с. 123-126.- Указ. имен: с. 127. - ISBN 5-900916-36-7 : 25-00 р.
На обл. авт. не указ.
УДК
510(075)
519.5(075)
510(075)
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
теория множеств -- математическая логика -- множества (математика) -- Кантора теорема -- Рамсея теорема -- Цермело теорема


Доп.точки доступа:
Шень, А.
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие
7. 519.1(075)
Г 67

    Горбатов, В. А.
    Фундаментальные основы дискретной математики. Информационная математика [Текст] : учебник для втузов / Горбатов, В. А. - М. : Наука : Физматлит, 1999. - 544 с. : ил., табл. - Библиогр.: с. 533-535.- Предм. указ.: с. 536-540. - ISBN 5-02-015238-2 (в пер.) : 165-00 р.
УДК
519.1(075)
519.76(075)
Рубрики: МАТЕМАТИКА--ТЕОРИЯ ГРАФОВ--МАТЕМАТИЧЕСКАЯ ТЕОРИЯ ИНФОРМАЦИИ
Кл.слова (ненормированные):
характеризационный анализ -- анализ характеризационный -- дискретная математика -- теория графов -- теория автоматов -- информационная математика -- алгоритмы -- компьютерные арифметики -- множества -- математическая логика -- Булевы функции -- мографы -- формальные грамматики -- компьютерно-информационная математика

Экземпляры всего: 12
ОХиИФ (1), ООЛ (11)
Свободны: ОХиИФ (1), ООЛ (11)
Найти похожие
8. 519.7(06)
М 34

    Математические вопросы кибернетики [Text] : [сборник статей] / ред. О.Б. Лупанов, сост. Н. А. Карпова, сост. О. С. Кулагина, сост. Ю. И. Янов. - М. : ФИЗМАТЛИТ, 2000 - .
   Вып. 9 / сост.: Н. А. Карпова, О. С. Кулагина, Ю. И. Янов. - 272 с. : ил. - Библиогр. в конце ст. - ISBN 5-9221-0070-Х (в пер.) : 30-00 р.
УДК
519.7(06)
51(092)
519.1(06)
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА
Кл.слова (ненормированные):
математика -- дискретная математика -- математическая логика -- теория программирования -- математическая кибернетика


Доп.точки доступа:
Лупанов, О.Б. \ред.\; Карпова, Н. А. \сост.\; Кулагина, О. С. \сост.\; Янов, Ю. И. \сост.\
Экземпляры всего: 2
КХ (1), НТА (1)
Свободны: КХ (1), НТА (1)
Найти похожие
9. 51(075)
С 81

    Стойлова, Л. П.
    Математика [Text] : учебник для вузов / Стойлова, Л. П. - Москва : Академия, 2002. - 420 с. : ил., табл. - (Высшее образование). - ISBN 5-7695-0456-0 (в пер.) : 184-00 р.
УДК
51(075)
Рубрики: МАТЕМАТИКА--ОБЩИЕ ВОПРОСЫ МАТЕМАТИКИ
Кл.слова (ненормированные):
математическая логика -- множества -- алгебра -- числовые функции -- натуральные числа -- делимость чисел -- геометрические фигуры -- геометрические величины

Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие
10. 519(075)
Г 65

    Гончарова, Г. А.
    Элементы дискретной математики [Text] : учеб. пособие для среднего проф. образования / Гончарова, Г. А., Мочалин, А. А. - М. : Форум : Инфра-М, 2003. - 125 с. : ил., табл. - (Профессиональное образование). - Библиогр.: с. 125. - ISBN 5-8199-0059-6. - ISBN 5-16-001154-4 : 40-00 р.
УДК
519(075)
519.1(075)
Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- теория множеств -- предикаты -- теория графов


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