Оператор и элиминация знака тождества в "Логико-философском трактате" Л. Витгенштейна
Анализ предложенного Л. Витгенштейном способа получения формул логики первого порядка через применение N-оператора. Обсуждение принципиальной возможности применения логической записи без знака тождества. Сопоставление алгоритмов К. Вемайера и Т. Ламперта.
| Рубрика | Математика |
| Предмет | Логика |
| Вид | статья |
| Язык | русский |
| Прислал(а) | К.А. Родин |
| Дата добавления | 30.01.2021 |
| Размер файла | 26,0 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Понятие формальной системы. Основные понятия логики первого порядка. Доказательство неразрешимости проблемы остановки. Машина Тьюринга, ее структура. Вывод неразрешимости логики первого порядка из неразрешимости проблемы остановки и методом Геделя.
курсовая работа [243,0 K], добавлен 16.02.2011Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.
реферат [63,3 K], добавлен 06.12.2010- Спектр оператора. Применение нестандартного анализа для исследования резольвенты и спектра оператора
История нестандартного анализа. Линейные операторы. Обратный оператор. Обратимость. Резольвента линейного оператора. Резольвентное множество. Спектр. Введение в нестандартный анализ. Пример неархимедовой числовой системы.
дипломная работа [256,2 K], добавлен 08.08.2007 Понятия пространств в изучении компактных операторов. Линейный оператор и линейный функционал, сопряженный оператор, компактный множество. Основные свойства компактного операторов. Компактность оператора Вольтерра. Примеры некомпактного оператора.
реферат [173,1 K], добавлен 27.05.2008Определение линейного оператора. Непрерывные линейные операторы в нормированном пространстве. Ограниченность и норма линейного оператора. Обратный оператор. Спектр оператора и резольвента. Операторы: умножения на непрерывную функцию; интегрирования; сдвиг
дипломная работа [267,4 K], добавлен 27.05.2008Дифференциальное уравнение первого порядка, разрешенное относительно производной. Применение рекуррентного соотношения. Техника применения метода Эйлера для численного решения уравнения первого порядка. Численные методы, пригодные для решения задачи Коши.
реферат [183,1 K], добавлен 24.08.2015Системы цифровой обработки информации. Понятие алгебры Буля. Обозначения логических операций: дизъюнкция, конъюнкция, инверсия, импликация, эквивалентность. Законы и тождества алгебры Буля. Логические основы ЭВМ. Преобразование структурных формул.
презентация [554,8 K], добавлен 11.10.2014Логика - наука о законах и формах мышления, а основное понятие алгебры логики - высказывание. Основные понятия и тождества булевой алгебры. Изучение методов минимизации булевых функций. Метод Квайна, основанный на применении двух основных соотношений.
контрольная работа [178,2 K], добавлен 20.01.2011Доказательство тождества с помощью диаграмм Эйлера-Венна. Определение вида логической формулы с помощью таблицы истинности. Рисунок графа G (V, E) с множеством вершин V. Поиск матриц смежности и инцидентности. Определение множества вершин и ребер графа.
контрольная работа [463,0 K], добавлен 17.05.2015Понятие и математическое описание элементов дифференциального уравнения как уравнения, связывающего искомую функцию одной или нескольких переменных. Состав неполного и линейного дифференциального уравнения первого порядка, их применение в экономике.
реферат [286,2 K], добавлен 06.08.2013Понятие логарифма как числа, применение которого позволяет упростить многие сложные операции арифметики. Введение логарифмов математиками Дж. Непером и Иостом Бюрги. Логарифмические свойства и тождества. Различие таблиц натуральных и обычных лагорифмов.
презентация [370,0 K], добавлен 26.11.2012Операции над логическими высказываниями: булевы функции и выражение одних таких зависимостей через другие. Пропозициональные формулы и некоторые законы логики высказываний. Перевод выражений естественного языка на символическую речь алгебры логики.
контрольная работа [83,3 K], добавлен 26.04.2011Кватернион как один из самых интересных и приметных представителей гиперкомплексных чисел, его отражение в современных информационных компьютерных интерактивно-игровых технологиях. Алгебра кватернионов над полем R. Сущность и применение тождества Эйлера.
статья [60,4 K], добавлен 08.12.2009Теоретическое обоснование расчетных формул. Задача Коши для дифференциального уравнения первого порядка. Метод Рунге-Кутта. Ломаная Эйлера. Построение схем различного порядка точности. Выбор шага. Апостериорная оценка погрешности. Правило Рунге.
курсовая работа [111,1 K], добавлен 13.11.2011Рассмотрение понятия тождественного (единичного) оператора. Анализ методов решения линейных однородного и неоднородного уравнений. Ознакомление с определением эрмитовости оператора. Доказательство теоремы о свойствах ортогональности собственных функций.
реферат [19,6 K], добавлен 16.08.2010Определение формулы исчисления высказываний, основные цели математической логики. Построение формул алгебры высказываний. Равносильность формул исчисления высказываний, конъюнктивная и дизъюнктивная нормальная форма. Постановка проблемы разрешимости.
контрольная работа [34,3 K], добавлен 12.08.2010Поняття лінійного оператора, алгебраїчні операції над ним та базові властивості. Лінійні перетворення (оператори) із простору V в W. Матриця лінійного оператора. Перетворення матриці оператора при заміні базису. власні значення і власні вектори.
курсовая работа [452,3 K], добавлен 25.03.2011Определение оператора в гильбертовом пространстве. Индексы дефекта симметрического оператора. Преобразование Кэли и формулы Неймана. Формула Крейна для резольвент самосопряженных расширений заданного симметрического оператора, доказательство теорем.
курсовая работа [190,6 K], добавлен 18.08.2011Означення і найпростіші властивості лінійних операторів. Контрольний приклад отримання власних значень. Матриця лінійного оператора. Опис та текст програми. Власні вектори й значення лінійного оператора. Теорія лінійних просторів та її застосування.
курсовая работа [74,8 K], добавлен 28.03.2009Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.
курсовая работа [207,1 K], добавлен 26.03.2012
