| DC Field | Value | Language |
|---|
| dc.contributor.author | Долгий, О. В. | - |
| dc.date.accessioned | 2020-05-25T12:04:24Z | - |
| dc.date.available | 2020-05-25T12:04:24Z | - |
| dc.date.issued | 2012 | - |
| dc.identifier.citation | Долгий, О. В. Аппаратная реализация алгоритмов решения задачи о выполнимости КНФ / О. В. Долгий // Моделирование, компьютерное проектирование и технология производства электронных средств : материалы 48–ой научной конференции аспирантов, магистрантов и студентов, Минск, 7 – 11 мая 2012 г. / редкол.: М. П. Батура [и др.]. – Минск : БГУИР, 2012. – С. 241. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/38967 | - |
| dc.description.abstract | К решению задачи выполнимости сводится важная практическая задача верификации комбинационных логических схем, задачи синтеза логических схем, анализа и построения тестов для дискретных устройств. Более того, аппарат логических уравнений является достаточно универсальным, кроме перечисленных задач из области логического проектирования дискретных устройств к решению логических уравнений могут быть сведены и задачи криптоанализа. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | конъюнктивная нормальная форма | ru_RU |
| dc.subject | аппарат логических уравнений | ru_RU |
| dc.title | Аппаратная реализация алгоритмов решения задачи о выполнимости КНФ | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | Моделирование, компьютерное проектирование и технология производства электронных систем : материалы 48-й научной конференции аспирантов, магистрантов и студентов (2012)
|
