Тема 15. Элементы математической логики

Основные понятия. Алгебра высказываний. Формулы. Равносильность формул. Предикаты. Кванторы. Формулы логики предикатов.

ЛИТЕРАТУРА

Основная

1. Андриашин Х.А. Информатика и математика для юристов: Учеб. пособие для вузов. – М.: ЮНИТИ, 2001.

2. Батурин Ю.М., Жоздинский А.М. Компьютерная преступность и компьютерная безопасность. – М.: Юрид. лит., 1991.

3. Богатов Д.Ф. Математика для юристов в вопросах и ответах: Учеб. пособие для юрид. вузов. – М.: Приор, 2001.

4. Бгатов Д.Ф., Богатов Ф.Г. Основы информатики и математики для юристов: Учеб. пособие. Том I. – М.: ПРИОР, 2000.

5. Богатов Д.Ф., Богатов Ф.Г. Основы информатики и математики для юристов: Учеб. пособие. Том II. – М.: ПРИОР, 2000.

6. Власов В.Г. Конспект лекций по высшей математике. – М.: АЙРИС, 1997.

7. Волкова В.Н. Основы теории систем и системного анализа: Учебник для
вузов. СПб.: СПбГТУ, 2001.

8. Выгодский М.Я. Справочник по высшей математике. – М.: Джангар: Большая медведица, 1998.

9. Гмурман В.Е. Теория вероятностей и математическая статистика. – М.: Высшая школа (любое издание).

10. Гмурман В.Е. Руководство к решению задач по теории вероятностей и математической статистике. – М.: Высшая школа (любое издание).

11. Защита информации в персональных ЭВМ /А.В. Спесивцев и др. – М.: Радио и связь, 1992.

12. Згадай О.Э. и др. Информатика и математика для юристов. Учебник. – Каз-ань, 2000.

13. Ильин В.А., Куркина А.В. Высшая математика: Учебник для вузов. – М.: Проспект, 2002.

14. Информатика /Под ред. Н.В. Макаровой. – М.: Финансы и статистика, 1998.

15. Информатика: Практикум. 3-е изд. / Под ред. Н.В. Макаровой. (Гриф МО) – М.: Финансы и статистика. 2002.

16. Каймин В.А. Информатика. Учебник для вузов. – М.: ИНФРА-М, 2001.

17. Каймин В.А. Информатика: Практикум на ЭВМ. – М.: ИНФРА-М, 2001.

18. Калинина В.Н., Панкин В.Ф. Математическая статистика: Учебник. – М.: Высшая школа, 2001.

19. Колемаев В.А., Калинина В.Н. Теория вероятности и математическая статистика: Учебник /Под ред.В.А. Колемаева. – М.: Инфра, 1997.

20. Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. – М.: Изд-во. МГУ, 1982.

21. Компьютерные технологии обработки информации /Под ред. С.В. Назарова. – М.: Финансы и статистика, 1995.

22. Кремер Н.Ш. Теория вероятности и математическая статистика: Учебник для вузов. – М.: ЮНИТИ, 2001.

23. Ламекин В.Ф. Окно в мультимедиа и Internet. – Ростов н/Д.: Феникс, 1996.

24. Мышкис А.Д. Лекции по высшей математике. – М.: Наука (любое издание).

25. Нефедов В.Н., Осипова В.А. Курс дискретной математики. – М.: Изд-во МАИ, 1992.

26. Петров В.Н. Информационные системы. Учебник для вузов. – СПб.: Питер, 2001.

27. Поспелов Г.С. Искусственный интеллект – основа новой информационной технологии. – М.: Наука, 1988.

28. Рассолов М.М., Чубакова С.Г., Элькин В.Д. Элементы высшей математики для юристов: Учеб. пособие. – М.: Юристъ, 1999.

29. Симонович С.В. Информатика для юристов и экономистов. Учебник для вузов – СПб.: Питер, 2001.

30. Системы управления базами данных и знаний: Справ. изд. /А.Н. Наумов и др. – М.: Финансы и статистика, 1991.

31. Степанов Е.А., Корнеев И.К. Информационная безопасность и защита
информации. – М.: ИНФРА-М, 2002.

32. Тихомиров Н.Б., Шелехов А.М. Математика: Учеб. курс для юристов. – М.: Юрайт, 1999.

33. Турецкий В.Я. Математика и информатика: Учеб. пособие для юрид. вузов. – М.: ИНФРА-М, 2000.

34. Эдельман С.Л. Математическая логика. – М.: Высшая школа, 1975.