Математическая логика и теория алгоритмов
В пособии рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия а...
Sábháilte in:
| Príomhchruthaitheoirí: | , , |
|---|---|
| Formáid: | Книга |
| Teanga: | Russian |
| Foilsithe / Cruthaithe: |
2018
|
| Ábhair: | |
| Rochtain ar líne: | https://dspace.ncfu.ru:443/handle/20.500.12258/451 |
| Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|