Логика и компьютер
| Korporativna značnica: | |
|---|---|
| Izvleček: | Книга посвящена рассмотрению проблемы автоматического поиска теорем для классической и интуиционистской логик. В ней предлагаются построенные авторами алгоритмы поиска доказательства для натуральных исчислений классической и интуиционистской логик высказываний, а также для натурального первопорядкового исчисления предикатов. Относительно этих алгоритмов доказываются метатеоремы об их непротиворечивости и полноте. Для логиков, специалистов, занимающихся проблемами искусственного интеллекта. |
| Izdano: |
Москва, Наука, 2004
|
| Serija: | Информатика: неограниченные возможности и возможные ограничения |
| Teme: | |
| Format: | Knjiga |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=344298 |
| Fizični opis: | 208 с. |
|---|---|
| Izvleček: | Книга посвящена рассмотрению проблемы автоматического поиска теорем для классической и интуиционистской логик. В ней предлагаются построенные авторами алгоритмы поиска доказательства для натуральных исчислений классической и интуиционистской логик высказываний, а также для натурального первопорядкового исчисления предикатов. Относительно этих алгоритмов доказываются метатеоремы об их непротиворечивости и полноте. Для логиков, специалистов, занимающихся проблемами искусственного интеллекта. |
| ISBN: | 5020328596 |