Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
Колмогоров, Андрей Николаевич.
Математическая логика : учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет. ; Московский государственный университет. - Москва : Едиториал УРСС, 2004. - 238 c. : ил. - (Классический университетский учебник). - Библиогр. : с. 228.. - ISBN 535400389X
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
Геделя теорема -- теория алгорифмов -- теория множеств -- логические законы (математика) -- семантика языка (математика) -- исчисление предикатов (математика) -- логико-математические языки -- булева алгебра -- исчисление высказываний -- математические структуры -- применение алгебры логики -- логика предикатов -- Тьюринга машины -- теория доказательств -- язык теории множеств -- Черча тезис
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет
Экземпляры всего: 3
Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
Колмогоров, Андрей Николаевич.
Математическая логика : учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет. ; Московский государственный университет. - Москва : Едиториал УРСС, 2004. - 238 c. : ил. - (Классический университетский учебник). - Библиогр. : с. 228.. - ISBN 535400389X
| УДК |
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
Геделя теорема -- теория алгорифмов -- теория множеств -- логические законы (математика) -- семантика языка (математика) -- исчисление предикатов (математика) -- логико-математические языки -- булева алгебра -- исчисление высказываний -- математические структуры -- применение алгебры логики -- логика предикатов -- Тьюринга машины -- теория доказательств -- язык теории множеств -- Черча тезис
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет
Экземпляры всего: 3
Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
2.
Подробнее
Колмогоров, Андрей Николаевич.
Введение в математическую логику : учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Московского университета, 1982. - 120 с. : ил. - Библиогр. : с. 120.
Прил. : с. 116-119.
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
логические законы (математика) -- семантика языка (математика) -- исчисление предикатов (математика) -- логико-математические языки -- булева алгебра -- исчисление высказываний -- математические структуры -- применение алгебры логики -- логика предикатов
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
Колмогоров, Андрей Николаевич.
Введение в математическую логику : учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Московского университета, 1982. - 120 с. : ил. - Библиогр. : с. 120.
Прил. : с. 116-119.
| УДК |
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
логические законы (математика) -- семантика языка (математика) -- исчисление предикатов (математика) -- логико-математические языки -- булева алгебра -- исчисление высказываний -- математические структуры -- применение алгебры логики -- логика предикатов
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
Страница 1, Результатов: 2