Информатика и математика (200,00 руб.)

Математическая логика отличается от «обычной» тем, что она широко пользуется языком математических и логических знаков. <...> Начало созданию того аппарата математической логики, который теперь называется логикой высказываний, положил английский математик Дж. <...> Книга написана на основе многолетнего опыта чтения лекций на юридическом факультете и состоит из пяти разделов: «Основные понятия математической логики», «Основы теории вероятностей и математической статистики», «Языки и программирование, алгоритмы», «Компьютерный практикум», «Основы защиты информации и сведений, составляющих государственную тайну». <...> Раздел I ОСНОВНЫЕ ПОНЯТИЯ МАТЕМАТИЧЕСКОЙ ЛОГИКИ Глава 1 АКСИОМАТИЧЕСКИЙ МЕТОД Глава 2 ОСНОВНЫЕ СТРУКТУРЫ Глава 3 СОСТАВНЫЕ СТРУКТУРЫ Глава 1 АКСИОМАТИЧЕСКИЙ МЕТОД 1.1. <...> Логические операции и их таблицы истинности Математическая логика — наука, которая изучает умозаключения с точки зрения их формального строения. <...> Аксиоматический метод 9 ния А с помощью стандартной конструкции русского языка «неверно, что… <...> Математическая логика изучает способ образования одних высказываний из других с помощью логических операций. <...> Т а б л и ц а 1.1 Основные логические операции Обозначение операции А A B∧ A B∨ A ≡ B A → B Название операции Отрицание Конъюнкция Дизъюнкция Эквивалентность Импликация Прочтение полученного высказывания «не А» или «неверно, что А» «A и B» «A или B» «A тогда и только тогда, когда B», «A эквивалентно B», «A равносильно B» «если A, то B», «A влечет B» Таблица 1.2 показывает, какие логические значения принимают высказывания, полученные с помощью пяти основных логических операций, на всевозможных наборах A и B значений 1 или 0. <...> Основные понятия математической логики Прокомментируем смысл введенных логических операций, их обозначения и таблицы истинности. <...> Конъюнкция, или логическое умножение, соответствует союзу «и» в русском языке. <...> Конъюнкция может обозначаться также A & B или просто AB. <...> Аксиоматический <...>