Книга: С. И. Гуров «Логика высказываний. Учебное пособие»

Логика высказываний. Учебное пособие

Производитель: "Издательство Московского университета"

Серия: "Бакалавриат. Учебные пособия"

Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э. Бета, семантика возможных мировС. Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.

Издательство: "Издательство Московского университета" (2015)

Формат: 60x90/16, 272 стр.

ISBN: 978-5-19-011105-7

Купить за 743 грн (только Украина) в

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примерыГлавными инструментами математической кибернетики являются дискретная математика и алгебра. Основные понятия и свойства математических структур этих наук - частично упорядоченные множества, решетки… — Либроком, (формат: 60x90/16, 352 стр.) Основы защиты информации Подробнее...2013716бумажная книга
Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примерыГлавными инструментами математической кибернетики являются дискретная математика и алгебра. Основные понятия и свойства математических структур этих наук - частично упорядоченные множества, решетки… — Либроком, (формат: 60x90/16, 352 стр.) Основы защиты информации Подробнее...20121109бумажная книга
Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примерыГлавными инструментами математической кибернетики являются дискретная математика и алгебра. Основные понятия и свойства математических структур этих наук - частично упорядоченные множества, решетки… — Либроком, (формат: 60x90/16, 352 стр.) Основы защиты информации Подробнее...2013486бумажная книга

См. также в других словарях:

  • Логика — Гр …   Википедия

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

  • Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • ДИАЛЕКТИКА — [греч. διαλεκτική (τέχνη) искусство беседы, от διαλέϒομαι спор], философский и богословский термин, обозначающий на различных этапах его существования: 1) искусство спора в диалоге; 2) установление противоположностей и связи между ними; 3) способ …   Православная энциклопедия

  • Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… …   Медицинская энциклопедия

  • Философия науки — Имеется викиучебник по теме «Философия науки» Философия науки  раздел философии, изучающий понятие, границы и …   Википедия

  • Эволюционная теория асимметрии В. А. Геодакяна — Проверить адекватность изложения маргинальных теорий. Проверить изложение на соответствие ВП:МАРГ и ВП:ВЕС. На странице обсуждения могут быть подробности …   Википедия

  • Пушкин, Александр Сергеевич — — родился 26 мая 1799 г. в Москве, на Немецкой улице в доме Скворцова; умер 29 января 1837 г. в Петербурге. Со стороны отца Пушкин принадлежал к старинному дворянскому роду, происходившему, по сказанию родословных, от выходца "из… …   Большая биографическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»