Язык логики и его место в базовом курсе информатики

Посмотрите на содержание информатики в олимпиаде МГУ. Это возврат - информатике как компьютерной науке - логика, алгоритмы, программирование, базы данных, поиск информации, сети ЭВМ, работа в Интернет. В учебниках информатики Ершова были только алгоритмы и решение задач на ЭВМ. В новые современные программы обучения вошли элементы математической логики - исчисление высказываний и исчисление предикатов, которые отсутствуют в современной школьной математике. Добавьте сюда базы данных, базы знаний, законы, принципы и правила логического вывода, элементы искусственного интеллекта на ЭВМ - действующие модели и образцы экспертных систем, язык Пролог - как язык логического программирования для баз знаний на русском языке. Вот это логика в информатике.

Пролог (язык программирования)

Архитектура[ править править код ] Многие современные реализации языка имеют внутреннее расширение за счёт ООП -архитектуры. Кроме несвободных решений также существуют свободные реализации Пролога. Базовым принципом языка является равнозначность представления программы и данных декларативность , отчего утверждения языка одновременно являются и записями, подобными записям в базе данных, и правилами, несущими в себе способы их обработки. Сочетание этих качеств приводит к тому, что по мере работы системы Пролога знания и данные, и правила накапливаются. Поэтому Пролог-системы считают естественной средой для накопления базы знаний и обучения студентов и школьников принципам логического программирования. Синтаксис[ править править код ] Основными понятиями в языке Пролог являются факты, правила логического вывода и запросы, позволяющие описывать базы знаний , процедуры логического вывода и принятия решений. В логическом программировании, как оно реализовано в прологе, используется только одно правило вывода — резолюция.

8.4. язык логики и его место в базовом курсе

Основная статья: История логики Хотя многие культуры выработали сложные системы рассуждения, логика как эксплицитный анализ методов рассуждения получила основательное развитие изначально только в трёх традициях: в китайской , индийской и греческой. Современная логика, разработанная формально изощрённо, происходит в конечном счёте из греческой традиции аристотелевской логики , которая, однако, была воспринята не напрямую, а при посредничестве и комментаторской деятельности арабо-мусульманских философов и средневековых европейских логиков.

Логика в Древнем Китае [ править править код ] Логика в Китае появилась в период появления большого количества школ, конкуренции и дискуссий между ними. В области аргументации они предпочитали разработку рассуждения по аналогии разработке дедукции.

Позднее, при династии Цинь , эта линия исследований исчезла в Китае, поскольку тогда философия легизма жестоко подавляла все остальные философские школы.

Вновь логика в Китае появилась только с проникновением туда индийской логики буддистов и далее сильно отстала от развития европейской и ближневосточной логики. Главным её достижением и была разработка логики и методологии, ставших впоследствии общим достоянием ср. Поскольку ньяики считали единственным путём освобождения от страданий достижение надёжного знания, они разрабатывали тонкие методы отличения надёжных источников знания от ложных мнений. Есть только четыре источника знания четыре праманы : восприятие, умозаключение, сравнение и свидетельство.

Строгая пятичленная схема умозаключения включала в себя: начальную посылку, основание, пример, приложение и вывод. Буддийская философия не входившая в число шести ортодоксальных школ была главным оппонентом ньяиков в логике.

Этот четырёхсторонний аргумент систематически проверял и отклонял утверждение высказывания, его отрицание, соединение утверждения и отрицания и, наконец, отклонение и его утверждения, и его отрицания. У Дигнаги и его последователя Дхармакирти буддийская логика достигла вершины. Впрочем, и он опирался на работы своих предшественников X века. Европейская и ближневосточная логика[ править править код ] В истории европейской логики можно выделить этапы: аристотелевский традиционный продолжался сотни лет, в течение которых логика развивалась очень медленно; схоластический этап развития, пик которого приходится на XIV век ; нововременной этап.

Логика античности[ править править код ] Основателем логики в древнегреческой философии считается древнегреческий философ Аристотель , так как полагается, что он вывел первую логическую теорию. Аристотель же впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления. После Аристотеля в Древней Греции логика также разрабатывалась представителями школы стоиков.

