Фрейденталь Х. Язык логики

формат djvu
размер 1023.03 КБ
добавлен 19 ноября 2009 г.

М.: Наука, 1969. - 136 с.
В 1961 г. в Хаарлеме (Нидерланды) вышла небольшая книжка «Exacte logica» («Точная логика»). Автор ее профессор X. Фрейденталь - известный голландский математик с весьма широкими интересами. Развивая традиции отечественной школы интуиционистов, он еще в 30-е годы внес существенный вклад в построение интуиционистской топологии. В последние годы большую популярность завоевала книга Фрейденталя «Lincos» («Lingua cosmica»), описывающая предложенный им «космический язык».

Смотрите также

Бродский И.Н. Элементарное введение в символическую логику

формат tif
размер 150 МБ
добавлен 20 июня 2009 г.

Элементарные и сложные высказывания; Язык логики высказываний; Семантика логических союзов; Логические условия истинности формул логики высказываний; Равносильные формулы; Тождественно истинные и тождественно ложные формулы; Конъюнктивная нормальная форма; Совершенная конъюнктивная нормальная форма; Сокращенная конъюнктивная нормальная форма; Дизъюнктивная нормальная форма; Аксиоматическое представление логики высказываний; Натуральное исчисление...

Голованов М.И. Нестандартные логики. Реляционная семантика

формат pdf
размер 683.29 КБ
добавлен 01 февраля 2012 г.

Курс лекций / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 103с. Содержание: Введение. Краткий экскурс в историю логических исследований. Определение пропозициональной логики. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ? Расширение логики Lp с помощью связки : Трансляции. Свойства некоторых расширений ло...

Доклад - Математическая логика

Реферат

формат doc
размер 309.5 КБ
добавлен 06 апреля 2009 г.

Математическая логика в лицах. Введение. Язык логики предикатов. Синтаксис языка логики предикатов . Семантика языка логики предикатов. Логика предикатов. Исчисление предикатов. Определение формулы логики предикатов. Свободные и связные вхождения. переменных в формулы. Логические и кванторные операции. над предикатами. Применение языка логики предикатов для . записи математических предложений, . определений, построения отрицания предложений.

Катаев А.В., ВолгГТУ. Алгебра логики

Практикум

формат docx
размер 102.45 КБ
добавлен 23 января 2012 г.

Алгебра логики. Функции алгебры логики. Таблицы истинности. Пропозициональные формулы. Равносильные формулы. Основные тождества алгебры логики. Двойственные функции. Полные системы связок. Конъюнктивные и дизъюнктивные нормальные формы. Совершенные КНФ и ДНФ. Тавтологии. Противоречия. Проблема разрешимости в алгебре логики. Логические следствия. Основные схемы доказательств.rn

Лекции - Введение в математическую логику. Части 1 - 2

Статья

формат doc
размер 2.5 МБ
добавлен 17 июля 2009 г.

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

Лобанов В.И. Инженерная логика

формат djvu
размер 908.3 КБ
добавлен 20 октября 2010 г.

191 стр. Практика инженерной логики. Комбинационные логические цепи. Минимизация булевых функций методом обобщенных кодов. Триггеры. Регистры и счетчики. Синтез счетчиков. Конечные автоматы. Микроконтроллеры. Базовые проблемы классической логики. Законы логики суждений. Базисы силлогистики. Силлогистика Аристотеля-Жергонна. Русская силлогистика. Общеразговорная силлогистика. Атомарная силлогистика. Атомарная силлогистика. Естественный вывод и ква...

Попов А.И. Введение в математическую логику

формат djvu
размер 1.33 МБ
добавлен 23 апреля 2011 г.

Ленинград: Издательство Ленинградского университета, 1959. - 109 с. Работа проф. А. И. Попова является первой советской книгой, в которой дается общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о соотношении математической и классической (формальной) логики, рассматривается м...

Презентация - Голованов М.И. Нестандартные логики. Реляционная семантика

Практикум

формат pdf
размер 3.58 МБ
добавлен 01 февраля 2012 г.

Наглядное пособие / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 136 слайдов. Содержание: Введение. Классическая пропозициональная логика. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ? Расширение логики Lp с помощью связки. Трансляции. Свойства некоторых расширений логики Lp. Модальные логики, нормальные...

Столл Роберт Р. Множества. Логика. Аксиоматические теории

формат djvu
размер 4.22 МБ
добавлен 11 июня 2009 г.

Пер. с англ. Ю. А. Гастева и И. Х. Шмаина. Под ред. Ю. А. Шихановича. М., "Просвещение", 1968. 231 стр. В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций над множествами), математической логики (элементы логики высказываний и логики предикатов), оснований математики (аксиоматический метод) и теории булевых алгебр.

Шапорев С.Д. Математическая логика. Курс лекций и практических занятий

формат djvu
размер 2.36 МБ
добавлен 11 марта 2010 г.

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