Логическое программирование

Логическое программирование 10 класс к учебнику Гейна, для углубленного изучения информатики. В данной презентации рассматриваются вопросы логического программирования языков.

Логическое программи́рование — парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода. Логическое программирование основано на теории и аппарате математической логики с использованием математических принципов резолюций.

Логическое программирование

Логическое программирование

• парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода

Языки программирования это формальная знаковая система, предназначенная для описания алгоритмов в форме, которая удобна для исполнителя.

Класс задач:

• Фортран – старейший язык программирования, предназначен для решения математических задач .
• Кобол – для решения экономических задач
• Бейсик , Pascal – для обучения
• Java (джава) – язык сетевого программирования

Системы программирования

• это комплексы программ и прочих средств, предназначенных для разработки и их эксплуатации на конкретном языке программирования для конкретного вида ЭВМ.

Система программирования включает:

Текстовый редактор

программа-отладчик

Текст программы, написанный на конкретном алгоритмическом языке.

отладка исходного текста программы (поиск и устранение ошибок)

Транслятор – программа переводчик с конкретного алгоритмического языка на машинного ориентированный.

компоновщик (редактор связей)

Программа на машинно-ориентированном языке

Среда визуальной разработки

• среда разработки программного обеспечения, в которой наиболее распространённые блоки программного кода представлены в виде графических объектов.

Синтаксис

• описывает структуру программ как наборов символов (обычно говорят — безотносительно к содержанию)

Семантика

• определяет смысловое значение предложений алгоритмического языка

Классы языков программирования

Программирование

Императивное

Декларативное

функциональное

логическое

логическое программирование является достаточно выразительным средством для описания сложных систем

Программирование

Процедурное

Объектно-ориентированное

Процедурные языки программирования

• используют процедуры (подпрограммы, методы или функции)

Объектно-ориентированные подход к программированию

• это подход к разработке программного обеспечения, основанный на объектах, а не на процедурах.

Объект

• это базовое понятие ООП. Любой объект принадлежит одному или нескольким классам, которые в свою очередь определяют, описывают поведение объекта

Свойства

• описание объекта. Набор конкретных значений определяет текущее состояние объекта.

Метод

• это действие объекта, изменяющее его состояние или реализующее другое его поведение

Полиморфизм

• это взаимозаменяемость объектов с одинаковым интерфейсом

Наследование

• возможность порождать один класс от другого с сохранением всех свойств и методов класса-предка (иногда его называют суперклассом) и добавляя, при необходимости, новые свойства и методы

Инкапсуляция

• это принцип, согласно которому любой класс должен рассматриваться как чёрный ящик — пользователь класса должен видеть и использовать только интерфейс (от английского interface — внешнее лицо, т. е. список декларируемых свойств и методов) класса и не вникать в его внутреннюю реализацию

любой алгоритм можно реализовать, используя лишь три управляющие конструкции:

• последовательное выполнение
• ветвление
• цикл
• не должно быть безусловных переходов