И 25 Ивлев, Юрий Васильевич. Логика [Текст] : учебник : [для студентов вузов по специальностям 020100 "Философия", 021100 "Юриспруденция"] / Ю. В. Ивлев ; Моск. гос. ун-т им. М. В. Ломоносова. - Изд. 4-е, перераб. и доп. - Москва : Проспект, 2014. - 296 с. : ил. - ISBN 978-5-392-11544-0 : 250.00 р.
Кл.слова (ненормированные): УЧЕБНИКИ -- ГРИФ МИНИСТЕРСТВА ОБРАЗОВАНИЯ РФ -- ЛОГИЧЕСКИЕ ЗАКОНЫ -- СУЖДЕНИЕ -- ФОРМАЛЬНАЯ логика -- ЛОГИКА И ЯЗЫК -- ДЕДУКТИВНые умозаключения -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- понятия -- ИНДУКТИВНЫЕ умозаключения -- РАЗЪЯСНЕНИЯ языковых выражений -- ДЕЛЕНИЕ -- КЛАССИФИКАЦИЯ -- АРГУМЕНТАЦИЯ -- КРИТИКА -- доказательство -- имена -- гипотеза Экземпляры всего: 1 кнхр (1) Свободны: кнхр (1) |
М 74 Моисеев, Николай Геннадьевич. Математическая логика и теория алгоритмов [Текст : Электронный ресурс] : лаб. практикум / Н. Г. Моисеев ; ГОУ ВПО "Мар. гос. техн. ун-т". - Йошкар-Ола : МарГТУ, 2011. - 211 с. : ил. - 36.75 р., 37.02 р.
Кл.слова (ненормированные): ЛАБОРАТОРНЫЕ ПРАКТИКУМЫ -- АЛГЕБРА высказываний -- алгебра логики -- логика высказываний -- логика предикатов -- АЛГОРИТМЫ (ТЕОРИЯ) Перейти к внешнему ресурсу Математическая логика и теория алгоритмов. Экземпляры всего: 60 абунл (54), чз№1 (2), чз№2 (3), кнхр (1) Свободны: абунл (43), чз№1 (2), чз№2 (1), кнхр (1) |