Библиотека АГГПУ

Главная

Упрощенный режим

Описание

Базы данных

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

Вид поиска

Каталог книг

Труды преподавателей

Каталог периодических изданий

Каталог редких книг

Каталог статей

IPRbooks периодика

IPRbooks книги

Межвузовская электронная библиотека

ФЭРУ

Область поиска

Найдено в других БД:

Каталог книг (6)

Труды преподавателей (1)

Каталог статей (13)

Межвузовская электронная библиотека (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=предикат<.>

Общее количество найденных документов : 9
Показаны документы с 1 по 9

72121

Перемитина, Т. О.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Перемитина Т. О. - Томск : Томский государственный университет систем управления и радиоэлектроники, 2016. - 132 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

510

ББК 22.1

Кл.слова (ненормированные):
алгебра -- алгоритм -- булева функция -- математическая логика -- предикат
Аннотация: В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов».

Перейти к внешнему ресурсу: Перейти к просмотру издания
Свободных экз. нет
Найти похожие

66314

Новиков, П. В.
Логическое программирование [Электронный ресурс] : учебно-методическое пособие к лабораторным работам / Новиков П. В. - Саратов : Вузовское образование, 2017. - 103 с. - ISBN 978-5-4487-0010-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

004.4

ББК 32.97

Кл.слова (ненормированные):
доменная структура -- логическая программа -- логическое программирование -- металогический предикат -- пролог -- язык программирования
Аннотация: В пособии описаны все основные синтаксические конструкции языка логического программирования ПРОЛОГ, даны теоретические разъяснения особенностей логического программирования, приведены примеры логических программ, представлены разнообразные варианты задач и упражнений на составление ПРОЛОГ-программ различной трудности. Пособие предназначено для студентов специальностей «Программное обеспечение вычислительной техники и автоматизированных систем», «Программная инженерия», «Вычислительная техника, системы, комплексы и сети», а также для всех изучающих программирование. Знакомство с основными принципами логического программирования расширяет кругозор и существенно повышает квалификацию программиста.

Перейти к внешнему ресурсу: Перейти к просмотру издания
Свободных экз. нет
Найти похожие

61982

Зайцева, О. Н.
Математические методы в приложениях. Дискретная математика [Электронный ресурс] : учебное пособие / Зайцева О. Н. - Казань : Казанский национальный исследовательский технологический университет, 2014. - 173 с. - ISBN 978-5-7882-1570-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

519.1

ББК 22.1

Кл.слова (ненормированные):
булева алгебра -- булева логика -- дискретная математика -- квантор -- математический метод -- предикат -- теория множеств
Аннотация: В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но иллюстрирована многочисленными простыми для понимания примерами. Изложение курса дискретной математики представлено в форме решения математических задач различной сложности, связанных с программированием. Предложены алгоритмы решения этих задач, написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и дискретная математика», «Логика» студентами института легкой промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»). Подготовлено на кафедре информатики и прикладной математики.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Доп.точки доступа:
Нуриев, А. Н.; Малов, П. В.
Свободных экз. нет
Найти похожие

67258

Зыков, А. Г.
Математическая логика [Электронный ресурс] : учебное пособие / Зыков А. Г. - Санкт-Петербург : Университет ИТМО, 2013. - 131 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

510

ББК 22.1

Кл.слова (ненормированные):
аксиоматическая теория -- алгебра -- высказывание -- гипотеза -- логика -- математика -- предикат -- формула
Аннотация: В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в моделировании логических схем. Рассматриваются методы решения задач в логике высказываний и логике предикатов. В приложении приводится именной указатель ученых, внесших значительный вклад в развитии логики как науки. Пособие предназначено для студентов, обучающихся по направлениям 230100 «Информатика и вычислительная техника» и 231000 «Программная инженерия».

Перейти к внешнему ресурсу: Перейти к просмотру издания

Доп.точки доступа:
Поляков, В. И.; Скорубский, В. И.
Свободных экз. нет
Найти похожие

