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

Дискретна математика. Формально-логічні системи та мови
%D0%94%D0%B8%D1%81%D0%BA%D1%80%D0%B5%D1%82%D0%BD%D0%B0+%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0.+%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE-%D0%BB%D0%BE%D0%B3%D1%96%D1%87%D0%BD%D1%96+%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B8+%D1%82%D0%B0+%D0%BC%D0%BE%D0%B2%D0%B8 - фото 1
680 грн
1091
ISBN
978-5-97060-622-3
Видавництво
ДМК Прес
Рік
2018
Сторінок
390
Формат
70х100 1/16 (170х240 мм)
Обкладинка 
Мягкая
Тип паперу 
Офсет
Мова
Русский
Ілюстрації
С иллюстрациями
Вага, г
600
Читати фрагмент
43 людини
  • По ХарковуДоставка кур'єром - 100 грн
    Безкоштовно - від 2000 грн
  • По УкраїніБезкоштовно - от 2000 грн
    Новая Почта - від 40 грн
    Укрпочта - від 25 грн
  • Міжнародна доставкаУкрпошта...
Детальніше про доставку

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

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

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

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

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

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


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

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

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

Ви можете купити придбати книгу з доставкою кур'єром нова пошта Укрпошта Кривий Ріг, Львів, Полтава, Житомир, Харків, Чернігів, Вінниця, Тернопіль, Київ, Луцьк, Рівне, Хмельницький, Херсон, Кіровоград, Миколаїв, Дніпропетровськ, Ужгород, Запоріжжя, Суми, Чернівці, Черкаси, Одеса, Івано-франківськ, інші міста України. только в нашому магазині нізькі ціні, можливий торг, Прямі надходження від видавництва, книги під замовлення, друк книг на замовлення, комп'ютерні книги англійською мовою.