Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
"Синтаксис и семантика логических систем", российская школа-семинар, посвященная 60-летию со дня рождения Ю. Е. Шишмаревой ((2008 ; ; Владивосток).).
Материалы..., 25 - 29 августа 2008 г. / Дальневосточный государственный университет [и др.]. - Владивосток : [Дальнаука], 2008. - 62 с. - Библиогр. в конце ст. . - ISBN 9785804409037
Рубрики: математическая логика--тезисы докладов
Кл.слова (ненормированные):
логические исчисления -- моделей теория -- многоосновные алгебраические системы -- автоморфизмов группы -- конечные предикатные структуры -- обобщенно стабильные теории -- булевы функции -- логические схемы -- бесповторные представления -- гомологий группы -- Бетти числа -- Тапперта уравнение -- методика преподавания логики
Доп.точки доступа:
Дальневосточный государственный университет (Владивосток)
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
"Синтаксис и семантика логических систем", российская школа-семинар, посвященная 60-летию со дня рождения Ю. Е. Шишмаревой ((2008 ; ; Владивосток).).
Материалы..., 25 - 29 августа 2008 г. / Дальневосточный государственный университет [и др.]. - Владивосток : [Дальнаука], 2008. - 62 с. - Библиогр. в конце ст. . - ISBN 9785804409037
| УДК |
Рубрики: математическая логика--тезисы докладов
Кл.слова (ненормированные):
логические исчисления -- моделей теория -- многоосновные алгебраические системы -- автоморфизмов группы -- конечные предикатные структуры -- обобщенно стабильные теории -- булевы функции -- логические схемы -- бесповторные представления -- гомологий группы -- Бетти числа -- Тапперта уравнение -- методика преподавания логики
Доп.точки доступа:
Дальневосточный государственный университет (Владивосток)
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Страница 1, Результатов: 1