Книжная полка букинистический сайт
  Главная    Разделы    Каталог    Оформление заказа    Ссылки   

Алешена Н.А., Анисов А.М., Быстров П.И. и др.
Логика и компьютер : Моделирование рассуждений и проверка правильности программ.

Издательство: Наука, 1990
Формат: 84 х 108 / 32
Количество страниц: 240
Обложка: Мягкая
Состояние: Отличное.

Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, , в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий.
Для читателей, интересующихся перспективами современной компьютерной революции, в особенности для тех, кто изучает и преподает информатику.


Цена: 200 руб.
НЕДРА, 1973
Березин В.Л., Шутов В.Е.
Прочность и устойчивость резервуаров и трубопроводов.
Наука, 1971
Митропольский А.К.
Техника статистических вычислений.
М:Мир, 1979
Райншке К.
Модели надежности и чувствительности систем.
НАУКА, 1968
Чернина В.С.
Статика тонкостенных оболочек вращения.
Машиностроение, 1975
Слюсарев Г.Г.
РАСЧЕТ ОПТИЧЕСКИХ СИСТЕМ.

Яндекс.Метрика

Copyright © SecondHandBook.ru