Дискретна математика. Формально-логічні системи та мови 1091

Паперова книга
1091
Дискретна математика. Формально-логічні системи та мови - фото 1
680
64 людини

Все про “Дискретна математика. Формально-логічні системи та мови”

Від видавця

Книга містить основні відомості з формально-логічних систем. 

Це функції алгебри логіки (булеві функції), теорема Поста про функціональної повноти, k-значні логіки, похідні булевих функцій, аксиоматические обчислення висловлювань, предикатів, секвенцій, резолюцій і мова програмування Пролог. Розглядаються монадическая логіка, кінцеві автомати і представимые ними мови, темпоральна логіка, аксіоматичний мова програмування OBJ3.

В основу книги покладено багаторічний досвід викладання авторами дисципліни «Дискретна математика» на факультеті бізнес-інформатика, на факультеті комп'ютерних наук Національного дослідницького університету Вища школа економіки та на факультеті автоматики та обчислювальної техніки

Національного дослідницького університету Московський енергетичний інститут.

Книга призначена для студентів бакалаврату, які навчаються за напрямами 09.03.01 «Інформатика та обчислювальна техніка», 09.03.02 «Інформаційні системи і технології», 09.03.03 «Прикладна інформатика», 09.03.04 «Програмна інженерія», а також для ІТ-фахівців і розробників програмних продуктів.

Основні теоретичні і практичні положення, виклад і аналіз практичних алгоритмів, иллюстрируемые великою кількістю прикладів, дозволять сформувати міцну теоретичну базу


Книга є продовженням вже вийшла книги "Дискретна математика. Модулярная алгебра, криптографія та кодування".

Анотація

Дискретна математика. Формально-логічні системи та мови

Рецензії

0

Всі характеристики

Товар входить до категорії

  • Самовивіз з відділень поштових операторів від 45 ₴ - 80 ₴
  • Безкоштовна доставка від 3000 грн
Схожі товари
Spring Boot 3 and Spring Framework 6 First Edition
263354
Christian Ullenboom
2'900 ₴
Practical Process Automation. Orchestration and Integration in Microservices and Cloud Native Architectures
153396
Bernd Ruecker
3'000 ₴
Рендеринг на основе законов физики
265508
Мэтт ФаррВензель ДжейкобГрег Хамфрис
3'200 ₴
Mastering Ethereum: Smart Building Contracts and Dapps 1st Edition
67017
Andreas M. Antonopoulos
3'291 ₴
Mastering Android NDK: Master the skills you need to develop portable, highly-functional Android applications using NDK
199178
Sergey KosarevskyVictor Latypov
3'780 ₴
C# 6.0 in a Nutshell. The Definitive Reference 6th Edition
34850
Joseph Albahari, Ben Albahari
3'795 ₴
Fundamentals of Web Development. 3rd Edition
252987
Randy ConnollyRicardo Hoar
3'900 ₴
Advanced Variant Configuration with SAP S/4HANA (SAP PRESS)
263205
Uwe BlumohrAndreas KolblMichael NeuhausMarin Ukalovic
6'200 ₴