Б24 Барыбин, К. С. Сборник геометрических задач на доказательство : пособие для учителей / К. С. Барыбин. - М. : Госпросветиздат, 1952. - 151 с. - 00.00
Примірників всього: 1 АУЛ (1) Свободны: АУЛ (1) |
А 65 Андерсон, Р. Доказательство правильности программ / Р. Андерсон. - Пер. с англ. - М. : Мир, 1982. - 163 с. - 00.60 р.
обчислювальна техніка Примірників всього: 2 АНЛ (2) Свободны: АНЛ (2) |
Д 30 Демидов, И. В. Логика : Учеб.пособие для вузов / И. В. Демидов. - М. : Юриспруденция, 2000. - 203 с. - ISBN 5-8401-0027-7 : 10.00 грн
Кл.слова (ненормовані): Логика -- Понятие -- Суждение -- Дедуктивность -- Индуктивность -- Умозаключение -- Гипотеза -- Доказательство Примірників всього: 1 АУЛ (1) Свободны: АУЛ (1) |
К90 Кулаковская, Л. П. Основы аудита : Учеб. пособие для вузов / Л.П. Кулаковская, Ю.В. Пича. - 2-е изд., испр. и доп. - К. : Каравела, 2004. - 494 с. - (Высшее образование в Украине). - Рек. Минобразования Украины. - ISBN 966-96076-4-7 : 26.00 грн
Кл.слова (ненормовані): доказательство отчеты расчетно-кассовые операции налоговая отчетность компьютерная среда Дод.точки доступу: Пича, Ю.В. Примірників всього: 6 АУЛ (6) Свободны: АУЛ (6) |
Д 29 Делоне, Б. Н. Элементарное доказательство непротиворечивости планиметрии Лобачевского / Б. Н. Делоне. - М. : Гостехтеориздат, 1956. - 139 с. - 00.00
Геометрія Примірників всього: 1 АНЛ (1) Свободны: АНЛ (1) |
П 37 Плавич, В. П. Основы логики с задачами и упражнениями : учеб. пособие / В. П. Плавич. - Х. : Бурун Книга, 2010. - 207 с. - ISBN 978-966-8942-44-0 : 35.00 грн
Логіка Кл.слова (ненормовані): ПОНЯТИЕ -- ПОНЯТТЯ -- логические операция -- логічні операції -- СУЖДЕНИЕ -- судження -- ДОКАЗАТЕЛЬСТВО -- ДОКАЗИ -- опровержение -- спростування -- УЧЕБНОЕ ПОСОБИЕ -- НАВЧАЛЬНИЙ ПОСІБНИК Примірників всього: 2 АУЛ (2) Свободны: АУЛ (2) |
Ч 43 Чень, Ч. Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли ; пер. Г. В. Давыдов ; под ред. С. Ю. Маслова. - Москва : Наука, 1983. - 358 с. - (Математическая логика и основания математики). - Библиогр.: с. 333-349. - Библиогр. в конце глав. - Алф. указ.: с. 350-358. - 2.20 р.
Дод.точки доступу: Ли, Р.; Давыдов, Г. В. \пер.\; Маслов, С. Ю. \ред.\ Примірників всього: 5 АНЛ (5) Свободны: АНЛ (5) |