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

Базы данных


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

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
в найденном
 Найдено в других БД:БД "Статьи" (4)Труды АМГУ (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логика предикатов<.>)
Общее количество найденных документов : 28
Показаны документы с 1 по 20
 1-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
Рубрики: Искусственный интеллект
Кл.слова (ненормированные):
языки и логика -- языки, логическое исследование -- модальная логика -- логика предикатов -- интенсиональная логика -- типизированная экстенсиональная логика -- Монтегю, семантика, грамматика -- временная логика -- модифицируемые рассуждения -- логика и базы данных -- реляционная модель -- дедуктивные базы данных -- стратифицированные базы данных


Доп.точки доступа:
Гаврилов, Г.П. \ред.\ ч.з.
Свободных экз. нет
Найти похожие
11.
   22.12
   К17

    Калужнин, Лев Аркадьевич.
    Что такое математическая логика? [Текст] / Л. А. Калужнин. - М. : Наука, 1964. - 151 с. - Библиогр.: с. 149. - 0.21 р.
ББК 22.12
Рубрики: Матаматическая логика
Кл.слова (ненормированные):
логика математическая -- булевы функции -- истинные формулы логики -- логика предикатов -- кванторы -- основания математики и математическая логика

Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие
12.
   У
   М34

   
    Математическая логика и теория алгоритмов [Электронный ресурс] : учеб.-метод. комплекс по дисц. для спец. 010101 Математика; 010501 - Прикладная математика / АмГУ, ФМиИ ; сост. Н. В. Кван. - Благовещенск : Изд-во Амур. гос. ун-та, 2007. - 205 с. - Б. ц.
ББК 22.12я73
Рубрики: Математическая логика--теория алгоритмов
Кл.слова (ненормированные):
алгебра логики -- булевы функции -- исчисление высказываний -- логика предикатов -- математические теории -- основы теории алгоритмов

Перейти: http://irbis.amursu.ru/DigitalLibrary/AmurSU_Edition/617.pdf

Доп.точки доступа:
Кван, Наталья Владимировна \сост.\; Амурский государственный университет. Факультет математики и информатики
Экземпляры всего: 1
эл. б-ка АмГУ (1)
Свободны: эл. б-ка АмГУ (1)
Найти похожие
13.
   22.17
   С54

    Соболева, Татьяна Сергеевна.
    Дискретная математика [Текст] : учеб.: доп. Мин. обр. РФ / Т. С. Соболева, А. В. Чечкин. - М. : Академия, 2006. - 256 с. : рис., табл. - (Университетский учебник. Прикладная математика и информатика). - Библиогр.: с. 252. - ISBN 5-7695-2823-0 (в пер.) : 225.50 р.
ББК 22.176я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
теория множеств, понятия -- отображение множеств, понятие -- конечные множества -- комбинаторика -- бесконечные множества -- отношения на множествах -- теория графов, элементы -- плоские графы -- сети Петри -- алгебраические операции -- Булевы функции -- топологические пространства -- решетки -- логика высказываний -- законы логики высказываний -- тавтология -- логика предикатов -- исчисление предикатов -- аксиоматическая теория -- математическая кибернетика -- теория алгоритмов -- теория кодирования, элементы -- хемминговы коды -- математическая информатика -- ультраоператоры


Доп.точки доступа:
Чечкин, Александр Витальевич
Экземпляры всего: 10
ч.з. (3), аб. (7)
Свободны: ч.з. (3), аб. (7)
Найти похожие
14.
   У
   М34

   
    Математическая логика и теория алгоритмов [Текст] : учеб.-метод. комплекс для спец. 010101-Математика, 010500-Прикладная математика / АмГУ, ФМиИ ; сост. Н. В. Кван. - Благовещенск : Изд-во Амур. гос. ун-та, 2007. - 206 с. - 61.50 р.
ББК 22.12я73
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
алгебра логики -- булевы функции -- исчисление высказываний -- логика предикатов -- математические теории -- теория алгоритмов


Доп.точки доступа:
Кван, Наталья Владимировна \сост.\; Амурский государственный университет. Факультет математики и информатики
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
15.
   22.12
   Ш24

    Шапорев, Сергей Дмитриевич.
    Математическая логика [Текст] : курс лекций и практ. занятий: учеб. пособие: рек. НМС / С.Д. Шапорев. - СПб. : БХВ-Петербург, 2007. - 410 с. : рис., табл. - Библиогр.: с. 405 . - Предм. указ.: с. 406 . - ISBN 978-5-94157-702-6 (в пер.) : 308.45 р.
