Л 65 Лихтарников, Леонид Моисеевич. Математическая логика : курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - СПб. : Лань, 2008. - 288 с. - (Учебники для вузов. Специальная литература). - 2 000 прим.. - ISBN 978-5-8114-0082-9 Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА Кл.слова (ненормовані): понятие высказываний -- алгебра буля -- закон двойственности -- исчисление высказываний -- понятие вывода -- правила выводимости -- кванторные операции -- логика предикатов -- математические теории -- алгоритмы Дод.точки доступу: Сукачева, Тамара Геннадьевна Примірників всього: 5 Аб. (5) Свободны: Аб. (5) |