Дехтярь М.И., Основы дискретной математики
серия: Основы информационных технологий
Национальный Открытый Университет «ИНТУИТ», 2016 г., 184 стр., 9785947747140 , 222*151*16 мм., тираж: 2000
Описание книги
Это начальный курс по дискретным структурам. Лекции курса содержат все необходимые для изучения основного материала предварительные сведения о множествах, комбинаторике и методе математической индукции.Рассмотрен самый простой и важный класс дискретных функций - булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества (\"законы логики\"), дизъюнктивные и конъюнктивные нормальные формы и многочлены Жегалкина, полные системы функций (теорема Поста), задача выводимости для Хорновских формул. Даны краткое введение в логику предикатов и устанавливаются связи между ней и реляционными базами данных, введение в теорию графов, включающее представления графов, граф достижимости, компоненты сильной связности и базы ориентированного графа, деревья, их обходы, связь деревьев и формул (выражений), три классические задачи теории графов: построение минимального остова, обход графа в глубину (задачу о лабиринте) и задачу о кратчайших путях. Решение большинства рассматриваемых в курсе проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая лекция завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.
Поделиться ссылкой на книгу
Содержание книги
Выходные данные......3Лекция 1. Предварительные сведения......4Лекция 2. Индукция и комбинаторика......16Лекция 3. Булевы функции и их представления......31Лекция 4. Эквивалентность формул и нормальные формы......47Лекция 5. Полные системы функций и теорема Поста......68Лекция 6. Хорновские формулы и задача получения продукции......81Лекция 7. Язык логики предикатов......96Лекция 8. Логика предикатов и базы данных......118Лекция 9. Графы: представления, достижимость и связность......132Лекция 10. Деревья......151Лекция 11. Три алгоритма на графах......163Список литературы......183
Об авторе
Дехтярь М.И.
Кандидат физико-математических наук, доцент кафедры информатики Тверского государственного университета. Работал в Институте математики Сибирского отделения Академии наук. Кандидатскую диссертацию защитил в 1977 г. в МГУ. Приобрел опыт практической разработки программных проектов в Калининском СПКБ средств управления и НПО «Центрпрограммсистем». В течение последних 20 лет работает на факультете Прикладной математики и кибернетики ТвГУ. За это время прочел курсы по таким предметам как дискретная математика, проектирование эффективных алгоритмов, теоретические основы информатики, сложность алгоритмов и случайность, офисное программирование, базы данных, агентно-ориентированное программирование, основы искусственного интеллекта. Преподавание совмещает с научной работой в таких разделах теоретической информатики, как сложность вычислений и алгоритмов, современные базы данных, логическое программирование, многоагентные системы и вычислительная лингвистика. Участник многих отечественных и международных конференций и семинаров. Неоднократно выезжал для проведения совместных научных исследований в университеты Франции и США. Опубликовал более 70 научных работ.
Кандидат физико-математических наук, доцент кафедры информатики Тверского государственного университета. Работал в Институте математики Сибирского отделения Академии наук. Кандидатскую диссертацию защитил в 1977 г. в МГУ. Приобрел опыт практической разработки программных проектов в Калининском СПКБ средств управления и НПО «Центрпрограммсистем». В течение последних 20 лет работает на факультете Прикладной математики и кибернетики ТвГУ. За это время прочел курсы по таким предметам как дискретная математика, проектирование эффективных алгоритмов, теоретические основы информатики, сложность алгоритмов и случайность, офисное программирование, базы данных, агентно-ориентированное программирование, основы искусственного интеллекта. Преподавание совмещает с научной работой в таких разделах теоретической информатики, как сложность вычислений и алгоритмов, современные базы данных, логическое программирование, многоагентные системы и вычислительная лингвистика. Участник многих отечественных и международных конференций и семинаров. Неоднократно выезжал для проведения совместных научных исследований в университеты Франции и США. Опубликовал более 70 научных работ.
Последние поступления в рубрике "Электронные книги, аудиокниги"
 |
Tod eines Soldaten Klinkhammer ". |
 |
Seltene Hunderassen aus aller Welt Frey F. |
 |
Vulpes Lupus Canis Gajaze K. |
Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Дехтярь М.И., Основы дискретной математики в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.