ББК 22.12я73
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
алгебра логики -- алгебра высказываний -- исчисление высказываний -- логика предикатов -- исчисление предикатов -- теория алгоритмов

Экземпляры всего: 15
ч.з. (3), аб. (12)
Свободны: ч.з. (3), аб. (12)
Найти похожие
16.
   87.4
   И25

    Ивлев, Юрий Васильевич.
    Логика [Текст] : учеб. : рек. Мин. обр. РФ / Ю. В. Ивлев. - 4-е изд., перераб. и доп. - М. : Проспект, 2009. - 296 с. : ил. - ISBN 978-5-392-00356-3 (в пер.) : 185.76 р.
ББК 87.4я73
Рубрики: Философия
   Логика
Кл.слова (ненормированные):
формальная логика -- история логики -- логический закон -- простые суждения -- сложные суждения -- дедуктивные умозаключения -- логика высказываний -- логика предикатов -- индуктивные умозаключения -- логическая форма понятия -- диаграммы Венна -- аргументация и доказательство -- тактика аргументации -- формы развития знания -- гипотеза -- управленческое решение
Аннотация: Данный учебник соответствует программе курса логики для высших учебных заведений. В нем учтены последние научные разработки в этой области. В каждом разделе учебника приведены интересные упражнения, позволяющие легче усвоить материал.

Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
17.
   87.4
   П58

    Попов, Юрий Петрович.
    Логика [Текст] : учеб. пособие / Ю.П. Попов. - 3-е изд., перераб. и доп. - М. : КноРус, 2009. - 295 с. - Библиогр. : с. 295. - ISBN 978-5-390-00251-3 (в пер.) : 199.80 р.
ББК 87.4я73
Рубрики: Философия
   Логика
Кл.слова (ненормированные):
правила определения понятий -- суждение, типы, структура -- модальные суждения -- законы логики -- умозаключение -- индукция, виды -- аналогия -- доказательство, структура, виды -- символическая логика -- логика высказываний -- логика предикатов -- логическое конструирование
Аннотация: Помимо основных разделов курса большое внимание уделяется философско-методологическим проблемам науки.

Экземпляры всего: 2
ч.з. (1), аб. (1)
Свободны: ч.з. (1), аб. (1)
Найти похожие
18.
   87.4
   З-47

    Зегет, Вольфганг.
    Элементарная логика [Текст] : пер. с нем. / В. Зегет ; ред., авт. предисл. Е. Б. Кузина. - М. : Высш. шк., 1985. - 256 с. - Библиогр. : с. 254. - 0.60 р.
ББК 87.4
Рубрики: Философия--Логика
Кл.слова (ненормированные):
логика высказываний -- импликация -- логика предикатов -- умозаключение -- законы логики


Доп.точки доступа:
Кузина, Е.Б. \ред., авт. предисл.\
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
19.
   22.12
   Г97

    Гуц, Александр Константинович.
    Математическая логика и теория алгоритмов [Текст] : [учеб. пособие] / А.К. Гуц. - 2-е изд., доп. - М. : ЛИБРОКОМ, 2009. - 117 с. - Библиогр. : с. 114. - ISBN 978-5-397-00056-7 :
ББК 22.12я73
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
классическая логика -- логика высказываний -- законы логики -- алгебра Буля -- логическое следствие -- силлогизмы -- логика предикатов -- формальные теории -- неклассические логики -- нечеткая логика -- алгоритмы -- алгоритмические логики -- временные логики -- сложность алгоритмов -- алгоритмы реальности
Аннотация: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга - Поста, нормальных алгоритмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".

Держатели документа:
БД Книги КО ч.з.
Свободных экз. нет
Найти похожие
20.
   22.12
   Л65

    Лихтарников, Леонид Моисеевич.
    Математическая логика [Текст] : курс лекций. Задачник-практикум и решения: учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - СПб. : Лань, 2009. - 277 с. - Библиогр. : с. 273 . - ISBN 978-5-8114-0082-9 (в пер.) : 304.48 р.
ББК 22.12я73
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы


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