Книга: Д. Гильберт, В. Аккерман «Основы теоретической логики»
|
Производитель: "КомКнига" Серия: "Природа Дальнего Востока" Вниманию читателя предлагается классическое руководство по элементам математической логики, написанное известными немецкими математиками. Материал книги выросиз курса лекций выдающегося математика конца XIX - начала XX вв. Д. Гильберта и был в окончательном виде подготовлен его учеником В. Аккерманом. Книга содержит систематическое построение аппарата математической логики; авторы строго ограничивают себя самым необходимым материалом, но зато дают все детали доказательств. Руководство написано очень сжато и лаконично, и рассчитано на читателей, привыкших пользоваться математической литературой, в том числе студентов и преподавателей математических вузов. Для более широкого круга читателей будут полезны комментарии-пояснения, расположенные в конце книги. ISBN:978-5-484-01144-5 Издательство: "КомКнига" (2010) Формат: 60x90/16, 304 стр.
ISBN: 978-5-484-01144-5 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Основы теоретической логики | Вниманию читателя предлагается классическое руководство по элементам математической логики, написанное… — КомКнига, (формат: 60x90/16, 306 стр.) Физико-математическое наследие: основания математики и логика Подробнее... | бумажная книга |
См. также в других словарях:
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч … Математическая энциклопедия
НАУКА ЛОГИКИ — ’НАУКА ЛОГИКИ’ (‘Wissenschaft der Logik’) центральная работа Гегеля, выдвинувшая логику в качестве основополагающей философской дисциплины и утвердившая логицизм в качестве основной и окончательной системной парадигмы, одержавшей верх над всеми… … История Философии: Энциклопедия
НАУКА ЛОГИКИ — ( Wissenschaft der Logik ) центральная работа Гегеля, выдвинувшая логику в качестве основополагающей философской дисциплины и утвердившая логицизм в качестве основной и окончательной системной парадигмы, одержавшей верх над всеми ранее… … История Философии: Энциклопедия
ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… … Философская энциклопедия
