Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 4
Отмеченные записи: 0
1.
Подробнее
vtls000088549
517 Н 73
Новиков, Петр Сергеевич.
Элементы математической логики / П. С. Новиков. - Москва : Физматлит, 1959. - 400 c. - (Математическая логика и основания математики)
Кл.слова (ненормированные):
математическая логика -- аксиоматическая арифметика -- доказательств теория -- высказываний алгебра -- кванторы -- математика -- предикатов логика
Экземпляры всего: 6
Абонемент учебной и научной литературы (5), Книгохранение (1)
Свободны: Абонемент учебной и научной литературы (5), Книгохранение (1)
517 Н 73
Новиков, Петр Сергеевич.
Элементы математической логики / П. С. Новиков. - Москва : Физматлит, 1959. - 400 c. - (Математическая логика и основания математики)
| УДК |
Кл.слова (ненормированные):
математическая логика -- аксиоматическая арифметика -- доказательств теория -- высказываний алгебра -- кванторы -- математика -- предикатов логика
Экземпляры всего: 6
Абонемент учебной и научной литературы (5), Книгохранение (1)
Свободны: Абонемент учебной и научной литературы (5), Книгохранение (1)
2.
Подробнее
vtls000246376
510(075.8) Е 804
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие для математических специальностей вузов / Ю. Л. Ершов, Е. А. Палютин. - Москва : Наука, 1979. - 320 с. : табл.
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
множеств теория -- алгебраические системы -- доказательств теория -- рекурсивные функции -- исчисление высказываний -- теория множеств -- исчисление предикатов -- теория доказательств -- алгоритмы
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 7
Абонемент о. Русский (2), Абонемент учебной и научной литературы (2), Ч/З о. Русский (3)
Свободны: Абонемент о. Русский (2), Абонемент учебной и научной литературы (2), Ч/З о. Русский (3)
510(075.8) Е 804
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие для математических специальностей вузов / Ю. Л. Ершов, Е. А. Палютин. - Москва : Наука, 1979. - 320 с. : табл.
| УДК |
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
множеств теория -- алгебраические системы -- доказательств теория -- рекурсивные функции -- исчисление высказываний -- теория множеств -- исчисление предикатов -- теория доказательств -- алгоритмы
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 7
Абонемент о. Русский (2), Абонемент учебной и научной литературы (2), Ч/З о. Русский (3)
Свободны: Абонемент о. Русский (2), Абонемент учебной и научной литературы (2), Ч/З о. Русский (3)
3.
Подробнее
vtls000674414
510(075.8) Е 804
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - Москва : Физматлит, 2011. - 356 с.. - ISBN 9785922113014
Рубрики: логика математическая--учебные издания для вузов
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- множеств теория -- алгебраические системы -- исчисление предикатов -- моделей теория -- доказательств теория -- вычислимость -- разрешимые теории -- неразрешимые теории
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 2
Ч/З о. Русский (1), Книгохранение (1)
Свободны: Ч/З о. Русский (1), Книгохранение (1)
510(075.8) Е 804
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - Москва : Физматлит, 2011. - 356 с.. - ISBN 9785922113014
| УДК |
Рубрики: логика математическая--учебные издания для вузов
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- множеств теория -- алгебраические системы -- исчисление предикатов -- моделей теория -- доказательств теория -- вычислимость -- разрешимые теории -- неразрешимые теории
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 2
Ч/З о. Русский (1), Книгохранение (1)
Свободны: Ч/З о. Русский (1), Книгохранение (1)
4.
Подробнее
vtls000699342
510(075.8) К 445
Кислов, Алексей Геннадьевич.
Логика высказываний : язык, алгебра, исчисления : учебное пособие по программе бакалавриата по социально-экономическим и гуманитарным направлениям подготовки / А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов ; Уральский федеральный университет, Институт социальных и политических наук. ; Уральский федеральный университет, Институт социальных и политических наук. - Екатеринбург : Изд-во Уральского университета, 2012. - 115 с. : табл. - Библиогр. : с. 114.. - ISBN 9785799607739
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
язык логики высказываний -- классическая логика высказываний (семантика) -- пропозициональная логика -- булевы алгебры -- доказательств теория -- аксиомы -- аксиоматика -- алгебра -- логика (аксиоматические методы) -- логика высказываний (синтаксис) -- исчисление высказываний
Доп.точки доступа:
Ольховиков, Григорий Константинович
Уколов, Сергей Юрьевич
Уральский федеральный университет. Институт социальных и политических наук
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
510(075.8) К 445
Кислов, Алексей Геннадьевич.
Логика высказываний : язык, алгебра, исчисления : учебное пособие по программе бакалавриата по социально-экономическим и гуманитарным направлениям подготовки / А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов ; Уральский федеральный университет, Институт социальных и политических наук. ; Уральский федеральный университет, Институт социальных и политических наук. - Екатеринбург : Изд-во Уральского университета, 2012. - 115 с. : табл. - Библиогр. : с. 114.. - ISBN 9785799607739
| УДК |
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
язык логики высказываний -- классическая логика высказываний (семантика) -- пропозициональная логика -- булевы алгебры -- доказательств теория -- аксиомы -- аксиоматика -- алгебра -- логика (аксиоматические методы) -- логика высказываний (синтаксис) -- исчисление высказываний
Доп.точки доступа:
Ольховиков, Григорий Константинович
Уколов, Сергей Юрьевич
Уральский федеральный университет. Институт социальных и политических наук
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Страница 1, Результатов: 4