Тема 5.5. Высказывания и операции над ними

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

2. Операции над высказываниями.

Литература:

основная:

1*. Мишин А.В. Информатика и математика: Математика: учебное пособие / А.В. Мишин, Л.Е. Мистров, А.Ю. Кузьмин.– Воронеж: Центральный филиал Российской академии правосудия, 2006.

дополнительная:

1.* Турецкий В.Я. Математика и информатика: учебник / В.Я. Турецкий.- М.: ИНФРА-М, 2004.

 

Практическое занятие № 10

Занятие проводится методом анализа конкретных ситуаций.

Тема 5.6. Применение логики высказываний

На занятии рассматриваются следующие две основные ситуации.

Ситуация 1. Согласно договоренности, порядок утверждения нового проекта, в разработке которого участвуют учреждения А, B, C, таков: если в утверждении принимают сначала участие учреждения А и B, то должно присоединиться к участию и учреждение C. Если утверждение происходит сначала в учреждениях B и C, присоединяется и учреждение А. Спрашивается, возможны ли такие случаи при утверждении проекта, когда принимали бы в нём участие только учреждения А и C, между тем как участие учреждения B не было бы необходимо (при сохранении договорённости о порядке утверждения проектов)?

Ситуация 2. На вопрос, кто из трёх студентов изучал логику, был получен истинный ответ: если изучал первый, то изучал и второй, но неверно, что если изучал третий, то изучал и второй. Кто из студентов изучал логику?

Литература:

основная:

1*. Мишин А.В. Информатика и математика: Математика: учебное пособие / А.В. Мишин, Л.Е. Мистров, А.Ю. Кузьмин.– Воронеж: Центральный филиал Российской академии правосудия, 2006.

дополнительная:

1.* Турецкий В.Я. Математика и информатика: учебник / В.Я. Турецкий.- М.: ИНФРА-М, 2004.

Практическое занятие № 11

Тема 6.1. Моделирование информационных процессов в правовой сфере

1. Возможности использования методологии моделирования информационных процессов в компьютерных системах правовой сферы.

2. Принципы моделирования информационных процессов в компьютерных системах правовой сферы.

3. Схема моделирования информационных процессов в компьютерных системах правовой сферы.

Литература

основная:

1. Информатика для юристов и экономистов: учебник для вузов / под ред. С.В. Симоновича.- СПб.: Питер, 2004.

дополнительная:

1. Попов В.Б. Основы компьютерных технологий / В.Б. Попов.- М.: Финансы и статистика, 2002.

 

Практическое занятие № 12

Тема 6.2. Элементы алгоритмизации

1. Алгоритм: понятие, свойства, виды.

2. Представление алгоритмов с помощью схем.

3. Описание алгоритмов с помощью псевдокода.

Литература

основная:

1. Информатика для юристов и экономистов: учебник для вузов / под ред. С.В. Симоновича.- СПб.: Питер, 2004.

дополнительная:

1. Попов В.Б. Основы компьютерных технологий / В.Б. Попов.- М.: Финансы и статистика, 2002.

 

Практическое занятие № 13

Тема 6.3. Изучение среды программирования Visual Basic

1. Основные положения и понятия языка программирования Visual Basic.

2. Конструирование программы в Visual Basic.

Литература

основная:

1. Информатика для юристов и экономистов: учебник для вузов / под ред. С.В. Симоновича.- СПб.: Питер, 2004.

дополнительная:

1. Попов В.Б. Основы компьютерных технологий / В.Б. Попов.- М.: Финансы и статистика, 2002.

 

Практическое занятие № 14

Тема 6.4. Программирование задач с линейной структурой

1. Составление схемы алгоритма решения задачи с линейной структурой.

2. Составление программ решения задач с линейной структурой.

Литература

основная:

1. Информатика для юристов и экономистов: учебник для вузов / под ред. С.В. Симоновича.- СПб.: Питер, 2004.

дополнительная:

1. Попов В.Б. Основы компьютерных технологий / В.Б. Попов.- М.: Финансы и статистика, 2002.

 

Практическое занятие № 15

Тема 6.5. Программирование задач с разветвляющейся структурой

1. Составление схемы алгоритма решения задачи.

2. Составление программы решения задачи с разветвляющейся структурой.

Литература

основная:

1. Информатика для юристов и экономистов: учебник для вузов / под ред. С.В. Симоновича.- СПб.: Питер, 2004.

дополнительная:

1. Попов В.Б. Основы компьютерных технологий / В.Б. Попов.- М.: Финансы и статистика, 2002.

 

 

Практическое занятие № 16

Тема 6.6. Программирование задач с циклической структурой

1. Составление схемы алгоритма решения задачи.

2. Составление программы решения задачи с циклической структурой.

Литература

основная:

1. Информатика для юристов и экономистов: учебник для вузов / под ред. С.В. Симоновича.- СПб.: Питер, 2004.

дополнительная:

1. Попов В.Б. Основы компьютерных технологий / В.Б. Попов.- М.: Финансы и статистика, 2002.

 

Практическое занятие № 17