Дискретная математика

Справочник по дискретной математике: булевые функции с возможностью решения.

Дискретная математика (дискретный анализ) занимается изучением финитных (конечных) свойств объектов, которые возникают как в различных разделах математики, так и в ее технических приложениях. Под конечными свойствами понимаются их ограниченность или перечислимость. Важными отличиями разделов дискретной математики от классических разделов непрерывной математики являются отсутствие понятия непрерывности и предела последовательности. То, что в разделах дискретной математики рассматриваются конечные свойства объектов, совсем не означает, что при исследовании не встречаются бесконечные совокупности объектов или их конфигураций, однако, как правило, эти бесконечности являются счетными. В то время как в непрерывной математике бесконечности, как правило, континуальные.

Булевы функции (функции алгебры логики) описывают логику работы цифровых устройств, называемых комбинационными схемами.