KFU. Card publication. Михайлов В.Ю. Логика предикатов как основа создания интеллектуальных систем: Учебно-методическое пособие

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

МИХАЙЛОВ В.Ю. ЛОГИКА ПРЕДИКАТОВ КАК ОСНОВА СОЗДАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ: УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ

Form of presentation

Non-approved manuals

Year of publication

2025

Язык

русский

Authors, employees of KFU

Mikhaylov Valeriy Yurevich, author

Bibliographic description in the original language

Logika predikatov kak osnova sozdaniya intellektualnykh sistem: Uchebnoe posobie / Mikhaylov V.Yu.– Kazan: Kazanskiy universitet, 2025. – 76 s. URL:

Annotation

Учебное пособие предназначено для студентов, изучающих курс «Математическая логика и теория алгоритмов», а также для преподавателей, ведущих лекционные и практические занятия по данному курсу.

Keywords

Логика предикатов, метод резолюций, табличный метод

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=315024&p_lang=2

Resource files

File name	Size (MB)	Format
Polnyi__774__tekst_5.01.2025.pdf	1,65	pdf	show / download

Full metadata record

Field DC	Value	Language
dc.contributor.author	Mikhaylov Valeriy Yurevich	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/eng/?p_id=315024&p_lang=2	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	Non-approved manuals	ru_RU