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

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

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

Формат: Мягкая бумажная, 268 стр.

ISBN: 9785190111057

Купить за 589 руб в

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

КнигаОписаниеГодЦенаТип книги
Конечные поля и группы перестановок приложение в теории кодирования и комбинаторикеДанная книга представляет собой конспект лекций курса «Прикладная алгебра» бакалаврам факультета вычислительной математики и кибернетики МГУ имени М. В. Ломоносова. В начале рассматриваются… — (формат: Мягкая бумажная, 190 стр.) Подробнее...2018331бумажная книга

Гуров, С.

Гуров, С.

воен. юрист 1870 гг.

Венгеров С. А. Критико-биографический словарь русских писателей и ученых: в 6 т. - СПб., 1889-1904.

Источник: Гуров, С.

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

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

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

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

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

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

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

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

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

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

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

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


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

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