Большой вклад в развитие этой науки внесли оратор Цицерон и древнеримский теоретик ораторского искусства Квинтилиан. Логика в Средневековье[ править править код ] По мере приближения к Средним векам логика получала более широкое распространение. Её начали разрабатывать арабоязычные исследователи, например, Аль-Фараби ок. Логика в эпоху Возрождения и в Новое время[ править править код ] Этот исторический период в логике отмечается появлением множества крайне значимых для науки публикаций.

Также необходимо искать причины своих ошибок. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной.

Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль , О. Фреге , Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки. Васильевым и И. В середине XX века развитие вычислительной техники привело к появлению логических элементов, логических блоков и устройств вычислительной техники, что было связано с дополнительной разработкой таких областей логики, как проблемы логического синтеза, логическое проектирование и проблемы логического моделирования логических устройств и средств вычислительной техники.

В 80-х годах XX века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования.

Началось и создание экспертных систем с использованием и развитием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ.

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

Основные понятия науки логики[ править править код ] Понятия логики, необходимые для понимания предмета: [7].

Язык логики и его место в базовом курсе

Найти 8. ЛАПЧИК, 2001 читать онлайн, скачать pdf, djvu, fb2 скачать на телефон Учебное пособие предназначено студентам педагогических вузов, изучающим систе-матический курс методики преподавания информатики. В пособии раскрываются цели, принципы отбора содержания и методы преподавания информатики в средней общеобразо-вательной школе 8. Основы логики как науки были заложены в IV в. Правила вывода истинности высказываний, описанные Аристотелем силлогизмы оставались основным инструментом логики вплоть до второй половины XIX в.

Преподавание основ логики в курсе информатики основной школы

Основы логики как науки были заложены в IV в. Правила вывода истинности высказываний, описанные Аристотелем силлогизмы оставались основным инструментом логики вплоть до второй половины XIX в. Буля, О. Средствами этой новой науки все прежние достижения логики были переведены на точный язык математики. Развивается аппарат алгебры логики булевой алгебры , исчисления высказываний, исчисления предикатов. Развитие математической логики имело большое значение для всей математической науки, повысив уровень ее строгости и доказательности. Логика относится к числу дисциплин, образующих математический фундамент информатики.

ПОСМОТРИТЕ ВИДЕО ПО ТЕМЕ: Конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание. На примерах из жизни. Логика.

Примеры решения задач

Основная статья: История логики Хотя многие культуры выработали сложные системы рассуждения, логика как эксплицитный анализ методов рассуждения получила основательное развитие изначально только в трёх традициях: в китайской , индийской и греческой. Современная логика, разработанная формально изощрённо, происходит в конечном счёте из греческой традиции аристотелевской логики , которая, однако, была воспринята не напрямую, а при посредничестве и комментаторской деятельности арабо-мусульманских философов и средневековых европейских логиков. Логика в Древнем Китае [ править править код ] Логика в Китае появилась в период появления большого количества школ, конкуренции и дискуссий между ними. В области аргументации они предпочитали разработку рассуждения по аналогии разработке дедукции. Позднее, при династии Цинь , эта линия исследований исчезла в Китае, поскольку тогда философия легизма жестоко подавляла все остальные философские школы.

Определите место понятия «язык» в базовом курсе информатики. Обоснуйте Обоснуйте связь между информатикой и математической логикой. Пролог (англ. Prolog) — язык и система логического программирования, основанные на информатики для изучения элементов математической логики, Базовым принципом языка является равнозначность представления . ISBN ; Маллас Дж. Реляционный язык Пролог и его. Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «способность к Так как мышление оформляется в языке в виде рассуждения, частными нередко применяются каждым человеком в его мыслительной Сейчас символическая логика также изучается как часть математики, информатики.

.

ЛОГИКА в ИНФОРМАТИКЕ

.

.

.

.

.

ВИДЕО ПО ТЕМЕ: Введение в логику, урок 1: Базовые понятия