Главная Упрощенный режим

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 512/Г 490
Автор(ы) : Гиндикин, Семен Григорьевич
Заглавие : Алгебра логики в задачах
Выходные данные : Москва: Наука, 1972
Колич.характеристики :288 с.: ил.
Цена : 00.76, 00.76, р.
ГРНТИ : 27.03
УДК : 510.6(075)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра логики (функции)--функционально замкнутые классы--элементы вероятностной логики--многозначные логики--логика предикатов
Экземпляры : всего : Х(1), АБУ(5)
Свободны : Х(1), АБУ(5)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 16/Н 512
Автор(ы) : Ненашев, Михаил Иванович
Заглавие : Введение в логику : учебное пособие по философии для студентов социально-гуманитарных и экономических специальностей и направлений подготовки
Выходные данные : Москва: Гардарики, 2004
Колич.характеристики :352 с
Серия: disciplinae
Примечания : Библиогр.: с. 352
ISBN, Цена 5-8297-0173-1: 66.90, 62.80, 66.90, р.
ГРНТИ : 02.21
УДК : 16(075.8)
ББК : Ю4я73
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): логика высказываний--понятиес--суждение--умозаключения дедуктивные--доказательство (логика)--опровержение (логика)--логика предикатов--неклассические логики
Экземпляры : всего : Х(1), АБЗ(10)
Свободны : Х(1), АБЗ(10)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 16/Б 865
Автор(ы) : Бочаров, Вячеслав Александрович, Маркин, Владимир Ильич
Заглавие : Введение в логику : учебник для студентов вузов, изучающих философские дисциплины
Выходные данные : Москва: ИНФРА-М: ФОРУМ, 2008
Колич.характеристики :560 с
Серия: Высшее образование
ISBN, Цена 978-5-8199-0365-0: 264.90, 264.90, 289.85, р.
ГРНТИ : 02.21
УДК : 16(075.8)
ББК : Ю4я73
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): логический анализ языка--логика высказываний--логика предикатов--силлогистика--модальная логика--логика времени--интуиционистская логика--понятие (логика)
Экземпляры : всего : Х(1), АБУ(15), ЧЗГ(1)
Свободны : Х(1), АБУ(15), ЧЗГ(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 16/Г 522
Автор(ы) : Гладкий, Алексей Всеволодович
Заглавие : Введение в современную логику : [Учебное пособие] . -2-е изд., испр.
Выходные данные : Москва: URSS, 2009
Колич.характеристики :240 с
Примечания : Предм. указ.: с. 229-233. - Библиогр.: с. 225-226
ISBN, Цена 978-5-397-00507-4: 60 р.
ГРНТИ : 02.21.05
УДК : 16(075.8)
ББК : Ю4я73
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): логические законы--понятие (логика)--логика предикатов--рассуждения (логика)--логика научного познания--логические парадоксы
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 10661
Автор(ы) : Балюкевич Э. Л.
Заглавие : Дискретная математика : Учебное пособие
Выходные данные : Москва: Евразийский открытый институт, 2009
Колич.характеристики :173 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 5-7764-0252-2: Б.ц.
УДК : 519.1
ББК : 22.176
Ключевые слова (''Своб.индексиров.''): дискретная математика--логика предикатов--теория графов--теория систем--учебное пособие
Аннотация: «Дискретная математика» является математической основой курсов, изучающих современные прикладные экономико-математические методы. Целью изучения данной дисциплины является прочное усвоение студентами теоретических основ дискретной математики, составляющих фундамент ряда математических дисциплин и дисциплин прикладного характера. Содержание курса «Дискретной математики» используется в курсах: «Теория систем и системный анализ», «Информатика и программирование», «Теория вероятностей и математическая статистика», «Исследование операций и методы оптимизации», «Математическое и имитационное моделирование», «Управление проектом».
Перейти: Перейти к просмотру издания
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 10660
Автор(ы) : Ковалёва Л. Ф.
Заглавие : Дискретная математика в задачах : Учебное пособие
Выходные данные : Москва: Евразийский открытый институт, 2011
Колич.характеристики :142 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-374-00514-1: Б.ц.
УДК : 218
ББК : 22.176
Ключевые слова (''Своб.индексиров.''): дискретная математика в задачах--логика предикатов--математика--математическая логика--множества--теория графов--учебное пособие
Аннотация: Данная работа содержит сведения по трем разделам курса «Дискретная математика» – множества, математическая логика, графы, составлена в соответствии с программой курса и представляет собой сборник задач, значительная часть которых носит экономический характер. Каждый раздел содержит разбор типовых задач, ссылки на используемую автором литературу. Задачи снабжены ответами. Работа предназначена для освоения прикладных методов математики в экономике студентами экономических специальностей как дневной, так и заочной формы обучения.
Перейти: Перейти к просмотру издания
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 519/А 603
Автор(ы) : Аляев, Юрий Александрович, Тюрин, Сергей Феофентович
Заглавие : Дискретная математика и математическая логика : учебник для студентов вузов
Выходные данные : Москва: Финансы и статистика, 2006
Колич.характеристики :366 с.: ил.
Примечания : Библиогр.: с. 355-357
ISBN, Цена 5-279-03045-7: 116.80, 116.80, р.
ГРНТИ : 27.01.33
УДК : 519.1 + 510.6](075.8)
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): дискретная математика--математическая логика--комбинаторика--графов теория (математика)--булевы алгебры--кодирования теория--алгоритмы--умозаключение--логика предикатов--логические исчисления (математика)
Экземпляры : всего : Х(1), ЧЗЕ(1), АБУ(31)
Свободны : Х(1), ЧЗЕ(1), АБУ(31)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 517/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов . -3-е изд., стер.
Выходные данные : Москва: Академия, 2007
Колич.характеристики :304 с
Серия: Высшее профессиональное образование. Педагогические специальности
Примечания : Библиогр.: с. 301
ISBN, Цена 5-7695-3728-0: 193.10, 193.10, р.
ГРНТИ : 27.03
УДК : 510.6 + 510.51](076.1)
Предметные рубрики: Математика-- Математическая логика-- Алгоритмы
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--булевы функции--логика предикатов--алгоритмов теория
Экземпляры : всего : Х(1), ЧЗЕ(1), АБУ(28)
Свободны : Х(1), ЧЗЕ(1), АБУ(28)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 517/Н 731
Автор(ы) : Новиков, Петр Сергеевич
Заглавие : Конструктивная математическая логика с точки зрения классической
Выходные данные : Москва: Наука, 1977
Колич.характеристики :328 с
Серия: Математическая логика и основания математики
Примечания : Библиогр.: с. 318
Цена : 1.43, 1.43, р.
ГРНТИ : 27
УДК : 517
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра высказываний--исчисление высказываний--логика предикатов--аксиоматическая арифметика
Экземпляры : всего : АБН(2), Х(1)
Свободны : АБН(2), Х(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 62815
Автор(ы) : Дехтярь М. И.
Заглавие : Лекции по дискретной математике : учебное пособие
Выходные данные : Москва: Интернет-Университет Информационных Технологий (ИНТУИТ), 2016
Колич.характеристики :181 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9556-0110-6: Б.ц.
УДК : 51
ББК : 22.12
Ключевые слова (''Своб.индексиров.''): алгоритм--алгоритмическая процедура--булева функция--граф--дискретная математика--конечный автомат--логика предикатов--учебное пособие--экономика
Аннотация: Это начальный курс по дискретным структурам. Лекции курса содержат все необходимые для изучения основного материала предварительные сведения о множествах, комбинаторике и методе математической индукции. Рассмотрен самый простой и важный класс дискретных функций - булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества («законы логики»), дизъюнктивные и конъюнктивные нормальные формы и многочлены Жегалкина, полные системы функций (теорема Поста), задача выводимости для Хорновских формул. Даны краткое введение в логику предикатов и устанавливаются связи между ней и реляционными базами данных, введение в теорию графов, включающее представления графов, граф достижимости, компоненты сильной связности и базы ориентированного графа, деревья, их обходы, связь деревьев и формул (выражений), три классические задачи теории графов: построение минимального остова, обход графа в глубину (задачу о лабиринте) и задачу о кратчайших путях. Решение большинства рассматриваемых в курсе проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая лекция завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.
Перейти: Перейти к просмотру издания
Найти похожие
 1-10    11-20   21-30   31-38 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 07.08.2024
Число запросов 17713
Число посетителей 448
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)