КФУ. Карточка публикации. Уточнение иерархии классов булевых функций, представимых в моделях k-OBDD ветвящихся программ.

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

УТОЧНЕНИЕ ИЕРАРХИИ КЛАССОВ БУЛЕВЫХ ФУНКЦИЙ, ПРЕДСТАВИМЫХ В МОДЕЛЯХ K-OBDD ВЕТВЯЩИХСЯ ПРОГРАММ.

Форма представления

Тезисы и материалы конференций в российских журналах и сборниках

Год публикации

2014

Авторы, сотрудники КФУ

Хадиев Камиль Равилевич, автор

Библиографическое описание на языке оригинала

Хадиев К.Р. "Уточнение иерархии классов булевых функций, представимых в моделях k-OBDD ветвящихся программ."[Текст]/Хадиев К.Р. //Проблемы теоретической кибернетики. Материалы XVII международной конференции, Казань: Отечество, 2014

Аннотация

Проблемы теоретической кибернетики. Материалы XVII международной конференци

Ключевые слова

Ветвящаяся программа, OBDD, k-OBDD

Название журнала

Проблемы теоретической кибернетики. Материалы XVII международной конференци

URL

http://agora.guru.ru/ptk2014/files/ptk2014.pdf

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=85089

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Хадиев Камиль Равилевич	ru_RU
dc.date.accessioned	2014-01-01T00:00:00Z	ru_RU
dc.date.available	2014-01-01T00:00:00Z	ru_RU
dc.date.issued	2014	ru_RU
dc.identifier.citation	Хадиев К.Р. "Уточнение иерархии классов булевых функций, представимых в моделях k-OBDD ветвящихся программ."[Текст]/Хадиев К.Р. //Проблемы теоретической кибернетики. Материалы XVII международной конференции, Казань: Отечество, 2014	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=85089	ru_RU
dc.description.abstract	Проблемы теоретической кибернетики. Материалы XVII международной конференци	ru_RU
dc.description.abstract	В работе рассматриваются такие модели ветвящихся программ как детерминированная k-OBDD. Выстраивается иерархия классов булевых функций, представимых в этих моделях по параметру k.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Ветвящаяся программа	ru_RU
dc.subject	OBDD	ru_RU
dc.subject	k-OBDD	ru_RU
dc.title	Уточнение иерархии классов булевых функций, представимых в моделях k-OBDD ветвящихся программ.	ru_RU
dc.type	Тезисы и материалы конференций в российских журналах и сборниках	ru_RU