Головна
Авторизація
Прізвище
№ читательского билета
 

Бази даних


Каталог книг- результати пошуку

Вид пошуку
Каталог книг
Каталог книг НМетАУ (до 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)
Знайти схожі
 
Стандартний
Розширений
Професійний
За словником
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)