| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 87.4в635 - Л 694
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н. А. Алешина, В. И. Шалак, В. Н. Стеблецова [и др.]. — Москва : Наука, 1990. — 240 с. : ил. — (Кибернетика-неограниченные возможности и возможные ограничения). — Серия основана в 1963 году. — Лит.: с. 231-235. - Об авт.: с. 235. — ISBN 5-02-007156-0. — Текст : непосредственный.
Экземпляры: Всего: 4, из них: аб.-4 в наличии 4
Подробнее
Авторы: Алешина Н. А., Шалак В. И., Стеблецова В. Н., Смирнов В. А., Анисов А. М., Меськов В. С., Непейвода Н. Н., Быстров П. И., Герасимова И. А.
Отраслевые рубрики: логика, философские науки
Ключевые слова: высказывания, вычислительная техника, доказательство, информатика, искусственный интеллект, компьютеры, моделирование, предикаты, программирование, рассуждения, силлогистика, техника, философия, экспертные системы
Индексы ББК: 87.4в635, 32.973.20, 32.81
Представления: Формат MARC21