Теория алгоритмов

Учебник содержит основные разделы курса дискретной математики: Алгебра высказываний, Алгебра предикатов и множеств, Элементы комбинаторики, Отношения, Булевы функции, Элементы теории алгоритмов, …

Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализов…

Вниманию читателя представлен материал для тестирования остаточных знаний у студентов и итоговой/промежуточной аттестации учебной дисциплины «Информатика». Предложенная информация, несомненно, по…

В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики – понятие доказательства) и о понятии исчисления.…