Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 3
Отмеченные записи: 0
1.
Подробнее
vtls000061612
517 С 158
Сакс, Дж. Е.
Теория насыщенных моделей / Дж. Е. Сакс ; пер. с англ. Л. Л. Максимовой, Е. А. Палютина. - Москва : Мир, 1976. - 190 c. : ил. - Библиогр. : с. 181-182.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
Морли производная -- теория насыщенных моделей -- однородные системы -- модельная полнота -- прикладная математика -- моделей теория -- математика -- модели насыщенные -- топология -- дифференциальное замыкание -- математическая логика -- алгебра
Доп.точки доступа:
Максимова, Л. Л. \пер.\
Палютин, Е. А. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
517 С 158
Сакс, Дж. Е.
Теория насыщенных моделей / Дж. Е. Сакс ; пер. с англ. Л. Л. Максимовой, Е. А. Палютина. - Москва : Мир, 1976. - 190 c. : ил. - Библиогр. : с. 181-182.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
Морли производная -- теория насыщенных моделей -- однородные системы -- модельная полнота -- прикладная математика -- моделей теория -- математика -- модели насыщенные -- топология -- дифференциальное замыкание -- математическая логика -- алгебра
Доп.точки доступа:
Максимова, Л. Л. \пер.\
Палютин, Е. А. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
2.
Подробнее
vtls000285126
510 С 387
"Синтаксис и семантика логических систем", российская школа-семинар, посвященная 60-летию со дня рождения Ю. Е. Шишмаревой ((2008 ; ; Владивосток).).
Материалы..., 25 - 29 августа 2008 г. / Дальневосточный государственный университет [и др.]. - Владивосток : [Дальнаука], 2008. - 62 с. - Библиогр. в конце ст.. - ISBN 9785804409037
Рубрики: математическая логика--тезисы докладов
Кл.слова (ненормированные):
логические исчисления -- моделей теория -- многоосновные алгебраические системы -- автоморфизмов группы -- конечные предикатные структуры -- обобщенно стабильные теории -- булевы функции -- логические схемы -- бесповторные представления -- гомологий группы -- Бетти числа -- Тапперта уравнение -- методика преподавания логики
Доп.точки доступа:
Дальневосточный государственный университет (Владивосток)
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
510 С 387
"Синтаксис и семантика логических систем", российская школа-семинар, посвященная 60-летию со дня рождения Ю. Е. Шишмаревой ((2008 ; ; Владивосток).).
Материалы..., 25 - 29 августа 2008 г. / Дальневосточный государственный университет [и др.]. - Владивосток : [Дальнаука], 2008. - 62 с. - Библиогр. в конце ст.. - ISBN 9785804409037
| УДК |
Рубрики: математическая логика--тезисы докладов
Кл.слова (ненормированные):
логические исчисления -- моделей теория -- многоосновные алгебраические системы -- автоморфизмов группы -- конечные предикатные структуры -- обобщенно стабильные теории -- булевы функции -- логические схемы -- бесповторные представления -- гомологий группы -- Бетти числа -- Тапперта уравнение -- методика преподавания логики
Доп.точки доступа:
Дальневосточный государственный университет (Владивосток)
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
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)
Страница 1, Результатов: 3