Головна
Авторизація
Прізвище
№ читательского билета
Наукова бібліотека Українського державного університету науки і технологій
Бази даних
Каталог книг- результати пошуку
Вид пошуку
Каталог книг
Каталог книг НМетАУ (до 2022 року)
Періодичні видання (друковані)
Статті, доповіді, тези
Рідкісні та цінні видання
Охоронні документи
Мережеві ресурси
Зона пошуку
Ключевые слова
Автор
Назва
Рік видання
Знайдено у інших БД:
Каталог книг НМетАУ (до 2022 року) (2)
Статті, доповіді, тези (11)
Формат представлення знайдених документів:
повний
інформаційний
короткий
Відсортувати знайдені документи за:
автором
назвою
роком видання
типом документа
Пошуковий запит:
<.>K=Доказательство<.>
Загальна кількість знайдених документів
:
7
Показані документи
с 1 за 7
>
1.
У51
Б24
Барыбин, К. С.
Сборник геометрических задач на
доказательство
: пособие для учителей / К. С. Барыбин. - М. : Госпросветиздат, 1952. - 151 с. - 00.00
УДК
513
Примірників всього:
1
АУЛ (1)
Свободны:
АУЛ (1)
Знайти схожі
>
2.
681.3
А 65
Андерсон, Р.
Доказательство
правильности программ / Р. Андерсон. - Пер. с англ. - М. : Мир, 1982. - 163 с. - 00.60 р.
УДК
681.3.06
Рубрики:
вычислительная техника
обчислювальна техніка
Примірників всього:
2
АНЛ (2)
Свободны:
АНЛ (2)
Знайти схожі
>
3.
У16
Д 30
Демидов, И. В.
Логика : Учеб.пособие для вузов / И. В. Демидов. - М. : Юриспруденция, 2000. - 203 с. -
ISBN
5-8401-0027-7 : 10.00 грн
УДК
16(075.8)
Кл.слова (ненормовані):
Логика
--
Понятие
--
Суждение
--
Дедуктивность
--
Индуктивность
--
Умозаключение
--
Гипотеза
--
Доказательство
Примірників всього:
1
АУЛ (1)
Свободны:
АУЛ (1)
Знайти схожі
>
4.
У657
К90
Кулаковская, Л. П.
Основы аудита : Учеб. пособие для вузов / Л.П. Кулаковская, Ю.В. Пича. - 2-е изд., испр. и доп. - К. : Каравела, 2004. - 494 с. - (Высшее образование в Украине). - Рек. Минобразования Украины. -
ISBN
966-96076-4-7 : 26.00 грн
УДК
657.6(075.8)
Рубрики:
аудит
Кл.слова (ненормовані):
доказательство
отчеты расчетно-кассовые операции налоговая отчетность компьютерная среда
Дод.точки доступу:
Пича, Ю.В.
Примірників всього:
6
АУЛ (6)
Свободны:
АУЛ (6)
Знайти схожі
>
5.
514
Д 29
Делоне, Б. Н.
Элементарное
доказательство
непротиворечивости планиметрии Лобачевского / Б. Н. Делоне. - М. : Гостехтеориздат, 1956. - 139 с. - 00.00
ДРНТІ
27.21
УДК
514.112
Рубрики:
Геометрия
Геометрія
Примірників всього:
1
АНЛ (1)
Свободны:
АНЛ (1)
Знайти схожі
>
6.
У 16
П 37
Плавич, В. П.
Основы логики с задачами и упражнениями : учеб. пособие / В. П. Плавич. - Х. : Бурун Книга, 2010. - 207 с. -
ISBN
978-966-8942-44-0 : 35.00 грн
ДРНТІ
02.21
УДК
161.1:34(075.8)
Рубрики:
Логика
Логіка
Кл.слова (ненормовані):
ПОНЯТИЕ
--
ПОНЯТТЯ
--
логические операция
--
логічні операції
--
СУЖДЕНИЕ
--
судження
--
ДОКАЗАТЕЛЬСТВО
--
ДОКАЗИ
--
опровержение
--
спростування
--
УЧЕБНОЕ ПОСОБИЕ
--
НАВЧАЛЬНИЙ ПОСІБНИК
Примірників всього:
2
АУЛ (2)
Свободны:
АУЛ (2)
Знайти схожі
>
7.
510
Ч 43
Чень, Ч.
Математическая логика и автоматическое
доказательство
теорем / Ч. Чень, Р. Ли ; пер. Г. В. Давыдов ; под ред. С. Ю. Маслова. - Москва : Наука, 1983. - 358 с. - (Математическая логика и основания математики). - Библиогр.: с. 333-349. - Библиогр. в конце глав. - Алф. указ.: с. 350-358. - 2.20 р.
ДРНТІ
27.03
УДК
510.6
Рубрики:
Математика
Дод.точки доступу:
Ли, Р.; Давыдов, Г. В. \пер.\; Маслов, С. Ю. \ред.\
Примірників всього:
5
АНЛ (5)
Свободны:
АНЛ (5)
Знайти схожі
повний формат
короткий формат
всі знайдені
відмічені
окрім відмічених
Стандартний
Розширений
Професійний
За словником
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)