Контрольные вопросы:

1. Понятие высказывания.

2. Логические операции: отрицание, дизъюнкция, конъюнкция, импликация, эквивалентность.

3. Логические формулы. Решение логических задач.

Основная литература

1. Информационные технологии в юридической деятельности : учебник для бакалавров / под общ. ред. П.У. Кузнецова. – М: Издательство Юрайт, 2012. – 422с. – Серия: Бакалавр. ISBN 978-5-9916-1509-9.

2. Давыдов, А.С. Математика и информатика. Раздел «Математика» : учебное пособие / А.С. Давыдов, А.П. Соколов. – Челябинский юридический институт МВД РФ (ЧелЮИ МВД России), 2010. – 76 с.

3. Гресс, П.В. Математика для гуманитариев: учебное пособие / П.В. Гресс. – М.: Университетская книга, Логос, 2010. – 160 с. ISBN 978-5-98704-094-9.

4. Арбузов, П.В. Высшая математика для юристов: учебное пособие / П.В. Арбузов, В.Н. Герасименко, С.В. Гуде, Д.В. Медянцев. – Ростов-на-Дону: Феникс, 2009. – 448 с. – ISBN: 978-5-222-12688-2.

Дополнительная литература

5. Информатика. Базовый курс : учебное пособие : рекомендовано Министерством образования и науки РФ / под ред. С. В. Симонович. – СПб : Питер, 2009. – 639 с. ISBN 5-947237-52-8 (*).

6. Попов, А.М. Информатика и математика : учебное пособие : рекомендовано УМЦ / А.М. Попов, В.Н. Сотников, Е.И. Нагаева, под ред. А.М. Попова. – Москва : ЮНИТИ-ДАНА, 2008. – 302 с. ISBN 5-238-01396-1 (*).

7. Информационные технологии в юридической деятельности. Учебное пособие для бакалавров. Гриф МО РФ / под редакцией В.Д. Элькина. – М: Юрайт, 2012. – 527 c. ISBN 978-5-9916-1766-6.

1 От английских слов «true» и «false».

2 Уиллард Ван Орман Куайн (1908—2000) – американский философ, логик и математик.