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

Базы данных

- результаты поиска

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

Найдено в других БД:

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

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

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

Поисковый запрос: (<.>K=ФОРМАЛЬНАЯ ЛОГИКА<.>)

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

16
А 135

    Абачиев, Сергей Константинович.
    Формальная логика с элементами теории познания [Текст] : учебник для вузов / С. К. Абачиев. - Ростов н/Д : Феникс, 2012. - 635 с. : ил. - (Высшее образование). - Библиогр.: с. 618. - Предм. указ.: с. 628. - ISBN 978-5-222-18656-5 : 550.00 р.

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

Кл.слова (ненормированные):
УЧЕБНИКИ -- СОВРЕМЕННАЯ ЛОГИКА -- СИЛЛОГИЗМЫ -- ФОРМАЛЬНАЯ ЛОГИКА -- ВЫСКАЗЫВАНИЯ -- СУЖДЕНИЯ -- УМОЗАКЛЮЧЕНИЯ

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

А
Ж 688

    Жигулин, Максим Владимирович.
    Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01 / М. В. Жигулин ; науч. рук. Н. В. Евтушенко ; Национальный исследовательский Томский государственный университет (Томск), Кафедра информационных технологий в исследовании дискретных структур. - Томск : Позитив-НБ, 2012. - 19 с. - Библиогр.: с. 18-19

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.511.42(043.3)
519.713(043.3)
~РУБ А

Кл.слова (ненормированные):
ДИСКРЕТНАЯ МАТЕМАТИКА -- ТЕОРИЯ АВТОМАТОВ -- ФОРМАЛЬНАЯ ЛОГИКА -- КОМПЬЮТЕРНЫЕ ЭКСПЕРИМЕНТЫ -- АВТОРЕФЕРАТЫ
Доп.точки доступа:
Евтушенко, Нина Владимировна \науч. рук.\
Национальный исследовательский Томский государственный университет (Томск). Кафедра информационных технологий в исследовании дискретных структур

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

16
З-195


    Законы мышления : / Б. Кедров [и др.] ; ред. Б. М. Кедров ; Академия наук СССР, Институт философии (М.). - М. : Издательство АН СССР, 1962. - 335, [1] с. : табл. - (Диалектика и логика). - Б. ц.

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

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

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

Статистика за 07.07.2024
Число запросов	195435
Число заказов	0

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