Основи логіки та обчислювальної техніки: С


Код: 14053061213
8674 грн
Ціна вказана з доставкою в Україну
Товар є в наявності
ЯК ЕКОНОМИТИ НА ДОСТАВКЕ?
Замовляйте велику кількість товарів у цього продавця
Інформація
  • Час доставки: 7-10 днів
  • Стан товару: новий
  • Доступна кількість: 1

Покупая «Основы логики и вычислений: с» данный товар из каталога «Электроника, робототехника» вы можете быть уверены, что после оформления заказа, доставки в Украину, вы получите именно то, что заказывали, в оговоренные сроки и европейского качества.

Основи логіки та обчислень: з практичним автоматизованим міркуванням і перевіркою

Hou Zhe

  • Видавець: Springer Nature Switzerland AG
  • Дата випуску: 2021
  • ISBN: 9783030878818
  • Кількість сторінок: 222
  • Формат: 160 x 242 x 19
  • Тип палітурки:Тверда

Опис продукту:

Цей підручник має на меті допомогти читачеві розвинути глибоке розуміння логічних міркувань і отримати знання з теорії обчислень. З точки зору змісту, ця книга зосереджена на синтаксисі, семантиці та теорії доказів різних логік; Ця книга написана для високого рівня бакалаврату або магістратури.