Основы построения цифровых автоматов и систем анализа информационных процессов. Понятия СДНФ и СКНФ. Логико-вероятностное
Введение Многие важные научные и технические направления, такие как геофизика, радио и гидролокация, метеорология, обработка изображений, аэро и гидродинамика, биология и медицина, искусственный интеллект и другие, уже не могут успешно развиваться , не используя компьютеры, методы научного анализа и информационного моделирования. Большинство алгоритмов решения вычислительных задач обладают высоким уровнем естественного параллелизма. Основу архитектуры проблемно-ориентированной ЭВМ сегодня составляют разветвленные компоненты: различные виды параллельных алгоритмов, числовая и логическая обработка информации (данных), структура данных, обработка одномерных и многомерных массивов. Математическая ( символическая ) логика с развитием
вычислительной техники (ВТ) оказалась в тесной взаимосвязи с вычислительной математикой и оценивания параметров множества информационных процессов, со всеми их вопросами конструирования и программирования электронных вычислительных систем (ВС). Аппарат математической логики находит свое применение в вычислительной математике, в конструировании сложных автоматических устройств, в проектировании информационно-измерительных и управляющих систем (ИИУС), при синтезе релейно-контактных и электронных схем робототехнических систем (РбТС) и т. д.
Создание компьютеров стало возможным только тогда, когда нашли общую точку пересечения, совместились, наложились друг на друга различные теоретические положения великих ученых : Аристотель, Р. Декарт (1596 г.), Г. Лейбниц (1673г.), Дж.Буль (1848 г.), Герман Холлерит (1890 г.), Алан Тьюринг (1938 г.), Джон фон Нейман (1945 г.), А.А. Марков (Россия, 1903-1979 гг.) и многие другие ученые.