Математическая логика и теория алгоритмов
В пособии рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия а...
Պահպանված է:
| Հիմնական հեղինակներ: | , , |
|---|---|
| Ձևաչափ: | Книга |
| Լեզու: | Russian |
| Հրապարակվել է: |
2018
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | https://dspace.ncfu.ru:443/handle/20.500.12258/451 |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|