Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

Формат представления найденных документов:
полный	для рабочих программ

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=модальные логики<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

16
Ц 342

    Целищев, Виталий Валентинович.
    Философские проблемы логики (семантические аспекты) : / В. В. Целищев, В. В. Петров. - М. : Высшая школа, 1984. - 126, [2] с. - Библиогр. в примеч. в конце глав. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
164.02
~РУБ 16

Кл.слова (ненормированные):
философия -- логика -- значение -- референция -- подстановочные системы -- формальные языки -- модальные логики -- семантика
Доп.точки доступа:
Петров, Василий Викторович

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

16
С 300


    Семантика модальных и интенсиональных логик : пер. с англ. / пер. А. А. Мучник, пер. А. Л. Никифорова, пер. З. А. Сокулер, сост., авт. предисл., ред. пер. В. А. Смирнов. - М. : Прогресс, 1981. - 424 с. - (Общественные науки за рубежом. Философия и социология). - Библиогр. в конце ст. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
164
~РУБ 16

Кл.слова (ненормированные):
логика -- модальные логики -- интенсиональные логики -- семантика -- логическая семантика
Доп.точки доступа:
Мучник, А. А. \пер.\
Никифорова, А. Л. \пер.\
Сокулер, З. А. \пер.\
Смирнов, В. А. \сост., авт. предисл., ред. пер.\

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

519
Ф 366

    Фейс, Роберт.
    Модальная логика : пер. с англ. / Р. Фейс ; ред. пер. с доп. Г. Е. Минц. - М. : Наука, 1974. - 520 с. : черт. - (Математическая логика и основания математики). - Библиогр. в конце глав. - Имен. указ.: с. 510-413. - Предм. указ.: с. 514-520. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 519

Кл.слова (ненормированные):
модальные логики -- математическая логика
Доп.точки доступа:
Минц, Г. Е. \ред. пер. с доп.\

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

519
М 340

    Математические вопросы кибернетики : сборник статей / ред. С. В. Яблонский. - М. : Наука, 1988 - . - До 1988 Издание см. под заглавием: Проблемы кибернетики. .
   Вып. 2. - М. : Наука, 1989. - 240 с. : ил. - Библиогр. в конце ст. - ISBN 5-02-013979-3 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.7
~РУБ 519

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА -- ДИСКРЕТНАЯ МАТЕМАТИКА -- МОДАЛЬНЫЕ ЛОГИКИ -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- ФУНКЦИОНАЛЬНЫЕ ЭЛЕМЕНТЫ -- КОНТАКТНЫЕ СХЕМЫ -- БУЛЕВЫ ФУНКЦИИ
Доп.точки доступа:
Яблонский, С. В. \ред.\

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

Статистика за 18.06.2024
Число запросов	26901
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)