Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 4
Отмеченные записи: 0
1.
Подробнее
Новиков, Петр Сергеевич.
Элементы математической логики / П. С. Новиков. - Москва : Физматлит, 1959. - 400 c. - (Математическая логика и основания математики)
Кл.слова (ненормированные):
математическая логика -- аксиоматическая арифметика -- доказательств теория -- высказываний алгебра -- кванторы -- математика -- предикатов логика
Экземпляры всего: 6
Абонемент учебной и научной литературы (5), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (5), Хранение Отдела организации и использования фонда (1)
Новиков, Петр Сергеевич.
Элементы математической логики / П. С. Новиков. - Москва : Физматлит, 1959. - 400 c. - (Математическая логика и основания математики)
| УДК |
Кл.слова (ненормированные):
математическая логика -- аксиоматическая арифметика -- доказательств теория -- высказываний алгебра -- кванторы -- математика -- предикатов логика
Экземпляры всего: 6
Абонемент учебной и научной литературы (5), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (5), Хранение Отдела организации и использования фонда (1)
2.
Подробнее
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие для математических специальностей вузов / Ю. Л. Ершов, Е. А. Палютин. - Москва : Наука, 1979. - 320 с. : табл.
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
множеств теория -- алгебраические системы -- доказательств теория -- рекурсивные функции -- исчисление высказываний -- теория множеств -- исчисление предикатов -- теория доказательств -- алгоритмы
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 7
Абонемент о. Русский (2), Абонемент учебной и научной литературы (2), Ч/З о. Русский (3)
Свободны: Абонемент о. Русский (2), Абонемент учебной и научной литературы (2), Ч/З о. Русский (3)
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие для математических специальностей вузов / Ю. Л. Ершов, Е. А. Палютин. - Москва : Наука, 1979. - 320 с. : табл.
| УДК |
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
множеств теория -- алгебраические системы -- доказательств теория -- рекурсивные функции -- исчисление высказываний -- теория множеств -- исчисление предикатов -- теория доказательств -- алгоритмы
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 7
Абонемент о. Русский (2), Абонемент учебной и научной литературы (2), Ч/З о. Русский (3)
Свободны: Абонемент о. Русский (2), Абонемент учебной и научной литературы (2), Ч/З о. Русский (3)
3.
Подробнее
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - Москва : Физматлит, 2011. - 356 с.. - ISBN 9785922113014
Рубрики: логика математическая--учебные издания для вузов
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- множеств теория -- алгебраические системы -- исчисление предикатов -- моделей теория -- доказательств теория -- вычислимость -- разрешимые теории -- неразрешимые теории
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - Москва : Физматлит, 2011. - 356 с.. - ISBN 9785922113014
| УДК |
Рубрики: логика математическая--учебные издания для вузов
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- множеств теория -- алгебраические системы -- исчисление предикатов -- моделей теория -- доказательств теория -- вычислимость -- разрешимые теории -- неразрешимые теории
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
4.
Подробнее
Кислов, Алексей Геннадьевич.
Логика высказываний : язык, алгебра, исчисления : учебное пособие по программе бакалавриата по социально-экономическим и гуманитарным направлениям подготовки / А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов ; Уральский федеральный университет, Институт социальных и политических наук. - Екатеринбург : Изд-во Уральского университета, 2012. - 115 с. : табл. - Библиогр. : с. 114.. - ISBN 9785799607739
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
язык логики высказываний -- классическая логика высказываний (семантика) -- пропозициональная логика -- булевы алгебры -- доказательств теория -- аксиомы -- аксиоматика -- алгебра -- логика (аксиоматические методы) -- логика высказываний (синтаксис) -- исчисление высказываний
Доп.точки доступа:
Ольховиков, Григорий Константинович
Уколов, Сергей Юрьевич
Уральский федеральный университет. Институт социальных и политических наук
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Кислов, Алексей Геннадьевич.
Логика высказываний : язык, алгебра, исчисления : учебное пособие по программе бакалавриата по социально-экономическим и гуманитарным направлениям подготовки / А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов ; Уральский федеральный университет, Институт социальных и политических наук. - Екатеринбург : Изд-во Уральского университета, 2012. - 115 с. : табл. - Библиогр. : с. 114.. - ISBN 9785799607739
| УДК |
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
язык логики высказываний -- классическая логика высказываний (семантика) -- пропозициональная логика -- булевы алгебры -- доказательств теория -- аксиомы -- аксиоматика -- алгебра -- логика (аксиоматические методы) -- логика высказываний (синтаксис) -- исчисление высказываний
Доп.точки доступа:
Ольховиков, Григорий Константинович
Уколов, Сергей Юрьевич
Уральский федеральный университет. Институт социальных и политических наук
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Page 1, Results: 4