Список публикаций по ключевому слову: «simple implicant»
-
Реализация фундаментальной направленности нормальных форм булевых функций при обучении математике курсантов военного вуза
Глава в книге
Педагогика и психология как науки формирования потенциала современного общества- Авторы:
- Садовников Николай Владимирович, Шипанова Елена Викторовна, Султанова Галия Алиевна
- Рубрика:
- Глава I. Педагогические аспекты обучения и воспитания
- Аннотация:
- Показана взаимосвязь фундаментальности и профессионально-военной направленности обучения курсантов военного вуза упрощению логических функций, состоящих в отыскании тупиковых, а затем минимальных ее форм. Удобным методом минимизации, позволяющим упростить поиск склеивающихся членов, является использование диаграмм Вейча. Затрагивается вопрос о двойственных функциях и о полноте и замкнутости системы логических функций.
- Ключевые слова:
- минимальная форма логических функций, дизъюнктивная нормальная форма (ДНФ), конъюнктивная нормальная форма (КНФ) булевых функций, импликанта, простая импликанта, тупиковая форма булевых функций, диаграмма Вейча, принцип двойственности, функционально полная система, алгебра Жегалкина, замкнутый класс функций
-
Взаимосвязь фундаментальности и военно-профессиональной направленности изучения элементов математической логики в военном вузе
Глава в книге Педагогика и психология как науки формирования потенциала современного общества- Авторы:
- Садовников Николай Владимирович, Шипанова Елена Викторовна, Султанова Галия Алиевна
- Рубрика:
- Глава I. Педагогические аспекты обучения и воспитания
- Аннотация:
- Раскрывается взаимосвязь принципов фундаментальности и военно-профессиональной направленности изучения элементов математической логики в военном вузе. Предложен нетрадиционный подход к изучению этого курса, в основу которого положен функциональный подход, дающий более общее представление об элементах математической логики.
- Ключевые слова:
- фундаментализация подготовки военного инженера, профессионально-военная направленность обучении курсантов, двузначная логика, бесконечнозначная логика, порядковая логика, булевы функции, канонические формы булевых функций: СДНФ и СКНФ, минимизация булевых функций, простые импликанты, алгоритм Квайна получения сокращенной ДНФ булевых функций