Глава ТРЕТЬЯ-равносильные, 29, 99 -эквивалентные, 29 Функциональный символ, 92 Частное суждение, 86 Эквивалентные преобразования, 32 Эквиваленция, 8,14, 96 Элементарная формула, 92
Оглавление Введение………………………………………………………....................3 1 Логика высказываний…………………………........................................5 1.1 Алгебра высказываний…………......................................................7 1.1.1 Логические операции………………………...............................8 1.1.2 Правила записи сложных формул............................................14 1.1.3 Законы алгебры логики……………………….........................24 1.1.4 Эквивалентные преобразования формул….............................28 1.1.5 Нормальные формы формул…………………..........................33 1.1.5.1 Алгоритм приведения к нормальной форме....................35 1.1.5.2 Алгоритм преобразования ДНФ к виду СДНФ................36 1.1.5.3 Алгоритм преобразования КНФ к виду СКНФ................37 1.2 Исчисление высказываний................................................................39 1.2.1 Интерпретация формул...............................................................39 1.2.2 Аксиомы исчисления высказываний.........................................42 1.2.3 Правила вывода...........................................................................44 1.2.3.1 Правила подстановки..........................................................45 1.2.3.2 Правила введения и удаления логических связок.......... 46 1.2.3.3 Правила заключения...........................................................50 1.3 Метод дедуктивного вывода …………………………...................51 1.4 Принцип резолюции..........................................................................58 1.4.1 Алгоритм вывода по принципу резолюции.............................58 1.5 Проблемы исчисления высказываний..............................................65 1.6 Описание высказываний на языке Prolog.........................................66 Контрольные вопросы…………………………..................................69 Расчетно-графическая работа..............................................................71 2. Логика предикатов....................................................................................73 2.1. Алгебра предикатов……………………..............................................79 2.1.1 Логические операции...................................................................80 2.1.2 Правила записи сложных формул...............................................83 2.1.3 Законы алгебры предикатов..........................................................85 2.1.4 Предваренная нормальная форма..............................................88 2.1.4.1 Алгоритм приведения формулы к виду ПНФ.....................89 2.1.5 Сколемовская стандартная форма...............................................92 2.1.5.1 Алгоритм Сколева..................................................................93 2.2 Исчисление предикатов........................................................................94 2.2.1 Интерпретация формул.................................................................95 2.2.2 Правила вывода.............................................................................97 2.2.2.1 Правила подстановки............................................................98 2.2.2.2 Правила введения и удаления кванторов............................99 2.2.2.3 Правила заключения............................................................101 2.2.3 Метод дедуктивного вывода......................................................102 2.2.4 Принцип резолюции...................................................................109 2.3 Проблемы в исчислении предикатов...............................................116 2.4 Логическое программирование........................................................117 Контрольные вопросы....................................................................120 Расчетно-графическая работа........................................................122 Литература.......................................................................................124 Предметный указатель....................................................................125
Шри Шри Рави Шанкар
ПОДАРОК ТИШИНЫ
Выдержки из "Листков знания" за пять лет (1995—2000) Красноярск ДармаПечать 2006 Шри Шри Рави Шанкар ПОДАРОК ТИШИНЫ
Все права защищены, ни одна часть этой книги не может быть воспроизведена без письменного разрешения издателя Шанкар Р. Празднование тишины / перевод с английского Т.А. Герасимова, Т.И. Симоненко. — К.: ДармаПечать, 2006. — 256 с.
Предлагаемая книга тематический сборник бесед Шри Шри Рави Шанкара, который является основателем Международного фонда «Искусство жизни», неправительственной организации при ООН. Первая глава помогает нам понять конкретные состояния, такие как гнев, сомнение и страх, которые мы хотим изменить, и такие как любовь и беспристрастие, которые мы хотим развить. Вторая глава, являясь продолжением первой, учит нас тому, что значит быть на духовном пути, и рассказывает о служении, духовных практиках и смирении. Третья глава посвящена самому возвышенному — она ведет нас к пониманию Бога, наших с Ним отношений и возвращает нас к нашему истинному "Я", к которому мы действительно стремимся, часто даже не подозревая об этом.
Редактор Корректор Компьютерная верстка Художественное оформление Подписано в печать. Формат / Печать Гарнитура Печ.л. Тираж. © На территории РФ и стран СНГ авторское право принадлежит Shankara Global CIS © Перевод Герасимова Т.А., Симоненко Т.И.
Оглавление Глава ПЕРВАЯ Тот вы, которого вы хотите изменить 7 Чувства 8 Привычки 9 Пороки 11 Желания 12 Привязанности 19 Страсть 22 Страх 25 Ошибки 27 Сомнения 31 Замешательство 33 Обвинения 34 Гнев 36 Негативность 37 Сопротивление 38 Конфликт 39 Агрессия 42 Насилие 44 Депрессия 45 Смерть 47 Несчастье 49 Печаль 55 Проблемы 57 Эго 59 Терпимость 64 Суждения 65 Враги 67 Скептицизм 67 Зависть 69 Унижение 70 Грубость 72 Политика 74 Ложь 75 Уважение 76 Верность 80 Похвала 81 Признательность 83 Благодарность 84 Долги 86 Добродетели 88 Чувствительность 90 Сострадание 91 Карма 92 Милосердие 94 Любовь 95 Майя 111 Изменчивый мир 116 Бесстрастие 122 Вера 124 Истина 133 Совершенство 134
Глава ВТОРАЯ Путь к цели, которая есть вы 136 Настоящая радость 137 Щедрость 138 Сева – служение 140 Жертвование 148 Аскетизм 149 Равновесие 151 Смирение 153 Садхана – Духовные практики 161 Ищущий 171 Сатсанг 173 Бхаджаны 175 Свобода 176 Дисциплина 180 Знание 184 Духовный мастер 189 Благословенность 199
Глава ТРЕТЬЯ Вы, Бог и сверх того 200 Законы природы 201 Блаженство 204 Преданность 208 Организация 210 Зависимость 213 Религия 215 Бог 217 Высшее “Я” 224 Нести в себе Создателя 237 Ангелы 238 Един в многообразии 239 Просветление 242 Сознание 245 Обитель Божественного 246 Бесконечность 250 Молчание 251 Об авторе 252 Программы “Искусства жизни” 253 Центры “Искусства жизни” в странах СНГ 256
|