Изложение основ математической логики и связанных с ней формальных языковОсновные теоретические и практические положенияПодробное описание наиболее часто используемых поняий алгоритмаПримеры алгоритмически неразрешимых проблемИзложение и анализ практических алгоритмовБольшое количество примеров для формирования прочной теоретической базы для дальнейшей работы практикующих программистов и ИТ-специалистовПредложенные задачи могут быть использованы как для проведения практических занятий, так и для самостоятельной работыКнига содержит основные сведения из теории алгоритмов: частично-рекурсивные функции, машины Тьюринга, а также элементы комбинаторики, графы и алгоритмы на графах, потоки в транспортных сетях, рекуррентные последовательности, частично упорядоченные множества, решетки, булевы алгебры. Приведены примеры алгоритмически неразрешимых проблем.В основу книги положен многолетний опыт преподавания авторами дисциплины "Дискретная математика" на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 "Информатика и вычислительная техника", 09.03.02 "Информационные системы и технологии", 09.03.03 "Прикладная информатика", 09.03.04 "Программная инженерия", а также для ИТ-специалистов и разработчиков программных продуктов.
Izlozhenie osnov matematicheskoy logiki i svyazannykh s ney formalnykh yazykovOsnovnye teoreticheskie i prakticheskie polozheniyaPodrobnoe opisanie naibolee chasto ispolzuemykh ponyaiy algoritmaPrimery algoritmicheski nerazreshimykh problemIzlozhenie i analiz prakticheskikh algoritmovBolshoe kolichestvo primerov dlya formirovaniya prochnoy teoreticheskoy bazy dlya dalneyshey raboty praktikuyushchikh programmistov i IT-spetsialistovPredlozhennye zadachi mogut byt ispolzovany kak dlya provedeniya prakticheskikh zanyatiy, tak i dlya samostoyatelnoy rabotyKniga soderzhit osnovnye svedeniya iz teorii algoritmov: chastichno-rekursivnye funktsii, mashiny Tyuringa, a takzhe elementy kombinatoriki, grafy i algoritmy na grafakh, potoki v transportnykh setyakh, rekurrentnye posledovatelnosti, chastichno uporyadochennye mnozhestva, reshetki, bulevy algebry. Privedeny primery algoritmicheski nerazreshimykh problem.V osnovu knigi polozhen mnogoletniy opyt prepodavaniya avtorami distsipliny "Diskretnaya matematika" na fakultete biznes-informatiki, na fakultete kompyuternykh nauk Natsionalnogo issledovatelskogo universiteta Vysshaya shkola ekonomiki i na fakultete avtomatiki i vychislitelnoy tekhniki Natsionalnogo issledovatelskogo universiteta Moskovskiy energeticheskiy institut.Kniga prednaznachena dlya studentov bakalavriata, obuchayushchikhsya po napravleniyam 09.03.01 "Informatika i vychislitelnaya tekhnika", 09.03.02 "Informatsionnye sistemy i tekhnologii", 09.03.03 "Prikladnaya informatika", 09.03.04 "Programmnaya inzheneriya", a takzhe dlya IT-spetsialistov i razrabotchikov programmnykh produktov.