Описание
Modelling Computing Systems. Mathematics for Computer Science
Артикул Маркета
5824544712
Внешний вид товаров и/или упаковки может быть изменён изготовителем и отличаться от изображенных на Яндекс Маркете.
Пэй
3 564 ₽
–47%
–200 ₽
С доставкой по клику
Заказ от 1500₽
Пэй
3 564 ₽
–47%
Доставка Маркета
27 сен, по клику 0 ₽
Москва
27 сен, пункт выдачи 0 ₽
Москва
Быстрый возврат
О возвратах
Т8 Издательские Технологии
Магазин
19Kзаказов
587подписчиков
6лет на Маркете
О товаре
Описание
Печатная книга «Modelling Computing Systems. Mathematics for Computer Science» в мягкой обложке, язык - английский. В книге 506 страниц, она напечатана на белой офсетной бумаге плотностью 80 г/м². Формат издания — 152x229 мм. Все книги аккуратно упаковываем в прочный трёхслойный непрозрачный картонный конверт.
Introduction.- Part I: Mathematics for Computer Science.- Propositional Logic.- Sets.- Boolean Algebras and Circuits.- Predicate Logic.- Proof Strategies.- Functions.- Relations.- Inductive and Recursive Definitions.- Proofs by Induction.- Games and Strategies.- Part II: Modelling Computing Systems.- Modelling Processes.- Distinguishing Between Processes.- Logical Properties of Processes.- Concurrent Processes.- Temporal Properties.
Introduction.- Part I: Mathematics for Computer Science.- Propositional Logic.- Sets.- Boolean Algebras and Circuits.- Predicate Logic.- Proof Strategies.- Functions.- Relations.- Inductive and Recursive Definitions.- Proofs by Induction.- Games and Strategies.- Part II: Modelling Computing Systems.- Modelling Processes.- Distinguishing Between Processes.- Logical Properties of Processes.- Concurrent Processes.- Temporal Properties.
Характеристики
Артикул Маркета
5824544712
Внешний вид товаров и/или упаковки может быть изменён изготовителем и отличаться от изображенных на Яндекс Маркете.Возрастное ограничение 18+
Нет отзывов и оценок
Но можно задать вопрос, чтобы узнать о товаре больше
Рекомендуем
Войдите в аккаунтИ тогда откроется корзина, а цены на Маркете могут стать ниже
