ot;импликация", "эквиваленция", "разделительная дизъюнкция", составлять таблицы истинности.
С рассуждением в нашем мире мы сталкиваемся ежеминутно. Дома, на работе, в школе и во многих других местах. Первым, кто предпринял удачную попытку построить модель человеческих рассуждений, был, по мнению историков науки, древнегреческий учёный Арестотель. Именно он сформулировал первые законы рассуждений, заложив основы новой науки, названной логикой. В дальнейшем вклад в эту науку вносили психологи и философы, лингвисты и математики. У этой науки появились разные направления исследований, она разделилась на ряд областей, одна из которых называется формальной, или математической, логикой. Более того, происходила не только специализация исследований внутри логики, но и расширение сферы исследований на всю интеллектуальную деятельность человека. Модели, создаваемые в результате таких исследований, стали называть моделями искусственного интеллекта.
Психологи давно установили, что мыслительная деятельность человека всегда осуществляется посредством какого - то языка. Использование языка придаёт мыслительной деятельности форму рассуждений. "Так что же такое рассуждение?": Рассуждение - это последовательность вопросов, задаваемых самому себе или собеседнику, и ответов на них. (дети записывают)
Вопросы могут разного типа. Можно спросить: "Сколько существует простых чисел?" Ответом служит утверждение: "Простых чисел бесконечно много". Можно спросить: "Как найти тысячное простое число?" Ответом будет алгоритм, позволяющий вычислить требуемое простое число. Информацию, содержащуюся в ответе на первый вопрос - относят к декларативному типу, а информацию, содержащуюся в ответе на второй вопрос - к процедурному.
Страницы: << < 1 | 2 | 3 | 4 | 5 > >>