Математическая логика и теория алгоритмов

1 Введение...................................................................................................4

2 Как решать задачи ....................................................................................6

2.1 Операции с множествами........................................................................9

2.2 Отношения .............................................................................................17

2.3 Отображения...........................................................................................23

2.4 Эквивалентность и порядок.....................................................................27

2.5 Логика высказываний..............................................................................31

2.6 Переводы с естественного языка на формальный и обратно (язык логики предикатов)............36

2.7 Предикаты и интерпретация ...................................................................45

2.8 Математическая индукция.......................................................................55

2.9 Сравнение скорости роста ......................................................................58