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

Бази даних


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

Вид пошуку
Каталог книг
Каталог книг НМетАУ (до 2022 року)
Періодичні видання (друковані)
Статті, доповіді, тези
Рідкісні та цінні видання
Охоронні документи
Мережеві ресурси
Зона пошуку
 Знайдено у інших БД:Каталог книг НМетАУ (до 2022 року) (2)Статті, доповіді, тези (11)
Формат представлення знайдених документів:
повний інформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>K=ДОКАЗАТЕЛЬСТВО<.>
Загальна кількість знайдених документів : 7
Показані документи с 1 за 7
1.

Форма документа : Однотомне видання
Шифр видання : У51/Б24
Автор(и) : Барыбин К.С.
Назва : Сборник геометрических задач на доказательство : пособие для учителей
Вихідні дані : М.: Госпросветиздат, 1952
Кільк.характеристики :151 с :
УДК : 513
Примірники :АУЛ(1)
Вільні : АУЛ(1)
Знайти схожі
2.

Форма документа : Однотомне видання
Шифр видання : 681.3/А 65
Автор(и) : Андерсон Р.
Назва : Доказательство правильности программ . -Пер. с англ.
Вихідні дані : М.: Мир, 1982
Кільк.характеристики :163 с :
УДК : 681.3.06
Предметні рубрики: вычислительная техника
обчислювальна техніка
Примірники : всього : АНЛ(2)
Вільні : АНЛ(2)
Знайти схожі
3.

Форма документа : Однотомне видання
Шифр видання : У16/Д 30
Автор(и) : Демидов И.В.
Назва : Логика : Учеб.пособие для вузов
Вихідні дані : М.: Юриспруденция, 2000
Кільк.характеристики :203 с
ISBN, Ціна 5-8401-0027-7:
УДК : 16(075.8)
Ключові слова (''Вільн.індекс.''): логика--понятие--суждение--дедуктивность--индуктивность--умозаключение--гипотеза--доказательство
Примірники :АУЛ(1)
Вільні : АУЛ(1)
Знайти схожі
4.

Форма документа : Однотомне видання
Шифр видання : У657/К90
Автор(и) : Кулаковская Л.П., Пича Ю.В.
Назва : Основы аудита : Учеб. пособие для вузов . -2-е изд., испр. и доп.
Вихідні дані : К.: Каравела, 2004
Кільк.характеристики :494 с
Серія: Высшее образование в Украине
Примітки : Рек. Минобразования Украины
ISBN, Ціна 966-96076-4-7:
УДК : 657.6(075.8)
Предметні рубрики: аудит
Ключові слова (''Вільн.індекс.''): доказательство отчеты расчетно-кассовые операции налоговая отчетность компьютерная среда
Примірники : всього : АУЛ(6)
Вільні : АУЛ(6)
Знайти схожі
5.

Форма документа : Однотомне видання
Шифр видання : 514/Д 29
Автор(и) : Делоне Б. Н.
Назва : Элементарное доказательство непротиворечивости планиметрии Лобачевского
Вихідні дані : М.: Гостехтеориздат, 1956
Кільк.характеристики :139 с :
ДРНТІ : 27.21
УДК : 514.112
Предметні рубрики: Геометрия
Геометрія
Примірники :АНЛ(1)
Вільні : АНЛ(1)
Знайти схожі
6.

Форма документа : Однотомне видання
Шифр видання : У 16/П 37
Автор(и) : Плавич В. П.
Назва : Основы логики с задачами и упражнениями : учеб. пособие
Вихідні дані : Х.: Бурун Книга, 2010
Кільк.характеристики :207 с
ISBN, Ціна 978-966-8942-44-0:
ДРНТІ : 02.21
УДК : 161.1:34(075.8)
Предметні рубрики: Логика
Логіка
Ключові слова (''Вільн.індекс.''): понятие--поняття--логические операция--логічні операції--суждение--судження--доказательство--докази--опровержение--спростування--учебное пособие--навчальний посібник
Примірники : всього : АУЛ(2)
Вільні : АУЛ(2)
Знайти схожі
7.

Форма документа : Однотомне видання
Шифр видання : 510/Ч 43
Автор(и) : Чень Ч., Ли Р.
Назва : Математическая логика и автоматическое доказательство теорем
Вихідні дані : Москва: Наука, 1983
Кільк.характеристики :358 с
Серія: Математическая логика и основания математики
Примітки : Библиогр.: с. 333-349. - Библиогр. в конце глав. - Алф. указ.: с. 350-358 :
ДРНТІ : 27.03
УДК : 510.6
Предметні рубрики: Математика
Примірники : всього : АНЛ(5)
Вільні : АНЛ(5)
Знайти схожі
 
Стандартний
Розширений
Професійний
За словником
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)