| Форма представления | Учебно-методическое пособие без грифа |
| Год публикации | 2025 |
| Язык | русский |
|
Михайлов Валерий Юрьевич, автор
|
| Библиографическое описание на языке оригинала |
Логика предикатов как основа создания интеллектуальных систем: Учебное пособие / Михайлов В.Ю.– Казань: Казанский университет, 2025. – 76 с.
URL: |
| Аннотация |
Учебное пособие предназначено для студентов, изучающих курс «Математическая логика и теория алгоритмов», а также для преподавателей, ведущих лекционные и практические занятия по данному курсу.
|
| Ключевые слова |
Логика предикатов, метод резолюций, табличный метод |
| Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=315024 |
| Файлы ресурса | |
|
|
Полная запись метаданных  |
| Поле DC |
Значение |
Язык |
| dc.contributor.author |
Михайлов Валерий Юрьевич |
ru_RU |
| dc.date.accessioned |
2025-01-01T00:00:00Z |
ru_RU |
| dc.date.available |
2025-01-01T00:00:00Z |
ru_RU |
| dc.date.issued |
2025 |
ru_RU |
| dc.identifier.citation |
Логика предикатов как основа создания интеллектуальных систем: Учебное пособие / Михайлов В.Ю.– Казань: Казанский университет, 2025. – 76 с.
URL: |
ru_RU |
| dc.identifier.uri |
https://repository.kpfu.ru/?p_id=315024 |
ru_RU |
| dc.description.abstract |
Учебное пособие предназначено для студентов, изучающих курс «Математическая логика и теория алгоритмов», а также для преподавателей, ведущих лекционные и практические занятия по данному курсу.
|
ru_RU |
| dc.language.iso |
ru |
ru_RU |
| dc.subject |
Логика предикатов |
ru_RU |
| dc.subject |
метод резолюций |
ru_RU |
| dc.subject |
табличный метод |
ru_RU |
| dc.title |
Михайлов В.Ю. Логика предикатов как основа создания интеллектуальных систем: Учебно-методическое пособие |
ru_RU |
| dc.type |
Учебно-методическое пособие без грифа |
ru_RU |
|
EN 
中文 
ES 
Карта сайта
