КАТЕГОРИИ: Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748) |
Принципы построения алгоритмов
При разработке алгоритма используют следующие основные принципы.
Тема 1.1. Логические основы алгоритмизации В древности различные мыслители пробовали давать рецепты правильных умозаключений, которые от истинных посылок приводят только к истинным выводам. Таких мыслителей называли логиками. Наука установила общие методы правильных умозаключений, называемых формальной логикой. Термин «логика» происходит от древнегреческого logos, означающего «слово, мысль, понятие, рассуждение, закон». Понятие — это форма мышления, в которой отражены существенные (отличительные) свойства объектов. Суждение — это форма мышления, отражающая связь понятий друг с другом. Умозаключение — это процесс получения нового суждения-вывода из одного или нескольких данных суждений. Высказывание — это любое предложение какого-либо языка (утверждение), содержание которого можно определить как истинное или ложное. Предикат — высказывание, содержащее одну или несколько неизвестных. Таблица истинности — это таблица, описывающая логическую функцию. Всякое высказывание или истинно, или ложно; быть одновременно и тем и другим оно не может. Формулировка любой теоремы является высказыванием. Высказывания могут выражаться с помощью математических, физических, химических и прочих знаков. Из двух числовых выражений можно составить высказывания, соединив их знаками равенства или неравенства. Сами числовые выражения высказываниями не являются. Не являются высказываниями и равенства или неравенства, содержащие переменные. Например, предложение Х < 12 становится высказыванием при замене переменной каким-либо конкретным значением. Такие предложения называют высказывательными формами. Примерами высказываний могут служить: 1) {Число 2 является делителем числа 7} (ложное высказывание); 2) {3 + 5 = 2*4} (ложное высказывание); 3) {2 + 6 > 10} (ложное высказывание); 4) {II + VI > VIII} (ложное высказывание); 5) {Сумма чисел 2 и 6 больше числа 8} (ложное высказывание); 6) {Two plus six is eight} (истинное высказывание); 7) {Студент X лучший по информатике} (предикат). Высказывание называется простым (элементарным), если никакая его часть сама не является высказыванием. Если условие не выполняется, высказывание называется сложным. В алгебре логики, как и в обычной алгебре, вводится ряд операций.
Дата добавления: 2014-10-17; Просмотров: 3899; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |