Прикладная логика
Автор: С. В. Попов, Н. Л. Брошкова
Издательство: ФИЗМАТЛИТ
Год издания: 2011
Страниц: 216
ISBN: 9785922113403
Аннотация:
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислен
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Прикладная логика" (С. В. Попов, Н. Л. Брошкова) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |