Всего найдено: 848
  • § 2. Математическая логика как выражение общности дискретной математики и традиционной логики
    Особенности традиционной формальной логики, которые рассматривались нами в предыдущем параграфе, во многом объясняют роль ее и значение для создания и развития математики вообще, математической логики в частности. Как неоднократно отмечалось ранее, это инструмент, с помощью которого осуществляется построение всех без исключения дисциплин математики. Если последняя в некотором роде является языком науки, то логика - средством вывода и дальнейшего формирования математических теорий. Суть
  • Математическая логика
    Математическая логика представляет собой совокупность искусственных формализованных языков, для которых устанавливаются такие их логические свойства, как доказуемость, выводимость, следствие и т.д. В отличие от классической математической логики, базировавшейся на принципе двузначности (признания суждения либо истинным, либо ложным), современная математическая логика руководствуется принципом многозначности, допускающим три и более значений истинности (многозначная логика), и рассматривает
  • Формальная и математическая логика
    Следует подчеркнуть, что Флоренский достаточно хорошо ориентировался в современной ему логике — формальной («философской») и математической, а также в теории множеств. Ему были известны труды не только Георга Кантора, но и Бертрана Рассела, Анри Пуанкаре. Вообще, логическая эрудиция о. Павла потрясает. В примечании № 211 к «Письму шестому: противоречие» мы находим выразительный перечень трудов по математической логике («логистике»), принадлежащих зарубежным и русским ученым. Список начинается с
  • Математическая логика
    Вопрос 1. Двузначная логика. Булевы функции. Вопрос 2. Полнота, примеры полных систем. Полином Жегалкина. Вопрос 3. Множество булевых функций Вопрос 4. Двойственные ф-ии. Вопрос 5. Теорема о полноте систем булевых функций. Базисы. Примеры базисов. Вопрос 6. Исчисление высказываний. Аксиомы. Правило вывода. Вывод. Тождественная истинность выводимых формул (доказать). Непротиворечивость исчисления высказываний. Теорема о полноте исчисления высказываний. Проблема разрешимости. Исчисление
  • МАТЕМАТИЧЕСКАЯ ЛОГИКА (1926)
    Меня попросили рассказать о развитии математической логики со ирсмени опубликования Principia Mathematica, и я подумал, что интереснее было бы, если бы вместо описания различных достижений относи- іельно деталей, я бы кратко обсудил работу, которая была проделана в совершенно иных направлениях и претендовала на то, чтобы вообще вы- ісснить позицию, принятую Уайтхедом и Расселом относительно приро- ш.і математики и её логических оснований.Начну с напоминания взглядов Уайтхеда и Рассела. Они
  • МАТЕМАТИЧЕСКАЯ ЛОГИКА
    - один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями. Предыстория М.Л. связана с именами Аристотеля, Р. Луллия, Дж. Буля (1815-1864), создавшего ее аппарат; Фреге, развившего логико-математические языки; Дж. Пеа-но (1858-1932), попытавшегося изложить разделы математики на языке логики. В основании всех
  • Математическая логика
    – наука, применяющая математические методы и исследующая мышление с помощью
  • Математическая логика
    – наука, применяющая математические методы и исследующая мышление с помощью
  • СОВРЕМЕННАЯ ЛОГИКА И ДРУГИЕ НАУКИ
    С момента своего возникновения логика была самым тесным образом связана с философией. В течение многих веков логика считалась, подобно психологии, одной из "философских наук". И только во второй половине XIX в. формальная - к этому времени уже математическая - логика "отпочковалась", как принято выражаться, от философии. Примерно в это же время от философии отделилась и стала самостоятельной научной дисциплиной психология. Но если отделение психологии было связано прежде всего с проникновением
  • 2. ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
    Математическая логика – современный вид формальной логики, то есть науки, изучающей умозаключения с точки зрения их формального строения. Вплоть до начала XIX века формальная логика практически не выходила за рамки силлогических умозаключений. Однако, начиная с работ Дж. Буля, можно говорить о превращении ее в математическую логику. Особенности математической логики заключаются в ее математическом аппарате, в преимущественном внимании к умозаключениям, применяемым в самой математике.
  • 3. Современная логика и основные сферы ее практического применения
    СОВРЕМЕННАЯ ЛОГИКА — одно из имен для обозначения нынешнего этапа в развитии (формальной) логики, начавшегося во второй половине XIX в. — начале XX в. В качестве других имен этого этапа в развитии логики используются также термины математическая логика и символическая логика. Определение «математическая» подчеркивает сходство С. л. по используемым методам с математикой. Определение «символическая» указывает на употребление в С. л. специально созданных для целей логического анализа языков
  • II. ОРГАНИЧЕСКАЯ СВЯЗЬ МАТЕМАТИКИ И ЛОГИКИ Соотношения диалектики и формальной логики
    Диалектика как важнейшая характеристика прерывно-непрерывного процесса мышления. Многозначность термина „диалектика" как следствие трех- плановости отражения- — итога филогенеза общественного сознания, результата онтогенеза индивидуального сознания, воздействия конкретной ситуации. Формальная логика как наука о правилах непротиворечивого, последовательного и доказательного мышления. Ее законы. „Застывшие" понятия и формы - объекты общей, традиционной логики. Проблемы взаимосвязи
  • 3.2. Элементы математической логики
    Принципы поиска и обработки информации в ЭВМ основываются на законах математической логики, поскольку компьютеры — это автоматические устройства, принципы работы которых базируются на элементарных законах двоичной логики. Вычислительные машины всех поколений состояли и состоят из логических элементов и элементов памяти, принимающих два значения (бита) 0 и 1. Вся обработка информации в ЭВМ всех ее логических блоков, логических схем и устройств опиралась и будет опираться на законы и принципы
  • 3.2. Элементы математической логики
    Принципы поиска и обработки информации в ЭВМ основываются на законах математической логики, поскольку компьютеры — это автоматические устройства, принципы работы которых базируются на элементарных законах двоичной логики. Вычислительные машины всех поколений состояли и состоят из логических элементов и элементов памяти, принимающих два значения (бита) 0 и 1. Вся обработка информации в ЭВМ всех ее логических блоков, логических схем и устройств опиралась и будет опираться на законы и принципы
  • Вопрос 17. Применение математических методов при изучении информационных процессов и систем в правовой сфере.
    Формализация и моделирование процессов сбора, движения и преобразования информации связаны с использованием математических методов, реализующих необходимые вычислительные и логические операции, в том числе и в автоматизированных информационных системах. Поэтому правовая информатика тесно связана с математикой и использует методы различных математических наук. В последнее время при изучении информационных процессов в области права используется теория вероятностей, математическая статистика,
  • Элементы математической логики.
    Математическая логика – раздел науки, истоки которого восходят к Аристотелю (384 -322 г. до н. э.). Как математическая дисциплина начала формироваться в середине XIX в., благодаря работам английского логика и математика Дж. Буля (1815-1864). Целью логики является анализ методов рассуждений, при этом логика, прежде всего, интересуется формой, а не содержанием рассуждений, то есть выясняет, следует истинность заключения из истинности посылок. Это время характеризовано кризисом в физике,
  • Глава 7 ОСНОВЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ.МНОЖЕСТВА И ПОДМНОЖЕСТВА
      Математическая логика — современный вид формальной логики, изучающей правила выведения следствий из различных посылок, истинность которых очевидна. Математическая логика возникла в середине XIX в. для потребностей математики и стала применяться в самых различных областях знаний, в том числе и в правоприменительной деятельности. Основным понятием математической логики является понятие высказывания (высказывания будем обозначать латинскими буквами: a, b, с, ...). Любое высказывание быть
  • +Понятие алгебры логики, булевой алгебры. История создания алгебры логики.
    Алгебра логики - это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразовывают логические высказывания. Алгебра логики — раздел математической логики, в котором изучаются логические операции над высказываниями. Высказывания могут быть истинными и ложными. Булева алгебра - раздел математической логики, изучающий высказывания и операции над ними. Наиболее известными операциями булевой алгебры являются: конъюнкция, дизъюнкция, импликация, эквивалентность,
  • ПРОБЛЕМА ИСТИНЫ В ЛОГИКЕ
    Известно, что проблема истины является основной проблемой теории познания (гносеологии). Однако это не значит, что данная проблема разрабатывается только гносеологией. Логика также имеет к ней непосредственное отношение. «Не психология,— писал В. И. Ленин,— не феноменология духа, а логика = вопрос об истине» Что диалектическая логика решает проблему истины— с этим согласны все наши философы и логики. Значительно сложнее обстоит дело с логикой формальной; здесь мнения философов разделяются. Так,
  • Математические методы
    Формализация и моделирование процессов сбора, движения и преобразования информации связаны с использованием математических методов, реализующих необходимые вычислительные и логические операции, в том числе и в автоматизированных информационных системах. Поэтому правовая информатика тесно связана с математикой и использует методы различных математических наук. В последнее время при изучении информационных процессов в области права используется теория вероятностей, математическая статистика,
  • Элементы алгебры логики
    Математические основы информатики, наряду с другими разделами дискретной математики, включают в себя математическую логику. Математическая логика - раздел математики, изучающий математические доказательства, правильные способы рассуждений, логическую структуру и логические свойства различных объектов. Основу математической логики составляют исчисление высказываний и исчисление предикатов. Исчисление (алгебра) высказываний, или алгебра логики, - раздел математической логики, изучающий
1 2 3 4 5 6 7 8 9 10 11 > 41