А 135 Абачиев, Сергей Константинович. Формальная логика с элементами теории познания [Текст] : учебник для вузов / С. К. Абачиев. - Ростов н/Д : Феникс, 2012. - 635 с. : ил. - (Высшее образование). - Библиогр.: с. 618. - Предм. указ.: с. 628. - ISBN 978-5-222-18656-5 : 550.00 р. Коды, Ключ.слова, Доп.точки доступа 
Имеются экземпляры в отделах: кабинет ОН (1 экз.) Свободны: кон (1) |
Ж 688 Жигулин, Максим Владимирович. Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01 / М. В. Жигулин ; науч. рук. Н. В. Евтушенко ; Национальный исследовательский Томский государственный университет (Томск), Кафедра информационных технологий в исследовании дискретных структур. - Томск : Позитив-НБ, 2012. - 19 с. - Библиогр.: с. 18-19 Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: счз1 (1 экз.) Свободны: счз1 (1) |
З-195 Законы мышления : / Б. Кедров [и др.] ; ред. Б. М. Кедров ; Академия наук СССР, Институт философии (М.). - М. : Издательство АН СССР, 1962. - 335, [1] с. : табл. - (Диалектика и логика). - Б. ц. Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (1 экз.) Свободны: аунл (1) |