статья Оператор и элиминация знака тождества в "Логико-философском трактате" Л. Витгенштейна
Анализ предложенного Л. Витгенштейном способа получения формул логики первого порядка через применение 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