21079

Ковалева, Л. М.
Английская грамматика. Предложение и слово [Электронный ресурс] / Ковалева Л. М. - Иркутск : Иркутский государственный лингвистический университет, 2008. - 406 с. - ISBN 978-5-88267-291-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 81.432

Кл.слова (ненормированные):
английская грамматика -- аспектуально-временные формы -- германское языкознание -- глагольный предикат -- предложение -- слово
Аннотация: Монография представляет собой научно-теоретическое издание, посвященное исследованию грамматики английского языка в свете современных представлений науки о языке. Предложение и слово рассматриваются в неразрывном единстве соответственно их способу существования в языке. В результате многие старинные сложные проблемы грамматики предстают в новом свете. Книга предназначена для широкого круга специалистов по общему и германскому языкознанию, а также может быть использована как учебник при подготовке магистров.

Перейти к внешнему ресурсу: Перейти к просмотру издания
Свободных экз. нет
Найти похожие

510
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Алаев, , П. Е.
    Математическая логика. В 2 частях. Ч.1 [Текст] : учебное пособие / П. Е. Алаев, , Л. Л. Максимова, . - Математическая логика. В 2 частях. Ч.1, 2030-03-06. - Электрон. дан. (1 файл)col. - Новосибирск : Новосибирский государственный университет, 2018. - 99 с. - электронный. - ISBN 978-5-4437-0731-0, 978-5-4437-0730-3 (ч.1) : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК

510

ББК 22.1

Кл.слова (ненормированные):
математическая логика -- формула -- алгебраическая система -- множество -- предикат
Аннотация: Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Первая часть пособия посвящена формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Доп.точки доступа:
Максимова, , Л. Л.
Свободных экз. нет
Найти похожие

658.14
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Мирзоев, , М. С.
    Теория алгоритмов [Текст] : учебное пособие / М. С. Мирзоев, , В. Л. Матросов, . - Теория алгоритмов, Весь срок охраны авторского права. - Электрон. дан. (1 файл)col. - Москва : Прометей, 2019. - 200 с. - электронный. - ISBN 978-5-907100-65-7 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК

658.14

ББК 65.290

Кл.слова (ненормированные):
теория алгоритмов -- математическая машина -- машина Тьюринга -- рекурсивная функция -- рекурсивный предикат -- проблема самоприменимости -- теорема Клини -- теорема Райса -- навешивание квантора
Аннотация: В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Доп.точки доступа:
Матросов, , В. Л.
Свободных экз. нет
Найти похожие

510
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Алаев, , П. Е.
    Математическая логика [Текст] : учебное пособие для спо / П. Е. Алаев, , Л. Л. Максимова, . - Математическая логика, 2030-05-13. - Электрон. дан. (1 файл)col. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. - 98 с. - электронный. - ISBN 978-5-4488-0789-3, 978-5-4497-0450-4 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК

510

ББК 22.1

Кл.слова (ненормированные):
математическая логика -- множество -- формула -- алгебраическая система -- предикат
Аннотация: Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Учебное пособие предназначено для изучения дисциплин «Математическая логика и теория алгоритмов», «Дискретная математика с элементами математической логики», «Элементы математической логики» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность».

Перейти к внешнему ресурсу: Перейти к просмотру издания

Доп.точки доступа:
Максимова, , Л. Л.
Свободных экз. нет
Найти похожие

00
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Зайцева, , Е. В.
    Формальные системы [Текст] : практикум / Е. В. Зайцева, . - Формальные системы, Весь срок охраны авторского права. - Электрон. дан. (1 файл)col. - Москва : Издательский Дом МИСиС, 2019. - 36 с. - электронный. - ISBN 2227-8397 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК

ББК 32.97

Кл.слова (ненормированные):
формальная система -- АСУ -- математический метод -- предикат -- аксиоматический метод
Аннотация: Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».

Перейти к внешнему ресурсу: Перейти к просмотру издания
Свободных экз. нет
Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)