| Сегодня 19 декабря, четверг |
      |
  
|
  
Какой рейтинг вас больше интересует?
|
Автоматичне доведення теорем2012-09-23 06:07:00 (читать в оригинале) Можна сказати, що автоматичне доведення теорем - одна з найстаріших частин штучного інтелекту. Завдяки дослідженням в області автоматичного доведення теорем були формалізовані алгоритми пошуку і розроблені мови формальних уявлень, такі як числення предикатів і логічна мова програмування PROLOG. Привабливість автоматичного доведення теорем заснована на строгості і спільності логіки. У формальній системі логіка розташовує до автоматизації. Різноманітні проблеми можна спробувати вирішити, представивши опис задачі і відноситься до неї інформацію у вигляді логічних аксіом і розглядаючи різні випадки завдання як теореми, які потрібно довести. Цей принцип лежить в основі автоматичног...
|
 
Категория «Субкультуры»
Взлеты Топ 5
Падения Топ 5
Популярные за сутки
|
Загрузка...
BlogRider.ru не имеет отношения к публикуемым в записях блогов материалам. Все записи
взяты из открытых общедоступных источников и являются собственностью их авторов.
взяты из открытых общедоступных источников и являются собственностью их авторов.