Популярний виклад математичної логіки, що не требуещее для свого розуміння знань, переважаючих шкільний курс математики.
Книга буде корисна всім, хто хоче ознайомитися з основами математичної логіки. Додатково в архіві книги Калужніна Л.А. «Елементи теорії множин і математичної логіки в шкільному курсі математики». М. Просвещение, 1978 г. 88 стр .; «Перетворення і перестановки», М. Наука, 1985 г. 160 с.
Зміст
Вступ
Глава перша. логіка висловлювань
§ 1. Елементи логіки висловлювань
§ 2. Логічні операції
§ 3. Булеві функції
§ 4. Нормальні форми. алгебра Буля
§ 5. Застосування алгебри логіки в теорії релейно-контактних схем і в теорії автоматів
Глава друга. Тотожно істинні формули логіки висловлювань
§ 1. Значення тотожне справжніх формул для логіки висловлювань
§ 2. Приклади тотожне справжніх формул логіки висловлювань
§ 3. Формальний висновок тотожне справжніх формул логіки висловлювань
Глава третя. логіка предикатів
§ 1. Предикати
§ 2. Застосування операцій логіки висловлень до предикатам
§ 3. Квантори
§ 4. Перетворення формул логіки предикатів. Попереджання нормальна форма
§ 5. Судження і силогізми
§ 6. Застосування виразів логіки предикатів для опису деяких відносин
Висновок. Підстави математики і математична логіка
Література.
Необхідно зареєструватися щоб прочитати текст або скачати файли