Зарегистрироваться
Восстановить пароль
FAQ по входу

Ковальски Р. Логика в решении проблем

  • Файл формата djvu
  • размером 3,98 МБ
  • Добавлен пользователем , дата добавления неизвестна
  • Описание отредактировано
Ковальски Р. Логика в решении проблем
Монография. — Перевод с английского Л.Г. Осмоловского, В.Э. Вольфенгагена, В.Я. Яцука. — С предисловием и примечаниями Д.А. Поспелова. — Москва: Наука, Главная редакция физико-математической литературы, 1990. — 280 с. — (Проблемы искусственного интеллекта).
Изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над которыми в настоящее время работают специалисты ряда стран.
Для научных работников и инженеров, занимающихся проблемами искусственного интеллекта. Полезна аспирантам и студентам втузов.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Дорф Р., Бишоп Р. Современные системы управления

  • djvu
Пер. с англ. Б. И. Копылова. — М.: Лаборатория базовых знаний, 2002. — 832 с. — ISBN 5-93208-119-8. В книге излагаются методы анализа и синтеза современных систем автоматического управления (САУ). Показано, как с использованием принципа обратной связи могут быть созданы высокоэффективные системы управления различного назначения (аэрокосмическая техника, промышленные работы,...
  • 12,21 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Рассел С., Норвиг П. Искусственный интеллект. Современный подход

  • djvu
2-е изд. — М.: Вильямс, 2007. — 1410 с. — ISBN 5-8459-0887-2, 0-13-790395-2, 978-5-8459-0887-2. В книге представлены все современные достижения и изложены идеи, которые были сформулированы в исследованиях, проводившихся в течение последних пятидесяти лет, а также собраны на протяжении двух тысячелетий в областях знаний, ставших стимулом к развитию искусственного интеллекта как...
  • 17,39 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Тейз А., Грибомон П. и др. Логический подход к искусственному интеллекту: От модальной логики к логике баз данных

  • djvu
Авторы: А. Тейз, П. Грибомон, Г. Юлен, А. Пирот, Д. Ролан, Д. Снайерс, М. Воклер, П. Гоше, П. Вольпер, Э. Грегуар, Ф. Дельсарт. — Пер. с франц. — М.: Мир, 1998. — 494 с.: ил. — ISBN 5-03-002519-7. Монография французских математиков, представляющая собой продолжение книги с тем же названием, но другим подзаголовком (М.: Мир, 1990). Она включает основы модальных и временных...
  • 4,04 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Хайкин Саймон. Нейронные сети. Полный курс

  • djvu
Пер. с англ. — 2-е изд., испр. — М.: Вильямс, 2006. — 1104 с. — ISBN 5-8459-0890-6. В книге рассматриваются основные парадигмы искусственных нейронных сетей. Представленный материал содержит строгое математическое обоснование всех нейросетевых парадигм, иллюстрируется примерами, описанием компьютерных экспериментов, содержит множество практических задач, а также обширную...
  • 11,26 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем

  • djvu
М.: Наука, 1983. — 360 с. — (Математическая логика и основания математики). Книга посвящена детальному изложению круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем искусственного интеллекта.
  • 3,29 МБ
  • дата добавления неизвестна
  • описание отредактировано
Наверх