Форма представления | Учебно-методическое пособие без грифа |
Год публикации | 2018 |
Язык | русский |
|
Еникеева Зульфира Аснафовна, автор
Медведева Ольга Анатолиевна, автор
|
Библиографическое описание на языке оригинала |
Медведева О.А., Еникеева З.А. Замкнутые классы и полнота систем функций алгебры логики / О.А. Медведева, З.А. Еникеева. - Казань: Изд-во Казан. ун-та, 2018. – 26 с. |
Аннотация |
Учебно-методическое пособие предназначено для студентов, изучающих курс ?Дискретная математика?, а также для преподавателей, ведущих практические занятия по данному курсу. |
Ключевые слова |
замкнутые классы булевых функций, полнота систем функций алгебры логики, теорема Поста |
Ссылка для РПД |
http://dspace.kpfu.ru/xmlui/bitstream/handle/net/130898/DM.pdf?sequence=1&isAllowed=y
|
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=179419 |
Файлы ресурса | |
|
Полная запись метаданных |
Поле DC |
Значение |
Язык |
dc.contributor.author |
Еникеева Зульфира Аснафовна |
ru_RU |
dc.contributor.author |
Медведева Ольга Анатолиевна |
ru_RU |
dc.date.accessioned |
2018-01-01T00:00:00Z |
ru_RU |
dc.date.available |
2018-01-01T00:00:00Z |
ru_RU |
dc.date.issued |
2018 |
ru_RU |
dc.identifier.citation |
Медведева О.А., Еникеева З.А. Замкнутые классы и полнота систем функций алгебры логики / О.А. Медведева, З.А. Еникеева. - Казань: Изд-во Казан. ун-та, 2018. – 26 с. |
ru_RU |
dc.identifier.uri |
https://repository.kpfu.ru/?p_id=179419 |
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 |
|