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

Базы данных


БД "Книги" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
в найденном
 Найдено в других БД:БД "Статьи" (4)Труды АМГУ (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логика предикатов<.>)
Общее количество найденных документов : 28
Показаны документы с 1 по 10
 1-10    11-20   21-28 
1.
   22.17
   А39

    Акимов, Олег Евгеньевич.
    Дискретная математика: логика, группы, графы [Текст] : учеб. пособие / О. Е. Акимов. - М. : Лаб. Базовых Знаний, 2001. - 352 с. : ил. - (Технический ун-т). - ISBN 5-93208-053-1 : 90.00 р.
ББК 22.176я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
дискретная математика -- логика Буля -- логика предикатов -- логика высказываний -- группы -- поля многочленов -- графы,виды -- цепи

Экземпляры всего: 4
аб. (4)
Свободны: аб. (4)
Найти похожие
2.
   32.81
   Д25

    Девятков, В. В.
    Системы искусственного интеллекта [Текст] : Учеб. пособие для вузов: Рек. Мин. обр. РФ / В.В. Девятков . - М. : Изд-во Моск. гос. техн. ун-та им. Н.Э. Баумана, 2001. - 352 с. - (Информатика в техническом университете). - ISBN 5703817277 : 75.00 р.
ББК 32.813я73
Рубрики: Искусственный интеллект
Кл.слова (ненормированные):
искусственный интеллект -- логические рассуждения -- логика предикатов -- ситуационная среда -- ситуационные исчисления -- модальность -- дедуктивные базы данных

Экземпляры всего: 10
ч.з. (2), аб. (8)
Свободны: ч.з. (2), аб. (8)
Найти похожие
3.
   87.4
   Г52

    Гладкий, Алексей Всеволодович.
    Введение в современную логику [Текст] : учеб. пособие / А.В.Гладкий. - М. : МЦНМО, 2001. - 200 c. - Предм. указ.: с. 194 .- Библиогр.: с. 191-192. - ISBN 5-900916-98-7 (в пер.) : 91.63 р.
ГРНТИ
02.21
ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
понятия логики -- логические законы -- логика предложений -- рассуждения -- логика предикатов -- логика научного познания

Экземпляры всего: 3
ч.з. (3)
Свободны: ч.з. (3)
Найти похожие
4.
   22.12
   И26

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие: рек. Мин. обр. РФ / В. И. Игошин. - М. : Академия, 2005. - 304 с. - (Высшее проф. образование. Педагогические специальности). - Библиогр.: с. 301 . - ISBN 5-7695-1364-0 (в пер.) : 237.93 р.
ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
алгебра высказываний -- булевы функции -- формализованное исчисление высказываний -- логика предикатов -- теория алгоритмов

Экземпляры всего: 7
аб. (7), ч.з.
Свободны: аб. (7)
Найти похожие
5.
   22.12
   И26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие: рек. Мин. обр. РФ / В. И. Игошин. - М. : Академия, 2004. - 448 с. - (Высшее проф. образование : педагогические специальности). - Библиогр.: с. 435. - ISBN 5-7695-1363-2 (в пер.) : 253.00 р., 2500002201361 р.
ББК 22.12я73
Рубрики: Математическая логика--теория алгоритмов
Кл.слова (ненормированные):
математическая логика -- логика и интуиция -- алгебра высказываний -- логическое следствие, понятие, следствия -- булевы функции -- система аксиом -- логика предикатов -- логические операции -- рекурсивные функции -- теорема Гёделя -- язык ПРОЛОГ, характеристика -- искусственный интеллект, математическая логика

Экземпляры всего: 7
аб. (7), ч.з.
Свободны: аб. (7)
Найти похожие
6.
   32.81
   П71

   
    Представление и использование знаний [Текст] : пер. с яп. / ред. Х. Уэно, М. Исидзука. - М. : Мир, 1989. - 220 с. : рис. - Предм. указ.: с. 216. - ISBN 5-03-000685-0 : 0.85 р.
ББК 32.813
Рубрики: Инженерия знаний--Искусственный интеллект
Кл.слова (ненормированные):
системы знаний -- теория фреймов -- сеть Куиллиана, модель -- нечетные множества -- логика предикатов


Доп.точки доступа:
Уэно, Х. \ред.\; Исидзука, М. \ред.\
Экземпляры всего: 1
аб. (1), кх.
Свободны: аб. (1)
Найти похожие
7.
   32.81
   О-79

    Осуга, Сэцуо.
    Обработка знаний [Текст] / С. Осуга ; Пер. с яп. В. И. Этова. - М. : Мир, 1989. - 293 с. : рис. - Предм. указ.: с. 286 . - ISBN 5-03-000638-9 : 1.10 р.
ББК 32.813
Рубрики: Инженерия знаний--Искусственный интеллект
Кл.слова (ненормированные):
экспертные системы -- логика предикатов -- семантика языков предикатов -- информация, представление в ЭВМ -- ЭВМ, программирование -- обработка знаний


Доп.точки доступа:
Этов, В.И. \пер. с яп.\
Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие
8.
   22.12
   Н72

    Новак, Вилем.
    Математические принципы нечеткой логики [Текст] / В. Новак, И. Перфильева, И. Мочкорж ; пер. с англ., под ред. А. Н. Аверкина. - М. : Физматлит, 2006. - 348 с. - Библиогр.: с. 335. - Предм. указ.: с. 344. - ISBN 5-9221-0399-7 (в пер.) : 233.38 р.
ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
нечеткая логика -- булева алгебра -- логическое исчисление -- классическая логика -- логика предикатов -- функции нечеткой логики


Доп.точки доступа:
Перфильева, И.; Мочкорж, И.; Аверкин, А.Н. \пер. с англ., ред.\
Экземпляры всего: 2
ч.з. (1), аб. (1)
Свободны: ч.з. (1), аб. (1)
Найти похожие
9.
   87.4
   Н51

    Ненашев, Михаил Иванович.
    Введение в логику [Текст] : учеб. пособие: рек. Мин. обр. РФ / М. И. Ненашев. - М. : Гардарики, 2004. - 352 с. - (Disciplinae). - Библиогр.: с. 352. - ISBN 5-8297-0173-1 : 75.00 р.
ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
логика высказываний -- понятие, виды -- суждение, элементы -- дедуктивные умозаключения -- вероятностные умозаключения -- законы логики -- доказательство, виды -- опровержение, виды -- логика предикатов -- неклассическая логика -- модальная логика -- трехзначная логика

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

   
    Логический подход к искусственному интеллекту [Текст] : от модальной логики к логике баз данных: моногр.; пер.с фр. / Ред. Г. П. Гаврилов. - М. : Мир, 1998. - 494 с. : ил. - Библиогр.: с. 471 . - ISSN 5-03-0025. - ISBN 5-03-002519-7. - ISBN 02-04-018757-Х : 15.00 р.
ББК 32.813 + 32.973
Рубрики: Искусственный интеллект
Кл.слова (ненормированные):
языки и логика -- языки, логическое исследование -- модальная логика -- логика предикатов -- интенсиональная логика -- типизированная экстенсиональная логика -- Монтегю, семантика, грамматика -- временная логика -- модифицируемые рассуждения -- логика и базы данных -- реляционная модель -- дедуктивные базы данных -- стратифицированные базы данных


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