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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

Поисковый запрос: (<.>A=Смирнова, Елена Дмитриевна$<.>)

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

16
С 506

    Смирнова, Елена Дмитриевна.
    Логическая семантика и философские основания логики : / Е. Д. Смирнова. - М. : Издательство Московского университета, 1986. - 160, [1] с. - Библиогр. в примеч.: с. 155-161. - Б. ц.

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

Кл.слова (ненормированные):
философия -- логика -- логическая семантика -- семантика -- истинность -- формализмы -- семантические парадоксы -- семантические категории -- формализованные языки

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

681.3
Л694


    Логика и компьютер: Моделирование рассуждений и проверка правильности программ / Н. А. Алешина [и др.] ; ред. Е. Д. Смирнова ; Академия наук СССР. - М. : Наука, 1990. - 238, [2] с. : ил. - (Кибернетика - неограниченные возможности и возможные ограничения). - Библиогр.: с. 231-235. - ISBN 5-02-007156-0 : Б. ц.

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

Кл.слова (ненормированные):
компьютеры -- логика -- программирование -- логическое программирование
Доп.точки доступа:
Алешина, Наталия Альбертовна
Анисов, Александр Михайлович
Быстров, Петр Иванович
Герасимова, И. А.
Меськов, В. С.
Смирнова, Елена Дмитриевна \ред.\
Академия наук СССР

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

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

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