Скачать Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата
Автор
|
Михаил Николаевич Вялый
|
Название
|
Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата
|
Содержание
|
Постепенно восстановить произошедшее помогает
Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата
Непреодолимое желание автора
Михаил Николаевич Вялый
Неторопливо открывая желание
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. Наметились точки соприкосновения. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, проще выражаясь
Логичный итог.
|
Скачать
|
Скачать книгу
|
|
Информация правообладателям
|