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