Дискретная математика. Формально-логические системы и языки » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Enterprise Digital Reliability: Building Security, Usability, and Digital Trust Enterprise Digital Reliability: Building Security, Usability, and Digital Trust Digital Twins and Cybersecurity: Safeguarding the Future of Connected Systems Digital Twins and Cybersecurity: Safeguarding the Future of Connected Systems Adobe Elements User Manual - 6th Edition 2024 Adobe Elements User Manual - 6th Edition 2024 Computational Physics: Problem Solving with Python, 4th Edition Computational Physics: Problem Solving with Python, 4th Edition C# 12. Справочник. Полное описание языка C# 12. Справочник. Полное описание языка Node JS and React JS For Beginners: Your Step-By-Step Guide For Beginners To Learn Node JS and React JS Node JS and React JS For Beginners: Your Step-By-Step Guide For Beginners To Learn Node JS and React JS Collaborative Software Design: How to facilitate domain modeling decisions (Final Release) Collaborative Software Design: How to facilitate domain modeling decisions (Final Release) Светлана Кусова. Хлеб рецепты Светлана Кусова. Хлеб рецепты Новогоднее меню от Кати Янг (2024) Новогоднее меню от Кати Янг (2024) Новогодний сборник полезных рецептов Новогодний сборник полезных рецептов Contact: Art and the Pull of Print Contact: Art and the Pull of Print Правильный Личный Брендинг Правильный Личный Брендинг Transition Metal Carbides and Nitrides (MXenes) Handbook: Synthesis, Processing, Properties and Applications Transition Metal Carbides and Nitrides (MXenes) Handbook: Synthesis, Processing, Properties and Applications Integrated Bioprocess Engineering (De Gruyter Textbook), 2nd edition Integrated Bioprocess Engineering (De Gruyter Textbook), 2nd edition X-ray Absorption Spectroscopy X-ray Absorption Spectroscopy Diary of the Dark Years, 1940-1944: Collaboration, Resistance, and Daily Life in Occupied Paris Diary of the Dark Years, 1940-1944: Collaboration, Resistance, and Daily Life in Occupied Paris
Enterprise Digital Reliability: Building Security, Usability, and Digital Trust Enterprise Digital Reliability: Building Security, Usability, and Digital Trust Digital Twins and Cybersecurity: Safeguarding the Future of Connected Systems Digital Twins and Cybersecurity: Safeguarding the Future of Connected Systems Adobe Elements User Manual - 6th Edition 2024 Adobe Elements User Manual - 6th Edition 2024 Computational Physics: Problem Solving with Python, 4th Edition Computational Physics: Problem Solving with Python, 4th Edition C# 12. Справочник. Полное описание языка C# 12. Справочник. Полное описание языка Node JS and React JS For Beginners: Your Step-By-Step Guide For Beginners To Learn Node JS and React JS Node JS and React JS For Beginners: Your Step-By-Step Guide For Beginners To Learn Node JS and React JS Collaborative Software Design: How to facilitate domain modeling decisions (Final Release) Collaborative Software Design: How to facilitate domain modeling decisions (Final Release) Светлана Кусова. Хлеб рецепты Светлана Кусова. Хлеб рецепты Новогоднее меню от Кати Янг (2024) Новогоднее меню от Кати Янг (2024) Новогодний сборник полезных рецептов Новогодний сборник полезных рецептов Contact: Art and the Pull of Print Contact: Art and the Pull of Print Правильный Личный Брендинг Правильный Личный Брендинг Transition Metal Carbides and Nitrides (MXenes) Handbook: Synthesis, Processing, Properties and Applications Transition Metal Carbides and Nitrides (MXenes) Handbook: Synthesis, Processing, Properties and Applications Integrated Bioprocess Engineering (De Gruyter Textbook), 2nd edition Integrated Bioprocess Engineering (De Gruyter Textbook), 2nd edition X-ray Absorption Spectroscopy X-ray Absorption Spectroscopy Diary of the Dark Years, 1940-1944: Collaboration, Resistance, and Daily Life in Occupied Paris Diary of the Dark Years, 1940-1944: Collaboration, Resistance, and Daily Life in Occupied Paris
Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА
Дискретная математика. Формально-логические системы и языки
Добавил: umkaS / 9-11-2024, 13:09 /
Название: Дискретная математика. Формально-логические системы и языки
Автор: Авдошин С.М., Набебин А.А.
Издательство: ДМK Преcc
Год: 2018
Cтраниц: 390
Формат: pdf (ocr)
Размер: 17 мб
Язык: русский

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

Скачать Авдошин С.М., Набебин А.А. Дискретная математика: Формально-логические системы и языки


ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!





[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!