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