Дискретная математика : формально-логические системы и языки
Здесь можно купить книгу "Дискретная математика : формально-логические системы и языки" в печатном или электронном виде. Также, Вы можете прочесть аннотацию, цитаты и содержание, ознакомиться и оставить отзывы (комментарии) об этой книге.
Место издания: Москва
ISBN: 978-5-97060-622-3
Страниц: 352
Артикул: 94554
Краткая аннотация книги "Дискретная математика"
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3.
В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.
Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов.
Содержание книги "Дискретная математика : формально-логические системы и языки"
Предисловие
Введение
Часть I. АЛГЕБРА ЛОГИКИ И ПРЕДИКАТЫ
Глава 1. Алгебра логики
Глава 2. Функции k-значной логики
Глава 3. Производные булевой функции в синтезе логических схем
Глава 4. Синтез схем из функциональных элементов
Глава 5. Аксиоматическое исчисление высказываний
Глава 6. Логика предикатов
Глава 7. Аксиоматическое исчисление предикатов
Глава 8. Исчисление секвенций
Глава 9. Метод резолюций в логике предикатов и Пролог
Часть II. МОНАДИЧЕСКАЯ ЛОГИКА И КОНЕЧНЫЕ АВТОМАТЫ
Глава 10. Конечные автоматы
Глава 11. Автоматы и сверхъязыки
Глава 12. Проблема униформизации
Глава 13. Монадическая логика натуральных чисел
Глава 14. Темпоральная логика
Глава 15. Аксиоматический язык программирования OBJ3
Приложение 1. Логика высказываний и предикатов. Пролог
Приложение 2. Конечные автоматы
Приложение 3. Анализ конечных автоматов
Приложение 4. Синтез конечных автоматов
Литература
Обозначения
Все отзывы о книге Дискретная математика : формально-логические системы и языки
Авдошин С. М. другие книги автора
С книгой "Дискретная математика" читают
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Внимание!
При обнаружении неточностей или ошибок в описании книги "Дискретная математика : формально-логические системы и языки (автор С. Авдошин, А. Набебин)", просим Вас отправить сообщение на почту help@directmedia.ru. Благодарим!
и мы свяжемся с вами в течение 15 минут
за оставленную заявку