Зведений каталог бібліотек Тернополя

 

32.81
Л69    Логика и компьютер. Моделирование рассуждений и проверка правильности программ [Текст] / Редкол.: И.М. Макаров, С.В. Емельянов и др. — М. : Наука, 1990. — 240с.
ISBN 5-02-007156-0


- Анотація:

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

- Теми документа

  • ББК // 32.81 Кібернетика. Теорія інформації.Загальна теорія зв'язку. Випадкові процеси. Випадкові сигнали. Канали зв'язку. Кодування. Прешкоди. Теорія складних систем
  • УДК // Обладнання для обробки даних



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Тернопільського національного технічного університету ім. І.Пулюя 2 Перейти на сайт
Наукова бібліотека Тернопільського національного педагогічного університету імені Володимира Гнатюка 1 Перейти на сайт