Conflicts and Tolerance, Конфликты и толерантность, Макеева С.О., Надточева Е.С., Шехтман Н.Г., 2020.
Учебно-методическое пособие включает тексты и задания по практическому курсу английского языка для студентов 5 курса очного и очно-заочного отделения. Материалы могут быть использованы на аудиторных занятиях и при самостоятельной работе по данному предмету.
Шехтман
Conflicts and Tolerance, Конфликты и толерантность, Макеева С.О., Надточева Е.С., Шехтман Н.Г., 2020
Скачать и читать Conflicts and Tolerance, Конфликты и толерантность, Макеева С.О., Надточева Е.С., Шехтман Н.Г., 2020Курс лекций по логике и теории алгоритмов, Шехтман В.Б., 2006
Курс лекций по логике и теории алгоритмов, Шехтман В.Б., 2006.
В 30-е годы XX века была создана аксиоматика теории множеств Цермело - Френкеля (ZF). Когда стало ясно, что все математические доказательства можно записать с помощью формальных значков, а следствия из набора аксиом получать с помощью достаточно простых алгоритмических операций (которые легко можно поручить компьютеру), возник вопрос: а нельзя ли всю математику свести к компьютерным доказательствам?
Как выяснилось, на этом пути есть большая проблема. Компьютер способен получить миллионы правильных утверждений, но они будут нам совершенно неинтересны (когда мы сами пытаемся доказать теорему, мы уже знаем, что она нам интересна). А задача отделения полезных утверждений от миллионов правильных утверждений уже не является алгоритмической.
Скачать и читать Курс лекций по логике и теории алгоритмов, Шехтман В.Б., 2006В 30-е годы XX века была создана аксиоматика теории множеств Цермело - Френкеля (ZF). Когда стало ясно, что все математические доказательства можно записать с помощью формальных значков, а следствия из набора аксиом получать с помощью достаточно простых алгоритмических операций (которые легко можно поручить компьютеру), возник вопрос: а нельзя ли всю математику свести к компьютерным доказательствам?
Как выяснилось, на этом пути есть большая проблема. Компьютер способен получить миллионы правильных утверждений, но они будут нам совершенно неинтересны (когда мы сами пытаемся доказать теорему, мы уже знаем, что она нам интересна). А задача отделения полезных утверждений от миллионов правильных утверждений уже не является алгоритмической.