| Форма представления | Учебно-методическое пособие без грифа |
| Год публикации | 2025 |
| Язык | русский |
|
Михайлов Валерий Юрьевич, автор
|
| Библиографическое описание на языке оригинала |
Михайлов В.Ю. Логика высказываний как основа создания интеллектуальных систем. Учебное-методическое пособие/
Казань: Казанский университет, 2025, – 103 с.
URL: |
| Аннотация |
Учебное пособие предназначено для студентов, изучающих курс «Математическая логика и теория алгоритмов», а также для преподавателей, ведущих лекционные и практические занятия по данному курсу.
|
| Ключевые слова |
логика высказываний, проверка выполнимости, метод резолюций |
| Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=315019 |
| Файлы ресурса | |
|
|
Полная запись метаданных  |
| Поле 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, – 103 с.
URL: |
ru_RU |
| dc.identifier.uri |
https://repository.kpfu.ru/?p_id=315019 |
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 
Карта сайта
