Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

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

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 72121
Автор(ы) : Перемитина Т. О.
Заглавие : Математическая логика и теория алгоритмов : Учебное пособие
Выходные данные : Томск: Томский государственный университет систем управления и радиоэлектроники, 2016
Колич.характеристики :132 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгебра--алгоритм--булева функция--математическая логика--предикат
Аннотация: В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов».
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 66314
Автор(ы) : Новиков П. В.
Заглавие : Логическое программирование : Учебно-методическое пособие к лабораторным работам
Выходные данные : Саратов: Вузовское образование, 2017
Колич.характеристики :103 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4487-0010-1: Б.ц.
УДК : 004.4
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): доменная структура--логическая программа--логическое программирование--металогический предикат--пролог--язык программирования
Аннотация: В пособии описаны все основные синтаксические конструкции языка логического программирования ПРОЛОГ, даны теоретические разъяснения особенностей логического программирования, приведены примеры логических программ, представлены разнообразные варианты задач и упражнений на составление ПРОЛОГ-программ различной трудности. Пособие предназначено для студентов специальностей «Программное обеспечение вычислительной техники и автоматизированных систем», «Программная инженерия», «Вычислительная техника, системы, комплексы и сети», а также для всех изучающих программирование. Знакомство с основными принципами логического программирования расширяет кругозор и существенно повышает квалификацию программиста.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 61982
Автор(ы) : Зайцева О. Н., Нуриев А. Н., Малов П. В.
Заглавие : Математические методы в приложениях. Дискретная математика : Учебное пособие
Выходные данные : Казань: Казанский национальный исследовательский технологический университет, 2014
Колич.характеристики :173 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7882-1570-9: Б.ц.
УДК : 519.1
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): булева алгебра--булева логика--дискретная математика--квантор--математический метод--предикат--теория множеств
Аннотация: В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но иллюстрирована многочисленными простыми для понимания примерами. Изложение курса дискретной математики представлено в форме решения математических задач различной сложности, связанных с программированием. Предложены алгоритмы решения этих задач, написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и дискретная математика», «Логика» студентами института легкой промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»). Подготовлено на кафедре информатики и прикладной математики.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 67258
Автор(ы) : Зыков А. Г., Поляков В. И., Скорубский В. И.
Заглавие : Математическая логика
Выходные данные : Санкт-Петербург: Университет ИТМО, 2013
Колич.характеристики :131 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): аксиоматическая теория--алгебра--высказывание--гипотеза--логика--математика--предикат--формула
Аннотация: В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в моделировании логических схем. Рассматриваются методы решения задач в логике высказываний и логике предикатов. В приложении приводится именной указатель ученых, внесших значительный вклад в развитии логики как науки. Пособие предназначено для студентов, обучающихся по направлениям 230100 «Информатика и вычислительная техника» и 231000 «Программная инженерия».
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 81
Автор(ы) : Крылова В. П.
Заглавие : Корректировочный курс русского языка : Учебное пособие
Выходные данные : Москва: Московский государственный строительный университет, ЭБС АСВ, 2010
Колич.характеристики :148 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 81
ББК : 81
Ключевые слова (''Своб.индексиров.''): грамматическое понятие--иностранный студент--корректировочный курс--предложение--русский язык--строительный вуз--часть речи--языковая база
Аннотация: Предлагаемое учебное пособие по русскому языку адресовано студентам-иностранцам, владеющим русским языком в объёме программы по русскому языку для иностранных учащихся начального этапа обучения. Оно рассчитано на 60-80 часов аудиторного времени (I семестр обучения). Использование данного пособия позволяет учащимся совершенствовать своё владение русским языком. Пособие построено на содержательном материале учебно-научной сферы общения с установкой на овладение общенаучной и специальной языковой базой, что даёт возможность ввести учащихся в необходимую для них учебно-научную сферу профессионального общения. Цель корректировочного курса – подготовить учащихся к восприятию материала, являющегося содержанием основного курса. В центре внимания корректировочного курса находится предложение. Поэтому здесь рассматриваются такие грамматические понятия, как части речи; семантические группы внутри знаменательных частей речи, главным образом имён существительных; субъект и предикат (модель предложения) как ядро предложения, несущее основную информацию; распространители субъекта и предиката, несущие дополнительную информацию.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 21079
Автор(ы) : Ковалева Л. М.
Заглавие : Английская грамматика. Предложение и слово
Выходные данные : Иркутск: Иркутский государственный лингвистический университет, 2008
Колич.характеристики :406 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88267-291-0: Б.ц.
УДК : 81
ББК : 81.432
Ключевые слова (''Своб.индексиров.''): английская грамматика--аспектуально-временные формы--германское языкознание--глагольный предикат--предложение--слово
Аннотация: Монография представляет собой научно-теоретическое издание, посвященное исследованию грамматики английского языка в свете современных представлений науки о языке. Предложение и слово рассматриваются в неразрывном единстве соответственно их способу существования в языке. В результате многие старинные сложные проблемы грамматики предстают в новом свете. Книга предназначена для широкого круга специалистов по общему и германскому языкознанию, а также может быть использована как учебник при подготовке магистров.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 96015
Автор(ы) : Алаев П. Е., Максимова Л. Л.
Заглавие : Математическая логика : Учебное пособие для СПО
Выходные данные : Саратов, Москва: Профобразование, Ай Пи Ар Медиа, 2020
Колич.характеристики :98 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0789-3, 978-5-4497-0450-4: Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгебраическая система--математическая логика--множество--предикат--формула
Аннотация: Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Учебное пособие предназначено для изучения дисциплин «Математическая логика и теория алгоритмов», «Дискретная математика с элементами математической логики», «Элементы математической логики» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность».
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 94547
Автор(ы) : Мирзоев М. С., Матросов В. Л.
Заглавие : Теория алгоритмов : Учебное пособие
Выходные данные : Москва: Прометей, 2019
Колич.характеристики :200 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-907100-65-7: Б.ц.
УДК : 658.14
ББК : 65.290
Ключевые слова (''Своб.индексиров.''): математическая машина--машина тьюринга--навешивание квантора--проблема самоприменимости--рекурсивная функция--рекурсивный предикат--теорема клини--теорема райса--теория алгоритмов
Аннотация: В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 93463
Автор(ы) : Алаев П. Е., Максимова Л. Л.
Заглавие : Математическая логика. В 2 частях. Ч.1 : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный университет, 2018
Колич.характеристики :99 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4437-0731-0, 978-5-4437-0730-3 (ч.1): Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгебраическая система--математическая логика--множество--предикат--формула
Аннотация: Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Первая часть пособия посвящена формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами.
(для доступа требуется авторизация)

Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : 98926
Автор(ы) : Зайцева Е. В.
Заглавие : Формальные системы : Практикум
Выходные данные : Москва: Издательский Дом МИСиС, 2019
Колич.характеристики :36 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 00
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): аксиоматический метод--асу--математический метод--предикат--формальная система
Аннотация: Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
(для доступа требуется авторизация)

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

Статистика обращений

Статистика за 29.06.2024
Число запросов	0
Число посетителей	0
Число заказов	0

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