PDF книги

Поиcк по сайту by Google

Рейтинг@Mail.ru
Rambler's Top100
PDF книги » Информатика. Компьютеры » Гуц А.К. - Математическая логика и теория алгоритмов

Гуц А.К. - Математическая логика и теория алгоритмов

Скачать
Название: Математическая логика и теория алгоритмов
Автор: Гуц А.К.
Категория: Информатика. Компьютеры
Тип: Книга
Дата: 24.02.2009 11:10:07
Скачано: 431
Оценка:
Описание: Чем занимается наука логика? Это теория, которая учит, как нужно правильно рассуждать, правильно делать умозаключения и выводы, получая в результате верные (правильные) высказывания. Поэтому логика как наука должна содержать список правил получения правильных высказываний. Такой набор правил, умозаключений называется списком силлогизмов. 1 1.1. Логика высказываний 1.1.1. Высказывания Высказывание - это утверждение об изучаемых объектах, имеющее однозначное и точно определенное значение [31, с.15]. В русском языке высказывание представляет собой повествовательное предложение, о котором молено сказать, что оно сообщает нам нечто верное либо нечто совершенно неверное. Следовательно, высказывание может быть либо истинным, либо ложным. Иначе 1 Силлогизм [rp. syllogismos] - умозаключение. У Аристотеля - умозаключение, состоящее из двух высказываний Ли В (посылок), из которых следует третье высказывание С (вывод). Для силлогизма используется символическая запись вида А, В С
Файл: 552.9 КБ
Скачать