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

Главная

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

Описание

Базы данных

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

Вид поиска

Каталог книг

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

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

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

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

IPRbooks периодика

IPRbooks книги

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

ФЭРУ

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

в найденном

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

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

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

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

IPRbooks периодика (8)

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

ФЭРУ (5)

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

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

Поисковый запрос: <.>K=логика<.>

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

1-20 21-40 41-60 61-80 81-100 101-120

79802

Светлов, В. А.
Логика [Электронный ресурс] : учебное пособие / Светлов В. А. - Саратов : Ай Пи Эр Медиа, 2019. - 267 с. - ISBN 978-5-4486-0419-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 87.4

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

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

79689

Кащеев, С. И.
Философия [Электронный ресурс] : учебное пособие / Кащеев С. И. - Саратов : Ай Пи Эр Медиа, 2019. - 64 с. - ISBN 978-5-4486-0460-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 87.3

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

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

83325

Антонов, А. П.
Автоматизация проектирования дискретных устройств. Проектирование в среде QUARTUS PRIME. Лабораторный практикум [Электронный ресурс] : учебное пособие / Антонов А. П. - Санкт-Петербург : Санкт-Петербургский политехнический университет Петра Великого, 2018. - 138 с. - ISBN 978-5-7422-6194-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

004.4

ББК 30.2

Кл.слова (ненормированные):
дискретные устройства -- программируемая логика -- проектирование -- цифровые устройства
Аннотация: Лабораторный практикум предназначен для знакомства с основами проектирования в среде Quartus Prime, используемой для создания цифровых устройств на базе СБИС программируемой логики (СБИС ПЛ) компании Intel (Altera). Начальные лабораторные работы посвящены вопросам создания и настройки проектов, использования каталога IP-блоков, а также анализа результатов компиляции проектов. Усложненные лабораторные работы охватывают вопросы, связанные с реализацией устройств в СБИС ПЛ: создание иерархических описаний устройств с использованием схемного ввода, языков описания аппаратуры и IP-блоков, моделирование работы устройств, конфигурация СБИС ПЛ семейства Cyclone V и отладка работы устройств на плате DE1-SoC. В заключительном проекте для закрепления полученных умений и навыков ставится задача создания функционально-сложного устройства. Выполнение всех лабораторных работ рассчитано на использование Quartus Prime Standard (или Lite) Edition версии 15.1. Для студентов, обучающихся по направлению подготовки 09.03.01 «Информатика и вычислительная техника», а также студентов других специальностей, изучающих дисциплину «Автоматизация проектирования дискретных устройств» на английском языке.

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

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

71583

Седов, В. А.
Разработка интеллектуальных систем на базе нечеткой логики в WinFACT [Электронный ресурс] : учебно-методические указания / Седов В. А. - Саратов : Ай Пи Эр Медиа, 2018. - 28 с. - ISBN 978-5-4486-0186-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

004.8

ББК 32.81

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

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

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

71195

Попов, А. М.
Информатика и математика [Электронный ресурс] : учебное пособие для студентов вузов, обучающихся по специальности «Юриспруденция» (030501) / Попов А. М. - Москва : ЮНИТИ-ДАНА, 2017. - 302 с. - ISBN 978-5-238-01396-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

004

ББК 32.81я73

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

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

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

71017

Жоль, К. К.
Логика [Электронный ресурс] : учебное пособие для вузов / Жоль К. К. - Москва : ЮНИТИ-ДАНА, 2017. - 400 с. - ISBN 5-238-00664-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 87.4

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

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

Доп.точки доступа:
Конверский, А. Е. \ред.\
Свободных экз. нет
Найти похожие

81654

Задохина, Н. В.
Математика и информатика. Решение логико-познавательных задач [Электронный ресурс] : учебное пособие для студентов вузов / Задохина Н. В. - Москва : ЮНИТИ-ДАНА, 2017. - 127 с. - ISBN 978-5-238-02661-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

510

ББК 22.12

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

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

69397

Макоха, А. Н.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Макоха А. Н. - Ставрополь : Северо-Кавказский федеральный университет, 2017. - 418 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 22.1

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

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

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

71035

Рузавин, Г. И.
Основы логики и аргументации [Электронный ресурс] : учебное пособие для студентов вузов, обучающихся по гуманитарно-социальным специальностям / Рузавин Г. И. - Москва : ЮНИТИ-ДАНА, 2017. - 320 с. - ISBN 978-5-238-01264-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 87.4

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

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

10.

75601

Теоретико-числовые методы в криптографии [Электронный ресурс] : учебное пособие / сост.: Ф. Б. Тебуева, В. О. Антонов. - Ставрополь : Северо-Кавказский федеральный университет, 2017. - 107 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

004.056

ББК 32.973

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

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

Доп.точки доступа:
Тебуева, Ф. Б. \сост.\; Антонов, В. О. \сост.\
Свободных экз. нет
Найти похожие

11.

72785

Несмеянова, М. А.
Философские проблемы земледелия [Электронный ресурс] : учебное пособие / Несмеянова М. А. - Воронеж : Воронежский Государственный Аграрный Университет им. Императора Петра Первого, 2017. - 204 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 41.4

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

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

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

12.

64053

Душкин, Р. В.
Функциональное программирование на языке Haskell [Электронный ресурс] : учебное пособие / Душкин Р. В. - Саратов : Профобразование, 2017. - 608 с. - ISBN 978-5-4488-0044-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

004.4

ББК 32.973.26

Кл.слова (ненормированные):
haskell -- комбинаторная логика -- функциональное программирование
Аннотация: Данная книга является первым в России изданием, рассматривающая функциональное программирование в полном объеме, достаточном для понимания новичку и для использования книги в качестве справочного пособия теми, кто уже использует парадигму функционального программирования в своей практике. Изучение прикладных основ показано на примере языка Haskell, на сегодняшний день являющегося самым мощным и развитым инструментом функционального программирования. Издание можно использовать и в качестве учебника по функциональному программированию, и в качестве самостоятельного учебного пособия по смежным дисциплинам, в первую очередь по комбинаторной логике и лямбда-исчислению. Также книга будет интересна тем, кто всерьез занимается изучением новых компьютерных технологий, искусственного интеллекта и экспертных систем.

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

13.

66420

В творческой лаборатории журналиста [Электронный ресурс] : учебно-практическое пособие для студентов вузов / сост. В. М. Кривошеев ; ред. В. М. Кривошеев. - Москва : Логос, 2016. - 192 с. - ISBN 978-5-98704-576-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 76

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

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

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

14.

52144

Барский, А. Б.
Введение в нейронные сети [Электронный ресурс] : учебное пособие / Барский А. Б. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 358 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 32.81

Кл.слова (ненормированные):
\"нечеткая\" логика -- математическая логика -- нейронная сеть -- принятие решений -- распознавание -- система искусственного интеллекта -- структура сети -- управление -- учебное пособие
Аннотация: На основе положений математической логики событий исследуются нейронные сети, имитирующие механизмы работы мозга. Эти механизмы реализуют операции вывода по «нечеткой» логике в составе систем искусственного интеллекта - распознавания, управления и принятия решений - во всех областях человеческой деятельности. Рассмотрение многих примеров демонстрирует простейший подход к построению и развитию обученных нейронных сетей «под задачу», а также трассировку - обучение при заданной структуре сети. Главной целью данного курса является демонстрация и внедрение универсального подхода, способного вывести проблему нейронных сетей с уровня частного применения на уровень массового использования практически во всех областях знаний, где требуется логически обосновать принимаемое решение. Утверждается, что самый простой подход к построению нейронных сетей на основе реализуемой нейроном «нечёткой» логики (логических нейронных сетей), продиктован практикой ясного мышления человека. Этот подход приводит к построению всего лишь однослойных нейронных сетей с простейшей функцией активации нейрона, при необходимости дополненных обратными связями.

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

15.

69380

Бережной, В. В.
Дискретная математика [Электронный ресурс] : учебное пособие / Бережной В. В. - Ставрополь : Северо-Кавказский федеральный университет, 2016. - 199 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

519

ББК 22.1

Кл.слова (ненормированные):
информатика -- лекция -- логика -- математика -- образование
Аннотация: Пособие подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования, раскрывает основные принципы и особенности изучения современной информатики и состоит из разделов «Множества и отношения», «Теория графов», «Комбинаторика», «Математическая логика» и «Конечные автоматы». Предназначено для организации и проведения лекционных занятий по дисциплине «Дискретная математика» для направления подготовки 01.03.02 «Прикладная математика и информатика» (Бакалавр). Также может быть использовано студентами направлений 11.03.02 «Инфокоммуникационные технологии и системы связи» (Бакалавр), 10.05.03 «Информационная безопасность автоматизированных систем» (Специалист), 09.03.02 «Информационные системы и технологии».

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

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

16.

73373

Краткий курс по логике [Электронный ресурс] : учебное пособие. - Москва : РИПОЛ классик, Окей-книга, 2016. - 128 с. - ISBN 978-5-409-00845-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 87.4

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

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

17.

62815

Дехтярь, М. И.
Лекции по дискретной математике [Электронный ресурс] : учебное пособие / Дехтярь М. И. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 181 с. - ISBN 978-5-9556-0110-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 22.12

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

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

18.

52220

Барский, А. Б.
Логические нейронные сети [Электронный ресурс] : учебное пособие / Барский А. Б. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 492 с. - ISBN 978-5-94774-646-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

004.032

ББК 32.818

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

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

19.

57348

Золотухин, В. Ф.
Математика. Дискретная математика [Электронный ресурс] : учебник / Золотухин В. Ф. - Ростов-на-Дону : Институт водного транспорта имени Г.Я. Седова – филиал «Государственный морской университет имени адмирала Ф.Ф. Ушакова», 2016. - 129 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 22.1

Кл.слова (ненормированные):
комбинаторный анализ -- математическая логика -- теории алгоритмов -- теории графов -- теория множеств -- эффективность вычислений
Аннотация: Изложен материал по основам математической логики и теории множеств, комбинаторному анализу, теории графов, языкам и грамматикам, конечным автоматам, элементам исчисления предикатов и теории формальных систем, теории алгоритмов и эффективности вычислений. Текст разделов 1, 2, 4, введение и заключение подготовлены В.Ф. Золотухином; разделы 3,5,6 подготовлены В.В. Ольшанским, С.В. Мартемьяновым; А.Е. Богдановым, В.И. Петровой. Одна из главных целей учебника – стремление к балансу между сугубо математическим и прикладным содержанием, что способствует общеобразовательному и профессиональному развитию читателя. Предназначен для подготовки студентов ко всем видам занятий по разделу «Дискретная математика» в курсе «Математика». Он может оказаться полезным и для преподавателей

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

Доп.точки доступа:
Ольшанский, В. В.; Мартемьянов, С. В.; Богданов, А. Е.; Петрова, В. И.
Свободных экз. нет
Найти похожие

20.

59613

Бесценный, И. П.
Математическая логика [Электронный ресурс] : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

510.6

ББК 22.12я73

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

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

Доп.точки доступа:
Бесценная, Е. В.
Свободных экз. нет
Найти похожие

1-20 21-40 41-60 61-80 81-100 101-120

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

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