Математическая логика и автоматическое доказательство теорем
Название: Математическая логика и автоматическое доказательство теорем
Автор: Чень Ч., Ли Р.
Издательство: Наука
Страниц: 360
Формат: DJVU
Размер: 8.73 Мб
Качество: Отличное
Язык: Русский
Год издания: 1973
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем "искусственного интеллекта".
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12813 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Курс астрономии. (Часть практическая)
Автор: Цингер Н.Я.Название: Курс астрономии. (Часть практическая)Издательство: Издано при содействии Николаевской Академии Генерального Штаба, Военная Типография (СПб)Год: 1899Количество страниц: 300Я . . .
-
Соотношения криминалистики с уголовным и уголовно-процессуальным правом
Автор: Смахтин Е.В.Название: Соотношения криминалистики с уголовным и уголовно-процессуальным правомИздательство: ЮрлитинформГод: 2009Страниц: 232Формат: djvuРазмер: 3 мбМонография посвящена определе . . .
-
Государственная комиссия по запасам полезных ископаемых
Автор: Подтуркин Ю.А. (гл. ред.) и др. Название: Государственная комиссия по запасам полезных ископаемыхИздательство: НП НАЭНГод: 2007Страниц: 220Формат: pdfРазмер: 131 мбКнига издана к 80-летию Госу . . .
-
Шизофрения
Автор: Рустанович А.В. Название: Шизофрения. Учебное пособиеИздательство: СПб. ЭЛБИ СПбГод: 2012Страниц: 96 с.Формат: djvu / rar + 3%Размер: 1.25 MBВ пособии кратко изложены современные представлени . . .
-
Как не переплачивать за коммунальные услуги
Название: Как не переплачивать за коммунальные услугиАвтор: Оксана Грибова Год издания: 2013Издательство: Рипол КлассикISBN: 978-5-386-06161-6Страниц: 160, Илл.Формат: . . .
-
Книга Морская Коллекция № 7 2013. Ледокол «Красин». Славная судьба «Святогора»
Название: Морская Коллекция № 7 2013. Ледокол «Красин». Славная судьба «Святогора» Автор: Кузнецов Н. Страниц: 36 Формат: PDF Размер: Качество: Отличное Язык: Русский Год издания: 2013 Судьба легенда . . .
-
Книга Formula (Формула) рукоделия № 3 2014
Название: Formula (Формула) рукоделия №3 2014 Автор: коллектив Страниц: 44 Формат: JPG Размер: 66 Mb Качество: Отличное Язык: Русский Жанр: вышивка Год издания: 2014 Журнал «Formula Рукоделия» - это л . . .
-
Книга Легендарные самолеты № 80 2014
Название: Легендарные самолеты № 80 2014 Автор: коллектив авторов Формат: PDF Размер: 25 мб Качество: Отличное Язык: Русский Год издания: 2014 Серия рассказывает о самых известных самолетах, составивш . . .
-
Очерки истории Чили
Название: Очерки истории ЧилиГод: 1967Автор: Лавров Н.М. (ред.)Издательство: НаукаФормат: PDF Размер: 18 MbСтраниц: 535Язык: Русский Книга посвящена истории Чили. В ней рассказывается, как чилийский н . . .
-
Photos from the Archives. Battle Damaged and Destroyed AFV. Part 31
Название: Photos from the Archives. Battle Damaged and Destroyed AFVИздательство: ArchivesАвтор: Коллектив Страниц: 110Формат: JPGЯзык: НемецкийРазмер: 23 МбКачество: среднееФотоальбом из Архивов. . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика и автоматическое доказательство теорем. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.