База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 1
Отмеченные записи: 0
1.

Подробнее
510(075.8) К 715
Косовский, Николай Кириллович.
Логики конечнозначных предикатов на основе неравенств : учебное пособие / Н. К. Косовский, А. В. Тишков ; Санкт-Петербургский государственный университет. - [Санкт-Петербург] : Изд-во Санкт-Петербургского университета, 2000. - 268 c. - Библиогр. : с. 225-231. . - ISBN 5288020493
Прил. : с. 232-268.
Кл.слова (ненормированные):
логическое моделирование -- математическая логика -- логика двузначная -- логика предикатов -- линейные неравенства -- предикаты -- математические теории -- Поста логика -- Лукасевича логика -- неравенства -- бесквантовые теории линейных неравенств
Доп.точки доступа:
Тишков, Артем Валерьевич
Санкт-Петербургский государственный университет
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
Косовский, Николай Кириллович.
Логики конечнозначных предикатов на основе неравенств : учебное пособие / Н. К. Косовский, А. В. Тишков ; Санкт-Петербургский государственный университет. - [Санкт-Петербург] : Изд-во Санкт-Петербургского университета, 2000. - 268 c. - Библиогр. : с. 225-231. . - ISBN 5288020493
Прил. : с. 232-268.
УДК |
Кл.слова (ненормированные):
логическое моделирование -- математическая логика -- логика двузначная -- логика предикатов -- линейные неравенства -- предикаты -- математические теории -- Поста логика -- Лукасевича логика -- неравенства -- бесквантовые теории линейных неравенств
Доп.точки доступа:
Тишков, Артем Валерьевич
Санкт-Петербургский государственный университет
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
Страница 1, Результатов: 1