Логика является одним из важнейших источников развитии современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. Для читателей, интересующихся перспективами современной компьютерной революции, в особенности для тех, кто изучает и преподает информатику.
Что такое правильное рассуждение? Посылки и заключения.
Возникновение науки было таким фактом истории человечества, которому невозможно найти что-либо равное по значимости как для самих людей, так и для окружающей их природы. Именно выделение, формирование и развитие научного знания стало принципиально новой ступенью в процессе освоения человеком объективной реальности. Вообще говоря, это бесспорно и на сегодняшний день даже тривиально. Однако нетривиальным является вопрос о том, что именно позволяет нам говорить, что с такого-то времени донаучное познание уступило свой приоритет научному. Какие качественные изменения методов и форм мышления и познания можно считать собственно "рождением" науки? В.И.Вернадский датирует возникновение науки открытием Александрийского музея. И дело здесь, конечно, не в том, чтобы установить, какие именно существенные, глубинные изменения в интеллектуальной деятельности древних знаменовали собой зарождение науки. Результатом таких изменений было, в частности, и открытие знаменитого музея в Александрии.
ОГЛАВЛЕНИЕ.
Предисловие.
Глава 1.Классическая первопорядковая логика.
Глава 2.Логика в программировании.
Глава 3.О доказательствах правильности программ.
Глава 4.Поиск доказательства..
Глава 5.Приложение логики к проблемам искусственного интеллекта
Литература.
Об авторах.
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Логика и компьютер, Моделирование рассуждений и проверка правильности программ, Алешина Н.А., Анисов А.М., Быстров П.И., 1990 - fileskachat.com, быстрое и бесплатное скачивание.
Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу
Скачать - pdf - Яндекс.Диск.
Дата публикации:
Теги: Алешина :: Анисов :: Быстров :: книги по логике :: логика :: компьютеры :: информатика
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
- Эффективные приемы набора и редактирования текста, Попов М.П., 2006
- Компьютерная поддержка сложных организационно-технических систем, Борисов В.В., Бычков И.А., Дементьев А.В., Соловьев А.П., Федулов А.С., 2002
- Статобработка экспериментальных данных в MS Excel, учебное пособие, Бондарчук С.С., Бондарчук И.С., 2018
- Архитектура ЭВМ и систем, Громов Ю.Ю., Иванова О.Г., Серегин М.Ю., 2012
Предыдущие статьи:
- Моделирование антенных устройств в Matlab с использованием пакета расширения Antenna Toolbox, Типикин А.А., 2019
- Информационно-управляющие системы, Архитектура и разработка, учебное пособие, Александрова О.Н., Ваулин С.С., Папуловская Н.В., 2021
- Принципы построения и функционирования аппаратно-программных средств телекоммуникационных систем: учебное пособие, часть 2, Макаренко С.И., Ковальский А.А., Краснов С.А., 2020
- Использование возможностей программного пакета Microsoft Excel при решении задач по физике, Калаков Б.А., Шевченко И.М., 2014