Направления развития сетевых компьютерных технологий в юридической деятельности и науке

Тип работы:
Реферат
Предмет:
Информатика
Страниц:
24

720 Купить готовую работу
Узнать стоимость

Детальная информация о работе

Содержание

Комьютерные технологии в юридической деятельности

Интенсиональный язык и его семантика

Моделирование юридических рассуждений

Вывод

Компьютерные технологии в науке

Список литературы

1. Крипке С. А. Семантический анализ модальной логики I. Нормальные модальные исчисления высказываний. — в кн. Р. Фейс. Модальная логика. — М: «Наука», 2004, с. 254−303.

2. Скотт Д. Советы по модальной логике. — в кн. Семантика модальных и интенсиональных логик. Под ред. Смирнова В. А. — М: «Прогресс», 2001, с. 280−317.

3. Р. Монтегю. Прагматика. — в кн. Семантика модальных и интенсиональных логик. Под ред. Смирнова В. А. — М: «Прогресс», 2001, с. 254−279.

4. Ружа И. Интенсиональная логика без интенсиональных переменных. — в кн. Модальные и интенсиональные логики и их применение к проблемам методологии науки. Под ред. Смирнова В. А. — М: «Наука», 2004, с. 220−244.

5. Вольфенгаген В. Э., Яцук В. Я. Аппликативные вычислительные системы и концептуальный метод проектирования систем знаний, 2007.

6. Вольфенгаген В. Э. Концептуализация в аппликативных вычислительных системах. — М.: МИФИ, 2000.

7. Вольфенгаген В. Э., Косиков С. В. Аппликативные системы для представления знаний. — в кн. Принципы построения и технология проектирования систем искусственного интеллекта. Информационные материалы — Вып. 3, 2004, с. 17−19.

8. Л. Ю. Измайлова, К. Е. Зинченко, Л. В. Бурмистрова. Протоколы Мастерской в ИНФОРМАТИКЕ и Информационных Технологиях CSIT"99: Москва, Россия, 2005, стр. 43−52. Протоколы Мастерской в ИНФОРМАТИКЕ и Информационных Технологиях CSIT"99: Москва, Россия, 2005, стр. 43−52.

9. Л. Измайлова, С. Косиков, К. Зинченко, А. Михайлов, Л. Буртмистрова, А. Березовская. ИНФОРМАТИКА и Информационные Технологии: Уфа, Россия, 2000. стр. 153−162.

10. Косиков С. В. Мясников А.В. Математические методы и средства в новой информационной технологии. — М.: МИФИ, 2000.

11. Исмаилова Л. Ю. и др. Компьютерные деловые игры и их использование в обучении. — в кн. Компьютерные технологии в юридической деятельности. — М.: Издательство БЕК, 2004.

12. Скобойникова-Гусева. Информационные коммуникации. 2004. — 2. — С. 22−26.

13. Нургалеева Л. В. Биометрика: Биометрика-2000: Электронная симфония интеллектуальной жизни [Электронный ресурс] // Сайт «БИОМЕТРИКА». — 2005. — Режим доступа: http: //www. biometrica. tomsk. ru/nurgal. htm. — Название с экрана.

14. Баркова О. Электронная библиотека — 2005. — 1. — С. 47−54.

Заполнить форму текущей работой