Книга: Кутюра Л. «Алгебра логики»
Серия: "Физико-математическое наследие: математика" Вниманию читателей предлагается книга известного французского математика и философа Луи Кутюра, содержащая основы алгебры логики - раздела математической логики, в котором изучаются логические операции над высказываниями. Представлены две интерпретации логического исчисления. Излагаются принципы и законы алгебры логики, важнейшие теоремы; рассматриваются логические функции и основные формулы. Издание включает два приложения, добавленные при переводе книги на русский язык, в которых рассматривается вопрос о чисто формальном обосновании логики предложений. Книга рекомендуется математикам, философам, логикам, историкам и методологам науки, студентам и аспирантам соответствующих специальностей. Издательство: "URSS" (2012)
ISBN: 978-5-397-02663-5 Купить за 255 руб в My-shop |
Другие книги автора:
Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|
Философские принципы математики | Вниманию читателей предлагается классическая работа французского математика и философа Л. Кутюра (1868-1914) … — URSS, Физико-математическое наследие: математика (философия математики) Подробнее... | бумажная книга | ||
Философские принципы математики | Вниманию читателей предлагается классическая работа французского математика и философа Л. Кутюра (1868-1914) … — URSS, Физико-математическое наследие: математика (философия математики) Подробнее... | бумажная книга | ||
Философские принципы математики | Вниманию читателей предлагается классическая работа французского математика и философа Л. Кутюра (1868-1914) … — URSS, Физико-математическое наследие: математика (философия математики) Подробнее... | бумажная книга | ||
Философские принципы математики | Вниманию читателей предлагается классическая работа французского математика и философа Л. Кутюра (1868-1914) … — (формат: Мягкая глянцевая, 272 стр.) Подробнее... | бумажная книга |
См. также в других словарях:
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
алгебра логики — АЛГЕБРА ЛОГИКИ исторически первая форма математической (символической) логики, сложившаяся к последней трети 19 в. К ее созданию привела аналогия между решением алгебраических уравнений и выводом следствий из посылок, а также то, что… … Энциклопедия эпистемологии и философии науки
алгебра логики — булева алгебра — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы булева алгебра EN logical algebra … Справочник технического переводчика
АЛГЕБРА ЛОГИКИ — система алгебраических методов решения логических задач и совокупность таких задач; в узком смысле табличное, матричное построение логики высказываний, определяющее логические операции над ними … Большой Энциклопедический словарь
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий строение сложных логических высказываний и способы установления их истинности с помощью алгебраических методов. В формулах А. л. переменные являются логическими или двоичными, т. е. принимающими только два… … Большая политехническая энциклопедия
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия