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

Mikhaylov V.Yu. Logika vyskazyvaniy kak osnova sozdaniya intellektualnykh sistem. Uchebnoe-metodicheskoe posobie/ Kazan: Kazanskiy universitet, 2025, – 103 s. URL:

Annotation

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

Keywords

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

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

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

Resource files

File name	Size (MB)	Format
F_Tekst_posobiya_Logika_vyskazyvanii__774_.pdf	6,97	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, – 103 с. URL:	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=315019&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