Оберіть мову Ukrainian Arabic Armenian Azerbaijani Belarusian Bulgarian Chinese (Simplified) Chinese (Traditional) Czech Danish Dutch English Estonian Finnish French Georgian German Greek Hebrew Hindi Hungarian Icelandic Irish Italian Japanese Korean Latvian Lithuanian Norwegian Persian Polish Portuguese Romanian Russian Serbian Slovak Slovenian Spanish Swahili Swedish
Бази даних
Наукова електронна бібліотека - результати пошуку
Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер"Mozilla Firefox"
Формат представлення знайдених документів: повний стислий
Пошуковий запит: (<.>A=ЧЕНЬ$<.>)
Загальна кількість знайдених документів : 1
Тип видання: наукове видання 1. Чень, Ч. Математическая логика и автоматическое доказательство теорем [Електронний ресурс] : пер. с англ. / Ч. Чень, Р. Ли. - М. : Наука, 1983. - 360 с. Рубрики: Повний текст доступний у читальних залах НБУВ
Книга посвящена детальному изложению круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем искусственного интеллекта.
Кл.слова: логіка -- формула -- метод
Всі права захищені © Національна бібліотека України імені В. І. Вернадського