автореферат и диссертация по педагогике 13.00.08 для написания научной статьи или работы на тему: Проектирование и реализация системы логической подготовки будущего информатика-юриста

Автореферат диссертации по теме "Проектирование и реализация системы логической подготовки будущего информатика-юриста"

На правах рукописи

л

Букушева Алия Владимировна

ПРОЕКТИРОВАНИЕ И РЕАЛИЗАЦИЯ СИСТЕМЫ ЛОГИЧЕСКОЙ ПОДГОТОВКИ БУДУЩЕГО ИНФОРМАТИКА-ЮРИСТА

13 00 08 - теория и методика профессионального образования

Автореферат диссертации на соискание ученой степени кандидата педагогических наук

2 2 СЕН 2008

Саратов - 2008

003446308

Работа выполнена в Государственном образовательном учреждении высшего профессионального образования «Саратовский государственный университет имени Н Г Чернышевского»

Научный руководитель доктор педагогических наук, профессор

Игошин Владимир Иванович

Официальные оппоненты доктор педагогических наук, профессор

Корепанова Марина Васильевна

Защита состоится «8» октября 2008 г в 09 00 часов на заседании диссертационного совета Д 212 243 12 при Саратовском государственном университете имени Н Г Чернышевского по адресу 410012, г Саратов, ул Астраханская, д 83, корпус 7, аудитория 312

С диссертацией можно ознакомиться в Зональной научной библиотеке имени В А Артисевич Саратовского государственного университета имени Н Г Чернышевского

Автореферат разослан «7» сентября 2008 г

Ученый секретарь

кандидат педагогических наук, доцент Сумина Галина Алексеевна

Ведущая организация Ярославский государственный

педагогический университет имени К.Д. Ушинского

диссертационного совета

КондауроваИ К

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность исследования. Современный период развития общества характеризуется интенсивным процессом информатизации всех сфер жизнедеятельности человека Одним из результатов информационной революции, потребовавшей регулирования новых видов правоотношений, является информационное право Ключевыми для данной отрасли права являются проблемы разрешения конфликта между публичными и частными интересами, проблемы права собственности на информацию и норм ее гражданского оборота, проблемы защиты информации, информационных ресурсов и интеллектуальной собственности Совершение преступлений путем манипуляций компьютерной информацией стало настоящим бедствием для современного общества Нарушение защиты информации и ее неправомерное использование может привести к весьма существенному государственному, коммерческому, личному ущербу Правонарушения, совершаемые в сфере компьютерной информации, чрезвычайно латентны, очень сложны для вскрытия и расследования, нуждаются в особой процедуре поиска, фиксации и оценки, а, следовательно - в специалистах.

Для успешного решения проблемы информатизации правовой сферы приказом Министерства образования РФ от 02 03 2000 г № 686 была утверждена специальность 351400 «Прикладная информатика (в юриспруденции)» В соответствии с профессиональной ориентацией специалиста в области применения и с утвержденной двухпрофильной специализацией выпускник по данной специальности получает квалификацию информатик-юрист Многие аспекты подготовки специалистов в области прикладной информатики в юриспруденции еще недостаточно разработаны Один из таких аспектов связан с логической подготовкой будущих информатиков-юристов

Проблема логической подготовки специалиста и развития его логического мышления относится к ряду наиболее важных задач современной теории и методики профессионального образования. Необходимо отметить, что она решается довольно длительное время специалистами различных областей - психологами, педагогами, методистами Однако это не значит, что она себя исчерпала для научного поиска Будучи одним из наиболее значимых факторов учебной деятельности, логическое мышление не формируется само по себе и требует специальных процедур как в процессе учения, так и во внеучебном пространстве Как показывают исследования по проблемам подготовки специалистов (О А Абдуллина, В И Андреев, Е.П Бело-зерцев, Г И Железовская, ЕИ Исаев, ИЛ. Тимофеева и др), в высшей школе основное внимание уделяется предметным знаниям, в то время как причины ошибок при решении учебных и профессиональных задач очень часто лежат в области недостаточной логической подготовки или кроются в

неумении планировать и контролировать свою деятельность Логика составляет фундамент всех наук (общественных, естественных, технических), педагогической деятельности, обыденного мышления и повседневного общения людей Она важна и востребована во всех сферах науки и практики, где требуется рассуждать, анализировать и доказывать Способность логически мыслить и рассуждать кроется в рациональной природе человека, обеспечивая возможность адекватного выражения и понимания мысли Именно поэтому человек подчас обходится и без логических знаний, интуитивно верно применяя в своей деятельности базовые логические правила и законы как часть этой рациональной природы. Однако применение новых информационных технологий не может основываться на такой зыбкой почве Необходим научно-обоснованный подход к интеграции ряда наук-юриспруденции, логики, математики и др

Изучение логики является одним из важнейших факторов, повышающих культуру мышления, способствующих интеллектуальному развитию личности, формированию у нее научного мировоззрения Как известно, мыслительный процесс образуется двумя составляющими - интуитивной и логической В данной работе мы будем говорить о формировании логического мышления студентов при изучении логики как учебной дисциплины и при использовании логики как средства познания

Психологические основы, сущность, факторы и способы развития логического мышления исследованы в работах П П Блонского, JIИ Божович, JIМ Веккера, Л С. Выготского, С Л Рубинштейна, О К Тихомирова и др Педагогические аспекты развития логического мышления в учебном процессе нашли отражение в трудах Ю К Бабанского, В П Беспалько, П Я. Гальперина, E.H. Кабановой-Меллер, В Ф Паламарчук, Н Ф Талызиной и многих других Формированию логической культуры и логического мышления посвящены диссертационные исследования А И Газизовой, И А Дудковской, Г М Дьяченко, Т В Морозовой, Р С Сафаровой, С А Севостьяновой, И Л Тимофеевой и др

Исследования в области применения логики, математической логики, неклассической логики в юриспруденции отражены в работах О А Гаври-лова, П Герлаха, А Д Гетмановой, Н Б. Ельчаниновой, Г И Иванова, А А Ивина, Ю В Ивлева, В И Игошина, Е Н Лисанюк, Р Карнапа, В М Когана, Н С Полевого, В С Пошкявичуса, А А Старченко и др В настоящее время имеются методические работы по разработке и использованию в учебном процессе логических задач и упражнений с применением информационных технологий (О Б Богомолова, В А Бубнов, Ю Г Коро-тенков, В Ю Лыскова, Е А Ракитина, И С Стрельникова, Н В Пустова-ченко, С И Шапиро и др ) Вопросы использования информационных технологий в процессе профессиональной подготовки специалиста в области права отражены в трудах X А Андриашина, С Я Казанцева, В В Крылова, Кр Дж Мак-Кланг, Н С Полевого, М М Рассолова, С В Симоновича, С И Цветкова, С М Шахрая, В Д Элькина и др

С введением междисциплинарных специальностей в вузах необходимы новые подходы к проектированию и реализации системы логической подготовки студентов Недостаточно разработаны теоретические, психолого-педагогические и методические подходы к преподаванию логики в системе высшего образования Практически нет работ, посвященных проектированию содержания дисциплин логической подготовки для информатиков-юристов В процессе преподавания недостаточно реализуются междисциплинарные связи между курсом логики и общепрофессиональными, специальными, математическими и естественнонаучными дисциплинами, изучаемыми в вузе

Актуальность исследования определяется противоречием между возрастающей значимостью, объективной потребностью общества в высококвалифицированных специалистах и недостаточным уровнем логической подготовки выпускников вузов, необходимостью использования методов и средств логики в профессиональной деятельности информатика-юриста и недостаточной теоретической разработанностью системы логической подготовки студентов

На основании выявленных противоречий сформулирована проблема исследования каковы научные аспекты проектирования системы логической подготовки будущего информатика-юриста Актуальность и недостаточная разработанность данной проблемы определили выбор темы исследования «Проектирование и реализация системы логической подготовки будущего информатика-юриста»

Цель исследования теоретически обосновать, разработать и экспериментально проверить модель логической подготовки будущего информатика-юриста

Объект исследования профессиональная подготовка будущего информатика-юриста в вузе

Предмет исследования система логической подготовки будущего информатика-юриста в образовательном процессе вуза

Гипотеза исследования логическая подготовка будущего информатика-юриста будет эффективной, если

- она рассматривается как специально организованный и целенаправленный процесс, который предполагает формирование у студентов логического мышления, логических знаний и умений, необходимых для их будущей профессиональной деятельности,

- при проектировании системы логической подготовки установлены междисциплинарные связи логики с дисциплинами учебного плана специальности «Прикладная информатика (в юриспруденции)»,

- осуществлен мониторинг логической подготовки студентов с использованием разработанного инструментария

В соответствии с целью, объектом, предметом и гипотезой исследования определены следующие задачи

1. На основе анализа психолого-педагогической и научно-методической литературы обосновать значимость и необходимость выделения логического компонента в профессиональной подготовке будущего информатика-юриста, уточнить сущность логической подготовки и логической готовности к профессиональной деятельности.

2 Спроектировать модель междисциплинарной интеграции логики с математическими и естественнонаучными, общепрофессиональными, специальными дисциплинами профессиональной подготовки

3. Определить критериально-диагностический инструментарий выявления уровня логической подготовки студентов и с его помощью экспериментально проверить эффективность разработанной системы в процессе организации профессиональной подготовки будущего информатика-юриста

Теоретико-методологической основой исследования являются теория профессионального образования (О.А Абдуллина, ЮК Бабанский, Г И Железовская, Э Ф Зеер, Н В Кузьмина, Н К Сергеев, В А Сластенин, Н В Тельтевская, А И Щербаков и др), психолого-педагогические исследования по проблемам развития логического мышления (Л С Выготский, Ж Пиаже, СЛ Рубинштейн, В Ф Паламарчук, Н Ф Талызина, О К Тихомиров и др), теория системного подхода к организации педагогического исследования (Б Г. Ананьев, В.П Беспалько, В А Ганзен, Г К Селевко, Е Э Смирнова, С Д Смирнов и др), научные исследования в области логики, математической логики и теории алгоритмов, неклассической логики и методики их преподавания (АД Гетманова, ЮЛ Ершов, А А Ивин, Ю В Ивлев, В И Игошин, В Л Матросов, И Л Никольская, П С Новиков, И Л Тимофеева и др ), научные разработки по проблеме выявления и реализации межпредметных связей (П.Р. Атутов, Я.А. Ваграменко, О Б. Ермакова, В Н Максимова, Е Г Соловьева, А В Усова, С Г Шаповаленко и др).

В процессе исследования был использован комплекс методов для проверки гипотезы и решения поставленных задач В теоретической части исследования применялись следующие методы теоретического анализа философской, педагогической, психологической, методической и специальной литературы по проблемам логической подготовки студентов, анализ учебных программ, рабочих планов, методических пособий Опытно-экспериментальная работа включала прямое и косвенное педагогическое наблюдение, индивидуальные и групповые исследовательские беседы, опросы, анкетирование, тестирование по вопросам логической подготовки в вузе, обработку материалов эксперимента методами математической статистики.

Этапы и опытно-экспериментальная база исследования. Исследование проводилось поэтапно с 2003 по 2008 гг на базе Саратовского государственного университета имени Н Г Чернышевского

На первом этапе (2003-2004 гг) изучалась психолого-педагогическая,

методическая и специальная литература по проблемам логической подготовки студентов, проводился анализ логических аспектов профессиональной деятельности информатика-юриста, обоснование актуальности проблемы, определение цели, объекта, предмета, задач исследования, построение гипотезы исследования, методики проведения педагогического исследования

На втором этапе (2004-2007 гг) были разработаны организационно-педагогические аспекты проектирования системы логической подготовки студентов и экспериментальная программа ее реализации в образовательной практике- осуществлен отбор содержания логической подготовки, подготовлен лекционный материал, задания для семинарских, лабораторных и самостоятельных работ, методические рекомендации по проведению занятий, проведен формирующий этап эксперимента, анализ промежуточных результатов

На третьем этапе (2007-2008 гг) осуществлялось обобщение результатов формирующего эксперимента, проведение статистической и математической обработки экспериментальных данных, формулирование итоговых выводов, полученных в ходе опытно-экспериментального исследования, подготовка и внедрение в практику работы вуза методических рекомендаций по совершенствованию логической подготовки студентов, оформление диссертации

Научная новизна результатов исследования заключается в уточнении и дополнении представлений о логической подготовке как процесса, направленного на формирование у студентов логической готовности к профессиональной деятельности, которая включает в себя мотивационную, когнитивную, рефлексивную составляющие, в разработке модели логической подготовки будущих информатиков-юристов, представленной следующими компонентами целевым, содержательным, обеспечивающим и результативным, в спроектированном содержании логической подготовки на основе межпредметной интеграции математических и естественнонаучных, общепрофессиональных, специальных дисциплин профессиональной подготовки, в предложении критериально-диагностического инструментария, позволяющего выявить уровни логической готовности (низкий, средний, высокий) студентов на различных этапах обучения

Теоретическая значимость результатов исследования заключается в теоретическом обосновании модели логической подготовки будущих информатиков-юристов, необходимости и возможности обеспечения профессиональной направленности обучения логике будущих информатиков-юристов на основе реализации принципа междисциплинарных связей Полученные результаты исследования могут служить теоретической базой для решения проблемы совершенствования логической подготовки информатиков-юристов в системе многоуровневого образования

Практическая значимость результатов исследования состоит в том, что апробирована и внедрена модель логической подготовки студентов, оп-

7

ределен диагностический инструментарий выявления ее эффективности Результаты проведенного исследования могут использоваться в образовательном процессе вуза с целью повышения уровня логической подготовки бакалавров, магистров прикладной информатики Практическую ценность имеет методическое обеспечение лекций и практических занятий, анкеты, тесты Материалы исследования имеют практическую значимость при составлении учебных планов, программ, методических пособий в практике средних и высших учебных заведений

Достоверность и обоснованность результатов исследования обеспечивается методологической обоснованностью исходных теоретических положений, применением методов, адекватных задачам и логике исследования, опытно-экспериментальной проверкой гипотез, поэтапностью и продолжительностью эксперимента, репрезентативностью выборки, использованием методов математической статистики при обработке результатов опытного исследования, личным участием автора в эксперименте и практической деятельности в качестве преподавателя

Апробация результатов исследования. Основные положения диссертации, теоретические и практические результаты обсуждались на международной заочной научно-методической конференции «Инновационные тенденции в системе высшего и среднего образования» (Саратов, 2005), всероссийской научно-практической конференции «Современный урок математики теория и практика» (Н Новгород, 2005), XXIV Всероссийском семинаре преподавателей математики университетов и педагогических вузов «Современные проблемы школьного и вузовского математического образования» (Москва, Саратов, 2005), Всероссийской научно-практической конференции «Актуальные вопросы методики преподавания математики и информатики в свете модернизации Российского образования» (Биробиджан,

2006), международной заочной научно-методической конференции «Проблемы и перспективы развития непрерывного профессионального образования в эпоху социальных реформ» (Саратов, 2006), 8-й региональной научно-практической конференции аспирантов, студентов и учащихся «Наука и образование проблемы и перспективы» (Бийск, 2006), международной научно-практической конференции «Математическое образование прошлое, настоящее и будущее» (Москва, Самара, 2006), международной научной конференции «ЬХ Герценовские чтения Проблемы теории и практики обучения математике» (С -Петербург, 2007), научной конференции механико-математического факультета Саратовского государственного университета им Н Г Чернышевского «Математика Механика» (Саратов, 2005,

2007), заседаниях кафедр педагогики, геометрии, математики и методики ее преподавания, прикладной информатики Саратовского государственного университета им Н Г Чернышевского Основные результаты исследования отражены в 15 публикациях автора

Внедрение результатов исследования осуществлено в Саратовском государственном университете имени Н.Г Чернышевского, Саратовском юридическом институте МВД России.

На защиту выносятся следующие положения:

1 Логическая подготовка будущего информатика-юриста - это специально организованный и целенаправленный процесс, который предполагает формирование у студентов логического мышления, логических знаний из различных областей логики, математической логики и умений применять эти знания в профессиональной деятельности, в которой методы и средства логики являются определяющим инструментом в решении прикладных задач Логическая готовность является составной частью общей готовности будущего специалиста к профессиональной деятельности и представляет собой интегративное личностное образование, состоящее из следующих компонентов мотивационного (направленность на формирование логического мышления, интерес к логическим аспектам профессиональной деятельности), когнитивного (логические знания и умения, их подвижность), рефлексивного (осознание необходимости развития логической готовности, самооценка своей подготовленности к профессиональной деятельности)

2 Модель логической подготовки будущего информатика-юриста включает целевой (формирование логической готовности), содержательный (межпредметная интеграция математических и естественнонаучных, общепрофессиональных, специальных дисципчин профессиональной подготовки), обеспечивающий (психологические, методические, организационные условия) и результативный компоненты

3 Педагогическая диагностика формирования логической готовности будущего информатика-юриста к профессиональной деятельности осуществляется на основе следующих критериев содержание и устойчивость мотивации, наличие логических знаний и умений, самооценка уровня логической готовности, включающих следующие показатели наличие осознанной профессионально-личностной мотивации, полнота и глубина логических знаний и умение их применять, понимание ценности логических знаний для практической деятельности Сформированность логической готовности к профессиональной деятельности по данным критериям можно оценить на трех уровнях низком, среднем, высоком

Структура работы Диссертация состоит из введения, двух глав, заключения, списка литературы и приложений.

ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ

Во введении обосновывается актуальность темы; определяются цель, объект, предмет, гипотеза и задачи исследования, раскрываются научная новизна, теоретическая и практическая значимость, формулируются положения, выносимые на защиту, приводятся сведения об апробации полученных результатов

В первой главе «Теоретические аспекты проектирования системы логической подготовки будущего информатика-юриста» определена сущ-

ность и структура логической подготовки студентов, охарактеризована логическая составляющая профессиональной деятельности информатика-юриста, разработаны модель логической подготовки, критериально-диагностический инструментарий оценки уровня сформированности у студентов составляющих логической готовности как результата осуществления логической подготовки

Одним из направлений деятельности в образовании является проектирование, которое состоит в выявлении и анализе педагогических проблем и причин их возникновения, определении целей и задач, поиске методов и средств реализации педагогического проекта Обобщенный алгоритм проектирования системы логической подготовки студентов состоит из трех частей первая часть предполагает постановку дидактической задачи (обеспечение логической подготовки), вторая - проектирование теоретически возможной системы, адекватной условиям дидактической задачи и являющейся условием ее предварительного решения, третья - детализация созданного проекта, создание системы, предназначенной для реализации в учебном процессе.

Процесс информатизации, связанный с внедрением информационных и коммуникационных технологий во все сферы жизни общества, является одной из основных тенденций современности Появляются не только новые профессии, основанные на работе с компьютерной техникой, но и специальности на стыке компьютерной и традиционной сфер Специфика профессиональной деятельности будущего специалиста на современном этапе характеризуется умением внедрять в предметную область компьютерные технологии В соответствии с этим возникла объективная необходимость в подготовке квалифицированных кадров, владеющих современной вычислительной техникой Информатик-юрист - это специалист, который получил специальное образование в области информатики и занимается созданием, внедрением, анализом и сопровождением информационных систем в юриспруденции Указанное качество требует профессиональной подготовки как в области информатики, информационных систем, так и в области применения - юриспруденции

Для осуществления профессиональной деятельности специалист должен обладать целостной системой логических знаний и умений, владеть культурой логического мышления Выделяют два вида, два способа мышления - интуитивное и логическое Интуиция представляет собой способность постижения истины путем прямого ее усмотрения, путем догадки, без ее обоснования с помощью логически строгого доказательства Логическое мышление есть способность получения новых знаний с использованием дедукции и умозаключений, опираясь на ранее приобретенные опыт и знания и на законы логики Теоретической и экспериментальной разработке методики формирования логического мышления на материале различных учеб-

ных предметов посвящены исследования О Ю Богдановой, А Д. Гетмано-вой, В А Крутецкого, И Я Лернер, М Р. Львова, ИЛ Никольской, В И Решановой, А А Столяра, И Л Тимофеевой, В К Фурсова, А Я Хин-чина, Ю В. Ходакова и др

Логическая подготовка будущего информатика-юриста понимается нами как специально организованный и целенаправленный процесс, который предполагает формирование у студентов логического мышления, логических знаний из различных областей логики, математической логики и умений применять эти знания в профессиональной деятельности, в которой методы и средства логики являются определяющим инструментом в решении прикладных задач Логическая подготовка информатика-юриста должна существенно отличаться от аналогичной подготовки будущего юриста или программиста Информатик-юрист должен получить бинарную логическую подготовку Во-первых, как специалист в области юриспруденции он должен быть наделен знаниями в области традиционной логики, восходящей к Аристотелю Во-вторых, как специалист в области информационных технологий он должен обладать знаниями в области математической логики и теории алгоритмов

Информатик-юрист в своей профессиональной деятельности решает правовые задачи с использованием математического аппарата и средств вычислительной техники В работе проведен анализ логических аспектов профессиональной деятельности информатика-юриста В структуре юридической деятельности имеется множество задач, для успешного решения которых наряду с научным аппаратом той или иной юридической науки необходимо привлекать средства и методы наук, позволяющих анализировать количественные, структурные и функциональные особенности объекта познания Использование средств и методов логики способствует повышению объективности и точности проводимых прикладных исследований в данной профессиональной области Перевод понятий и представлений на логический язык существенно уточняет и развивает систему этих понятий и представлений, совершенствуется язык правовых наук и правовых исследований Современная логика представляет собой необходимый инструмент анализа нормативных контекстов, поскольку, выявляя их логическую структуру, оптимизирует создание и использование нормативных кодексов на любом уровне На теоретическом уровне логика позволяет избегать неточностей и противоречий при их создании В практическом отношении формирование баз данных, применение информационных технологий и т п также основано на логическом анализе нормативного контекста Вместе с тем, логика как инструмент создания и анализа правового контекста не является достаточным средством с точки зрения права, так как логическая структура нормативных кодексов не тождественна правовым отношениям, закрепленным в них законом (О А Гаврилов, Н Б Ельчанинова, И Г Иванов, В М Коган, Е Н Лисанюк, Н С. Полевой и др )

Таким образом, использование логики в профессиональной деятельно-

сти информатика-юриста позволяет мыслить последовательно, непротиворечиво; доказательно рассуждать, составлять официальные документы, моделировать логическую структуру правовой нормы, законов для логического анализа правовых норм с содержательно-юридической точки зрения, для проведения теоретико-правовых исследований в области кодификации и согласования действующего законодательства, создавать логически непротиворечивую систему законов, символически представить юридические знания в памяти компьютера, использовать современные методы и средства разработки алгоритмов и программ на языке высокого уровня, создавать базы данных, базы знаний, экспертные и интеллектуальные системы.

Проведенный анализ выявил особенности логической подготовки специалистов- непрерывность (согласованность курса логики с применением логического аппарата в специальной подготовке), фундаментальность (выделение определенного круга вопросов в области логики и математической логики, неклассических логик, без изучения которых немыслим квалифицированный информатик-юрист), использование межпредметных связей логики с дисциплинами общепрофессионального, математического и естественнонаучного, специального циклов

При проектировании системы логической подготовки будущего информатика-юриста источниками явились психолого-педагогические основы формирования логического мышления студентов, логическая теория, квалификационная характеристика, содержащаяся в государственном образовательном стандарте высшего профессионального образования, и учебный план специальности Факторами послужили личностные особенности студентов, экспертный метод Отметим, что анализ реальной практики работы информатика-юриста ограничен из-за недостаточного количества профессионально подготовленных специалистов, работающих в настоящее время

С учетом данных положений в рамках нашего исследования осуществлялось моделирование логической подготовки студентов Модель определяется как мысленно представленная или материально реализованная система, которая адекватно отображает предмет исследования и способна замещать его так, что изучение модели позволяет получить новую информацию об этом объекте (Ю К. Бабанский, Н И Болдырев, В И Загвязинский, М И Данилов и др) Анализ проблемы и обоснование теоретических предпосылок проектирования системы логической подготовки студентов позволяют определить положения построения модели логической подготовки-системный подход, межпредметная интеграция как системообразующий фактор педагогического проектирования, под влиянием которого перестраиваются все компоненты системы, взаимодействие принципа межпредметной интеграции с другими дидактическими принципами, ориентация на формирование логической готовности как составной части общей готовности будущего специалиста к профессиональной деятельности

Модель логической подготовки включает в себя ряд взаимосвязанных компонентов целевой, содержательный, обеспечивающий и результативный (рис. 1)

Целевой компонент

Формирование логического мышления Овладение системой логических знаний и практических умений

I Общая логическая подготовка II Специальная логическая подготовка

Содержательный компонент

Этапы логической подготовки

I Общая логическая подготовка II Специальная логическая подготовка

Логика Дискретная математика Математическая логика Алгоритмическая логика Логика норм Модальная логика Многозначные логики Интуиционистская логика Нечеткая логика

Обеспечивающий компонент

Условия

психологические методические организационные

Опора на познавательные процессы, положительная эмоциональная обстановка на занятиях Соотнесение содержания профессионального обучения с основными особенностями профессиональной деятельности, выбор форм, методов и средств обучения Реагирование на изменяющиеся требования к специалистам,введение дисциплин по неклассическим логикам, проведение производственной практики

-Д--:

Результативный компонент

Повышение уровня логической готовности будущего информатика-юриста к профессиональной деятельности

Критерии логической готовности содержание и устойчивость мотивации, наличие знаний и умений профессиональной направленности по логике, самооценка уровня своей логической готовности и способность прогнозировать условия его повышения

Уровни логической готовности к профессиональной деятельности низкий, средний, высокий

Рис 1. Модель логической подготовки будущего информатика-юриста

13

Целевой компонент модели логической подготовки включает три группы целей Выделим их, соотнося с общеобразовательными, воспитательными и практическими функциями целей Первая группа целевого компонента включает в себя овладение знаниями, дающими представление о логике, периодах ее развития, ее языке и символике, неклассических логиках; подготовку к изучению ряда смежных дисциплин (информатика, программирование, базы данных, системы искусственного интеллекта и т д) Вторую группу целей составляют формирование логической и эвристической составляющих мышления, повышение мотивации и интереса к логическим аспектам профессиональной деятельности, к изучению предмета К практическим целям логической подготовки отнесем- формирование умений применять методы и средства логики для решения профессиональных задач, ознакомление с ролью логики в профессиональной деятельности информатика-юриста Каждая из целей может быть представлена более конкретно в рамках изучения отдельных дисциплин Например, логическая составляющая мышления включает понимание структуры определения, умение оперировать определением (выяснять принадлежность объекта понятию, выводить следствия из факта принадлежности к понятию, используя определение, конструировать объекты, относящиеся к объему понятия), умение классифицировать понятия, конструировать новые понятия

Содержательный компонент модели логической подготовки определяет объем знаний и умений по логике, необходимых и достаточных для подготовки будущего информатика-юриста Отбор содержания дисциплин логической подготовки осуществлялся в соответствии с поставленными целями обучения на основе системного подхода и дидактических принципов (профессиональной направленности, межпредметной интеграции, дифференциации, непрерывности)

Обеспечивающий компонент модели логической подготовки предполагает создание соответствующих условий психологических (опора на познавательные процессы, создание положительной эмоциональной обстановки на занятиях), методических (соотнесение содержания профессионального обучения с основными особенностями профессиональной деятельности, выбор форм, методов и средств обучения лекции, практические занятия, лабораторные занятия, изучение материалов решения профессиональных задач; проектирование профессиональных ситуаций, подготовка научных докладов, творческие встречи со специалистами), организационных (реагирование на изменяющиеся требования к специалистам; введение дисциплин по неклассическим логикам, проведение производственной практики)

Результативный компонент модели логической подготовки отражает динамику повышения уровня логической готовности к профессиональной деятельности будущих информатиков-юристов На каждом этапе формирующего эксперимента использовались специально подобранные и адаптированные к условиям экспериментальной работы методики

Результатом логической подготовки информатика-юриста является его логическая готовность к осуществлению профессиональной деятельности, которая в контексте нашего исследования рассматривается как интегратив-

ное личностное образование, состоящее из мотивационного (направленность на формирование логического мышления, интерес к логическим аспектам профессиональной деятельности), когнитивного (логические знания и умения, их подвижность), рефлексивного (осознание необходимости развития логической готовности, самооценка своей подготовленности к профессиональной деятельности) компонентов

В соответствии с теоретическим исследованием сущности логической подготовки и структуры логической готовности будущего информатика-юриста, нами были выделены следующие критерии оценки уровня сформированное™ логической готовности содержание и устойчивость мотивации, наличие знаний и умений по логике, самооценка уровня своей логической готовности и способность прогнозировать условия его повышения

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

Низкий уровень характеризуется знанием студентами основных понятий логики, умением строить алгоритм решения простейших прикладных задач, мотивация неустойчива Логические знания носят преимущественно формальный характер

Средний уровень характеризуется тем, что студенты обладают умениями алгоритмизировать решение профессионально ориентированных задач; повышается оперативность знаний и гибкость их применения Обнаруживается способность критически относиться к содержанию изучаемого материала Наблюдается устойчивая мотивация деятельности Некоторые логические знания все же носят формальный характер

Высокий уровень характеризуется актуализацией необходимых теоретических знаний при построении алгоритма решения сложных задач. Проявляется способность охватывать проблему целиком Выражена потребность в творчестве Мотивация деятельности носит устойчивый профессионально-ориентированный характер

Таким образом, теоретические знания о сущности логической подготовки будущего специалиста, разноуровневая представленность логической готовности позволили спроектировать модель логической подготовки Эффективность разработанной системы в процессе организации профессиональной подготовки будущего информатика-юриста представлена во второй главе

Во второй главе «Экспериментальная проверка эффективности системы логической подготовки будущего информатика-юриста» излагаются ход и результаты опытно-экспериментальной работы, включающей констатирующий и формирующий этапы. Экспериментальное исследование проводилась на базе Саратовского государственного университета имени Н Г Чернышевского (СГУ им. Н Г Чернышевского) в период с 2003 по 2008 гг, в исследовании принимали участие студенты дневного и заочного отделений механико-математического факультета

Констатирующий этап эксперимента был направлен на выявление отношения преподавателей к содержанию логической подготовки будущих информатиков-юристов и на определение исходного уровня логической го-

товности студентов

Для решения первой задачи проводился анализ рабочих программ, учебников по логике, анкетирование, в котором участвовали преподаватели ряда кафедр математических дисциплин, компьютерных наук СГУ им Н Г Чернышевского, Саратовского юридического института МВД РФ Преподаватели указали на важность таких разделов, как основы логики, математической логики, дискретной математики, теории множеств, неклассических логик Учитывая особенности профессиональной деятельности информатика-юриста, преподаватели отметили, что студент должен приобрести способность осуществлять анализ проблем предметной области, корректно ставить и решать задачи, видеть, точно оценивать противоречия и разрешать их, принимая нестандартные решения Полученные данные позволили сделать общий вывод о том, что преподавание курса «Логика» и других учебных дисциплин логической подготовки по традиционной программе в должной мере не формирует у студентов систем) знаний и умений, которую современный специалист использует в своей профессиональной деятельности.

Для изучения исходного уровня логической готовности у студентов на начальном этапе обучения использовался разработанный критериально-диагностический инструментарий Диагностическая методика включала авторские тестовые задания и анкеты, а также ранее апробированные методики В И Андреева, О С. Гребенюка, М Рокича и др Для определения исходного уровня логических знаний и умений проводилась контрольная работа, составленная в соответствии с общеобразовательной программой по математике Задания относились к тем аспектам математического образования, которые, как правило, не имеют отдельного параграфа в учебниках - это математический язык, элементы логики, теоретико-множественные представления Диагностика мотивации учения, отношение студентов к изучению логики, самооценка своей логической подготовленности изучались методом наблюдения, анкетирования, беседы Измеряемыми параметрами в процессе проведения опытно-экспериментальной работы явились полнота и глубина логических знаний и умение их применять, понимание ценности логических знаний для практической деятельности, готовность к пополнению логических знаний, мотивация к профессиональной деятельности Отсутствие статистически значимых различий между исходным уровнем логической подготовки студентов контрольной и экспериментальной групп подтверждается результатами сравнительного анализа по методу Пирсона

Формирующий эксперимент был направлен на апробацию спроектированной системы логической подготовки будущих информатиков-юристов и осуществлялся в два этапа В логической подготовке будущего информатика-юриста можно выделить два направления- 1) формирование логических знаний и умений, 2) овладение умениями применять эти знания в профессиональной деятельности

Первый этап - общая логическая подготовка - охватывал период обучения на первом и втором курсах вуза. На данном этапе логической подго-

товки решались следующие задачи показать значимость логики в профессиональной подготовке информатика-юриста, сформировать мотивы профессиональной деятельности, подготовить к изучению дисциплин, смежных с логикой (информатика, программирование, алгоритмические языки, базы данных, системы искусственного интеллекта и тд )

На этапе общей логической подготовки достигаются следующие обучающие цели сформировать у студентов основные логические понятия и представления, изучить пути проникновения в традиционную логику математических методов, выработать у студентов умения и навыки решения логических задач, научить студентов иллюстрировать различные виды понятий, суждений, умозаключений примерами из юриспруденции

При проектировании содержания логической подготовки будущих ин-форматиков-юристов необходимо обратить внимание на формировании именно тех логических знаний и умений, которые будут в значительной мере востребованы в их будущей учебной и профессиональной деятельности Дисциплина «Логика» для студентов специальности «Прикладная информатика (в юриспруденции)» несет двойную нагрузку Во-первых, данный курс должен заложить основы культуры мышления посредством ознакомления с фундаментальными понятиями и законами традиционной логики, восходящей к Аристотелю Во-вторых, он должен продемонстрировать, как в традиционную логику проникли математические методы, превратив ее в математическую логику, в результате чего, с одной стороны, были доказаны выдающиеся математические теоремы о способах рассуждений в математике, а с другой стороны, логика в лице математической логики сделалась важнейшей прикладной дисциплиной в компьютерной области, области информатики и систем искусственного интеллекта

В настоящее время имеется большое количество учебников и сборников задач по логике для математиков, инженеров, журналистов, философов, юристов и др Они различаются кругом излагаемых в них тем, практической направленностью, примерами, задачами и т.д Для студентов, обучающихся по данной специальности, нами разработана методика обучения традиционной логике с использованием методов математической логики Математизация традиционной логики начинается при изучении темы "Понятие", продолжается при изучении темы "Суждение" и достигает наибольшей своей эффективности при изучении дедуктивных умозаключений Таким образом, математизации подвергается наиболее действенная часть традиционной логики В процессе теоретического изучения на практических занятиях решаются задачи как по традиционной логике, так и по математической логике

Усвоение содержания логической подготовки происходит посредством использования в обучении таких методов, как репродуктивный, частично-поисковый и исследовательский Средствами обучения являются задачи, способствующие усвоению логических знаний и переносу полученных знаний в профессиональную сферу Для организации деятельности студентов в процессе осуществления логической подготовки используются фронтальная, групповая и индивидуальная формы обучения В учебном плане специальности «Прикладная информатика (в юриспруденции)» на втором курсе

предусмотрено написание курсовых работ, в частности, по логике Учебные функции курсовых работ состоят в том, что такая работа формирует умение самостоятельной работы с научной и учебной литературой, учит подводить итоги изученной дисциплины, осуществляя междисциплинарную связь между юриспруденцией, информатикой, математикой и логикой. Практическая функция курсовых работ состоит в том, что они вырабатывают навыки доказательного мышления, волевые черты характера, навыки работы с компьютерными программами

В основу общей логической подготовки будущего информатика-юриста входят также такие дисциплины, как геометрия и алгебра, дискретная математика, математический анализ, информатика и программирование В области государственно-правовых дисциплин специалисту необходимо уметь логически грамотно выражать и обосновывать свою точку зрения по поводу государственно-правовой и политической проблематики В области гражданско-правовых дисциплин специалист должен уметь анализировать юридические проблемы в сфере гражданско-правовых и гражданско-процессуальных действий, трудовых отношений, знать порядок разрешения трудовых споров

От основополагающего курса логики, являющегося ядром логической подготовки, необходимо вести ответвления во все дисциплины математического и естественнонаучного (математическая логика, теория возможностей и принятия решений в юриспруденции, информатика и программирование), гуманитарного (правоведение, философия), общепрофессионального (базы данных, разработка и стандартизация программных средств и информационных технологий), специального (компьютерные методы решения задач в юриспруденции, информационные системы распознавания образов) циклов, акцентируя внимание студентов на тех вопросах, которые имеют глубокое логическое значение Логика, проникая в эти вузовские курсы, делает их источниками логической подготовки Именно при таком подходе к изучению логики студенты наиболее отчетливо и зримо ощутят всепроникающее влияние логики на юриспруденцию, информатику и логические знания будут заложены в фундамент профессионального мировоззрения будущего информатика-юриста

Сравнительный анализ данных, полученных в начале и конце общей логической подготовки, показывает, что уровень логической готовности респондентов экспериментальной группы стал выше по сравнению с респондентами контрольной группы (табл 1,1, II) Для оценки статистической значимости различий в уровнях логической подготовленности студентов экспериментальной и контрольной групп был использован критерий Пирсона х1

Второй этап - специальная логическая подготовка - охватывал период обучения с третьего по пятый курс вуза На данном этапе логической подготовки решались следующие задачи, формирование логических знаний и умений, связанных с использованием компьютерных технологий в будущей профессиональной деятельности информатика-юриста, укрепление мотивов профессиональной деятельности, развитие логической готовности в учеб-

ной деятельности, в процессе проектирования профессиональных ситуаций и прохождения производственной практики.

На этапе специальной логической подготовки достигаются следующие цели: ознакомить студентов с важнейшими понятиями и результатами математической, нечеткой логики, продемонстрировать связь методов математической логики и современных компьютеров, показать использование математической, нечеткой, нормативной логики в правовой области В основу специальной логической подготовки могут входить следующие дисциплины математическая логика, информационные системы распознавания образов в юридической деятельности, теория возможностей и принятие решений в юриспруденции, компьютерные методы решения задач, интеллектуальные информационные системы, неклассические логики.

В соответствии с целью данного этапа с помощью преподавателей специальных и общепрофессиональных кафедр были определены стержневые понятия в содержании дисциплин, наиболее значимые для будущей профессиональной деятельности информатика-юриста На их основе была разработана и включена в учебную деятельность студентов система учебно-профессиональных задач Среди способов профилизации учебного материала можно выделить следующие включение в обычную задачу по логике терминов или данных из профессиональной области (это может быть обычная задача из типового задачника, переформулированная в терминах профессиональной деятельности, имеющая вполне однозначный алгоритм типового решения), формулирование задач в виде профессиональных ситуаций, где решение возможно с привлечением профильных знаний и знаний по логике, постановка заданий на самостоятельное формулирование студентами задач на материале юридической практики, связанных с поиском путей ее совершенствования

В качестве наиболее эффективных форм организации учебной деятельности на этом этапе были использованы практические и лабораторные занятия, самостоятельная работа Специальная логическая подготовка реализуется в процессе организации работы учебно-исследовательского характера при написании курсовых работ, а также во время производственной практики, где студентам предлагается проанализировать существующий опыт юридической и правоохранительной деятельности с использованием знаний и умений из области математики, логики и информатики Например, изучить основные задачи и проблемы нормотворческой деятельности на современном этапе российского законодательства, основы систематизации законодательства РФ и структуры нормативных актов, провести анализ норм действующего российского законодательства на языке логики

Назначение учебных дисциплин логической подготовки специальности «Прикладная информатика (в юриспруденции)» должно состоять в приобретении студентами логических знаний, умений и навыков, необходимых для изучения специальных дисциплин, осуществления профессиональной деятельности и продолжения образования На пятом курсе обучения проводилась контрольная работа, которая включала задания как на проверку

остаточных знаний по логике, так и задания, требующие для своего выполнения знаний из математики, информатики и юриспруденции Для оценки статистической значимости различий в уровнях логической подготовленности студентов экспериментальной и контрольной группах использовался критерий Колмогорова-Смирнова

После завершения опытно-экспериментального исследования был проведен сравнительный анализ данных, полученных в начале и конце формирующего эксперимента Полученные данные свидетельствуют о том, что в экспериментальных группах наблюдается отчетливая динамика повышения уровня логической готовности к профессиональной деятельности (табл 1). Данное обстоятельство позволяет признать эффективность системы логической подготовки будущих информатиков-юристов и достоверность проведенного на ее основе формирующего эксперимента

Таблица 1

Распределение студентов по уровням логической готовности к профессиональной деятельности на I - начало общей логической подготовки, II — начало специальной логической подготовки и III - конец эксперимента (в % соотношении)

Уровни Контрольная группа (54 человека) Экспериментальная группа (58 человек)

I II III I II III

низкий 57,8 39,3 20,8 59,9 34,8 9,7

средний 36,2 42 47,7 34,4 36,7 39

высокий 6 18,7 31,5 5,7 28,5 51,3

В заключении приводятся основные выводы, подтверждающие верность исходной гипотезы исследования.

1 На основе анализа психолого-педагогической и научно-методической литературы охарактеризованы логические аспекты профессиональной деятельности информатика-юриста Логика в профессиональной подготовке информатика-юриста помогает мыслить последовательно, непротиворечиво, доказательно рассуждать, составлять официальные документы, моделировать логическую структуру правовой нормы, создавать логически непротиворечивую систему законов, символически представлять юридические знания; использовать современные методы и средства разработки алгоритмов и программ на языке высокого уровня; создавать базы данных, базы знаний, экспертные и интеллектуальные системы

2 Логическая подготовка будущего информатика-юриста понимается нами как специально организованный и целенаправленный процесс, который предполагает формирование у студентов логического мышления, логических знаний из различных областей логики, математической логики и умений применять их в профессиональной деятельности, в которой методы

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

Результатом логической подготовки будущего специалиста является логическая готовность к профессиональной деятельности, представляющая собой интегративное личностное образование, содержанием которого являются направленность на использование логического мышления, интерес к логическим аспектам профессиональной деятельности, логические знания и умениями, их подвижность, самооценка своей подготовленности к профессиональной деятельности

3 Модель логической подготовки будущего информатика-юриста представлена следующими компонентами- целевым, содержательным, обеспечивающим (включающим комплекс психологических, методических, организационных условий), результативным Содержание логической подготовки разработано на основе межпредметной интеграции математических и естественнонаучных, общепрофессиональных, специальных дисциплин профессиональной подготовки

Критериями сформированности логической готовности обучаемых выступают содержание и устойчивость мотивации оперирования логическими средствами, наличие знаний и умений по логике, самооценка уровня своей логической готовности и способность прогнозировать условия ее повышения Показателями являются умение определять понятие (через род и видовое отличие), умение классифицировать совокупности объектов (группировать объекты по заданному признаку, выделять признак, общий для данных объектов и т п ), проводить дедуктивные рассуждения, опровергать общие утверждения с помощью примера, формулировать гипотезы и ставить вопросы, проводить действия по алгоритму, составлять алгоритм деятельности, понимание ценности логических знаний для практической деятельности, готовность к пополнению логических знаний, мотивация к профессиональной деятельности На основе данных критериев выявлены и описаны уровни логической готовности к профессиональной деятельности низкий, средний, высокий.

Реализация в образовательном процессе вуза спроектированной системы позволяет существенно повысить эффективность логической подготовки студентов

Диссертационная работа не исчерпывает всей полноты рассматриваемой проблемы повышения эффективности логической подготовки будущего информатика-юриста Более глубокого изучения требует выявление путей организации данного процесса при обучении информатиков-юристов, получающих степень бакалавра и магистра

В приложениях к диссертации содержатся методические материалы, иллюстрирующие основное содержание работы (рабочая программа дисци-

плины «Логика», анкеты по исследованию уровней логической подготовленности, контрольные работы, тесты для выявления уровня логических знаний и умений, темы курсовых и дипломных работ)

Основные положения диссертации отражены в следующих публикациях автора:

1 Букушева, А В Математическая логика как основа профильной интеграции в процессе подготовки информатиков-юристов / AB. Букушева, В И. Игошин // Инновационные тенденции в системе высшего и среднего образования. Материалы второй международной заочной научно-методической конференции В 2 ч 41 - Саратов Изд-во «Научная книга»,

2005 -С 86-89 (авт.-0,1 пл)

2. Букушева, AB. Математическая логика в подготовке информатиков-юристов / А В Букушева // Современный урок математики Теория и практика Материалы Всероссийской научно-практической конференции / Отв ред ТА Иванова - Н Новгород Изд-во НГПУ, 2005. - С 204-205 (0,1 п.л)

3 Букушева, А В Использование идей математической логики при проектировании курса «Распознавание образов в юридической деятельности» / А В Букушева, С В Галаев // Современные проблемы школьного и вузовского математического образования Тез. докл XXIV Всероссийского семинара преподавателей математики университетов и педагогических вузов / Под ред. А Г Мордковича, И К Кондауровой - М , Саратов. Ред -изд отдел Моек гор пед ун-та, Изд-во Сарат ун-та, 2005 - С. 94-95 (авт -0,1 п л )

4 Букушева, А В Логическая подготовка информатика-юриста // Ценностные подходы к организации учебно-воспитательного процесса в высшей школе Материалы межвузовской научно-методической конференции (XIII Рязанские педагогические чтения) / Отв. ред А Н Козлов - Рязань Изд-во РГУ им С А Есенина, 2006. - С 55-58 (0,3 п л)

5 Букушева, А В. Система специальной логической подготовки информатика-юриста / А В Букушева, С В Галаев // Проблемы и перспективы развития непрерывного профессионального образования в эпоху социальных реформ. Сборник научных трудов третьей международной заочной научно-методической конференции В 2 ч 4 1 - Саратов Изд-во «Научная книга»,

2006 -С 64-66(авт -0,1 пл)

6 Букушева, А В Элементы теории нечетких множеств в курсе математической логики / А В Букушева, С В Галаев // Актуальные проблемы методики преподавания математики и информатики в свете модернизации Российского образования Сборник научных трудов Всероссийской научно-практической конференции. - Биробиджан Изд-во ДВГСГА, 2006 - С 2025 (авт - 0,2 п л)

7 Букушева, А В Применение методов алгебры логики в криминалистической практике / А В Букушева // Наука и образование проблемы и пер-

22

спективы Материалы 8-й региональной научно-практической конференции аспирантов, студентов и учащихся В 2-х частях - Бийск Изд-во БПГУ им В M Шукшина, 2006 - Ч 1 - С 60-64 (0,3 п л )

8 Букушева, А В Цели обучения математической логике будущего информатика-юриста / А В Букушева // Математическое образование прошлое, настоящее, будущее Материалы I международной научно-практической конференции посвященной памяти профессора Б M Бредихина - Москва, Самара Изд-во СГПУ, 2006 - С 146-148 (0,2 п л )

9 Букушева, А В Логико-математическая подготовка будущих информа-тиков-юристов / А В Букушева, С В Галаев // Проблемы теории и практики обучения математике Сборник научных работ, представленных на международную научную конференцию «LX Герценовские чтения», посвященную 210-летию РГПУ им А И Герцена / Под ред В В Орлова - СПб Изд-во РГПУ им А И Герцена, 2007 - С 114-121 (авт -0,3 пл)

10 Букушева, А В Элементы логики в приложении к правовым системам / А В Букушева // Новые средства и технологии обучения математике в школе и вузе Материалы XXVI Всероссийского семинара преподавателей математики университетов и педагогических вузов - Самара, M Самарский филиал МГПУ, МГПУ, 2007 - С 26-27 (0,1 п л )

11 Букушева, А В Модель подготовки информатика-юриста / С В Галаев, А В Букушева // Теоретические и прикладные проблемы преподавания математики и естественнонаучных дисциплин слушателям гуманитарных специальностей специализированных вузов Материалы межвузовской научно-практической конференции / Под ред И Ю Харламовой, Д В Фек-люнина - Саратов СЮИ МВД России, 2007 - С 139-143 (авт -0,2 п л)

12 Букушева, А В Теория возможностей и принятие решений в юриспруденции / А В Букушева // Теоретические и прикладные проблемы преподавания математики и естественнонаучных дисциплин слушателям гуманитарных специальностей специализированных вузов Материалы межвузовской научно-практической конференции / Под ред И Ю Харламовой, ДВ Феклюнина - Саратов СЮИ МВД России, 2007 - С 143-151 (0,6 п л )

13. Букушева, А.В Междисциплинарные учебно-методические комплексы как результат и средство информационного взаимодействия в информационно-коммуникационной предметной среде / C.B. Галаев, A.B. Букушева // Информатика и образование. - 2008. - №4 - С. 113115 (авт. - 0,2 пл.).

14. Букушева, A.B. Профессионально-ориентированная система логической подготовки информатика-юриста / A.B. Букушева // Вестник Саратовского госагроуниверситета им. H II. Вавилова. - 2006. - №4. -Вып. 2. - С. 90-91 (0,3 п.л.).

15. Букушева, A.B. К вопросу о логической подготовке будущего информатика-юриста / В.И. Игошин, A.B. Букушева // Вестник Саратовского госагроуниверситета им. H II Вавилова. - 2006 - №6. - Вып. 3. -С. 61-65 (авт. - 0,4 п.л.).

, г

&Ь

Подписано в печать 01 09 2008 г Формат 60x84 1/16 Объем 1,5 п л Тираж 100 экз Заказ №89 Типография Издательства Саратовского университета 410012, Саратов, Астраханская, 83

Содержание диссертации автор научной статьи: кандидата педагогических наук, Букушева, Алия Владимировна, 2008 год

Введение.

Глава 1. Теоретические аспекты проектирования системы логической подготовки будущего информатика-юриста.

1.1. Педагогическая система подготовки будущего информатика-юриста.

1.2. Логическая составляющая профессиональной деятельности информатика-юриста.

1.3. Модель логической подготовки будущего информатика-юриста.

Выводы по первой главе.

Глава 2. Экспериментальная проверка эффективности системы логической подготовки будущего информатика-юриста.

2.1. Диагностический анализ логической подготовки студентов.

2.2. Реализация модели логической подготовки студентов.

Выводы по второй главе.

Введение диссертации по педагогике, на тему "Проектирование и реализация системы логической подготовки будущего информатика-юриста"

Актуальность исследования. Современный период развития общества характеризуется интенсивным процессом информатизации всех сфер жизнедеятельности человека. Одним из результатов информационной революции, потребовавшей регулирования новых видов правоотношений, является информационное право. Ключевыми для данной отрасли права являются проблемы разрешения конфликта между публичными и частными интересами, проблемы права собственности на информацию и норм ее гражданского оборота, проблемы защиты информации, информационных ресурсов и интеллектуальной собственности. Совершение преступлений путем манипуляций компьютерной информацией стало настоящим бедствием для современного общества. Нарушение защиты информации и ее неправомерное использование может привести к весьма существенному государственному, коммерческому, личному ущербу. Правонарушения, совершаемые в сфере компьютерной информации, чрезвычайно латентны, очень сложны для вскрытия и расследования, нуждаются в особой процедуре поиска, фиксации и оценки, а, следовательно — в специалистах.

Для успешного решения проблемы информатизации правовой сферы приказом Министерства образования РФ от 02.03. 2000 г. № 686 была утверждена специальность 351400 «Прикладная информатика (в юриспруденции)». В соответствии с профессиональной ориентацией специалиста в области применения и с утверждённой двухпрофильной специализацией выпускник по данной специальности получает квалификацию информатик-юрист. Многие аспекты подготовки специалистов в области прикладной информатики в юриспруденции еще недостаточно разработаны. Один из таких аспектов связан с логической подготовкой будущих информатиков-юристов.

Проблема логической подготовки специалиста и развития его логического мышления относится к ряду наиболее важных задач современной теории и методики профессионального образования. Необходимо отметить, что она решается довольно длительное время специалистами различных областей — психологами, педагогами, методистами. Однако это не значит, что она себя исчерпала для научного поиска. Будучи одним из наиболее значимых факторов учебной деятельности, логическое мышление не формируется само по себе и требует специальных процедур как в процессе учения, так и во внеучебном пространстве. Как показывают исследования по проблемам подготовки специалистов (O.A. Абдуллнна, В.И. Андреев, Е.П. Белозерцев, Г.И. Железовская, Е.И. Исаев, И.Л. Тимофеева и др.), в высшей школе основное внимание уделяется предметпым знаниям, в то время как причины ошибок при решении учебных и профессиональных задач очень часто лежат в области недостаточной логической подготовки пли кроются в неумении планировать и контролировать свою деятельность. Логика составляет фундамент всех наук (общественных, естественных, технических), педагогической деятельности, обыденного мышления и повседневного общения людей. Она важна и востребована во всех сферах науки п практики, где требуется рассуждать, анализировать и доказывать. Способность логически мыслить и рассуждать кроется в рациональной природе человека, обеспечивая возможность адекватного выражения и понимания мысли. Именно поэтому человек подчас обходится и без логических знаний, интуитивно верно применяя в своей деятельности базовые логические правила и законы как часть этой рациональной природы. Однако применение новых информационных технологий не может основываться на такой зыбкой почве. Необходим научно-обоснованный подход к интеграции ряда наук: юриспруденции, логики, математики и др.

Изучение логики является одним из важнейших факторов, повышающих культуру мышления, способствующих интеллектуальному развитию личности, формированию у нее научного мировоззрения. Как известно, мыслительный процесс образуется двумя составляющими - интуитивной и логической. В данной работе мы будем говорить о формировании логического мышления студентов при изучении логики как учебной дисциплины и при использовании логики как средства познания.

Психологические основы, сущность, факторы и способы развития логического мышления исследованы в работах П.П. Блонского, Л.И. Божович, JI.M. Веккера, Л.С. Выготского, C.JI. Рубинштейна, O.K. Тихомирова и др. Педагогические аспекты развития логического мышления в учебном процессе нашли отражение в трудах Ю.К. Бабанского, В.П. Беспалько, П.Я. Гальперина, E.H. Кабановой-Меллер, В.Ф. Паламарчук, Н.Ф. Талызиной и многих других. Формированию логической культуры и логического мышления посвящены диссертационные исследования А.И. Газизовой, И.А. Дудковской, Г.М. Дьяченко, Т.В. Морозовой, P.C. Сафаровой, С.А. Севостьяновой, И.Л. Тимофеевой и др.

Исследования в области применения логики, математической логики, неклассической логики в юриспруденции отражены в работах O.A. Гаврилова, П. Герлаха, А.Д. Гетмановой, Н.Б. Ельчаниновой, Г.И. Иванова, A.A. Ивина, Ю.В. Ивлева, В.И. Игошина, E.H. Лисанюк, Р. Карнапа, В.М. Когана, Н.С. Полевого, B.C. Пошкявичуса, A.A. Старченко и др. В настоящее время имеются методические работы по разработке и использованию в учебном процессе логических задач и упражнений с применением информационных технологий (О.Б. Богомолова, В.А. Бубнов, Ю.Г. Коротенков, В.Ю. Лыскова, Е.А. Ракити-на, И.С. Стрельникова, Н.В. Пустоваченко, С.И. Шапиро и др.). Вопросы использования информационных технологий в процессе профессиональной подготовки специалиста в области права отражены в трудах Х.А. Андриашина, С.Я. Казанцева, В.В. Крылова, Кр.Дж. Мак-Кланг, Н.С. Полевого, М.М. Рассо-лова, C.B. Симоновича, С.И. Цветкова, С.М. Шахрая, В.Д. Элькина и др.

С введением междисциплинарных специальностей в вузах необходимы новые подходы к проектированию и реализации системы логической подготовки студентов. Недостаточно разработаны теоретические, психологопедагогические и методические подходы к преподаванию логики в системе высшего образования. Практически нет работ, посвященных проектированию содержания дисциплин логической подготовки для информатиков-юристов. В процессе преподавания недостаточно реализуются междисциплинарные связи между курсом логики и общепрофессиональными, специальными, математическими и естественнонаучными дисциплинами, изучаемыми в вузе.

Актуальность исследования определяется противоречием между возрастающей значимостью, объективной потребностью общества в высококвалифицированных специалистах и недостаточным уровнем логической подготовки выпускников вузов, необходимостью использования методов и средств логики в профессиональной деятельности информатика-юриста и недостаточной теоретической разработанностью системы логической подготовки студентов.

На основании выявленных противоречий сформулирована проблема исследования: каковы научные аспекты проектирования системы логической подготовки будущего пнформатика-юриста. Актуальность и недостаточная разработанность данной проблемы определили выбор темы исследования «Проектирование и реализация системы логической подготовки будущего информатика-юриста».

Цель исследования: теоретически обосновать, разработать и экспериментально проверить модель логической подготовки будущего информатика-юриста.

Объект исследования: профессиональная подготовка будущего информатика-юриста в вузе.

Предмет исследования: система логической подготовки будущего информатика-юриста в образовательном процессе вуза.

Гипотеза исследования: логическая подготовка будущего информатика-юриста будет эффективной, если: она рассматривается как специально организованный и целенаправленный процесс, который предполагает формирование у студентов логического мышления, логических знаний и умений, необходимых для их будущей профессиональной деятельности;

- при проектировании системы логической подготовки установлены междисциплинарные связи логики с дисциплинами учебного плана специальности «Прикладная информатика (в юриспруденции)»; осуществлен мониторинг логической подготовки студентов с использованием разработанного инструментария.

В соответствии с целью, объектом, предметом и гипотезой исследования определены следующие задачи:

1. На основе анализа психолого-педагогической и научно-методической литературы обосновать значимость и необходимость выделения логического компонента в профессиональной подготовке будущего информатика-юриста, уточнить сущность логической подготовки и логической готовности к профессиональной деятельности.

2. Спроектировать модель междисциплинарной интеграции логики с математическими и естественнонаучными, общепрофессиональными, специальными дисциплинами профессиональной подготовки.

3. Определить критериально-диагностический инструментарий выявления уровня логической подготовки студентов и с его помощью экспериментально проверить эффективность разработанной системы в процессе организации профессиональной подготовки будущего информатика-юриста.

Теоретико-методологической основой исследования являются:

- теория профессионального образования (O.A. Абдуллина, Ю.К. Бабан-ский, Г.И. Железовская, Э.Ф. Зеер, Н.В. Кузьмина, Н.К. Сергеев, В.А. Сласте-нин, Н.В. Тельтевская, А.И. Щербаков и др.); психолого-пед а готические исследования по проблемам развития логического мышления (JI.C. Выготский, Ж. Пиаже, СЛ. Рубинштейн, В.Ф. Пала-марчук, Н.Ф. Талызина, O.K. Тихомиров и др.);

- теория системного подхода к организации педагогического исследования (Б.Г. Ананьев, В.П. Беспалько, В.А. Ганзен, Г.К. Селевко, Е.Э. Смирнова, С.Д. Смирнов и др.);

- научные исследования в области логики, математической логики и теории алгоритмов, неклассической логики и методики их преподавания (А.Д. Гетманова, Ю.Л. Ершов, A.A. Ивпн, Ю.В. Ивлев, В.И. Игошин, B.JI. Матросов, И.Л. Никольская, П.С. Новиков, И.Л. Тимофеева и др.);

- научные разработки по проблеме выявления и реализации межпредметных связей (П.Р. Атутов, Я.А. Ваграменко, О.Б. Ермакова, В.Н. Максимова, Е.Г. Соловьева, A.B. Усова, С.Г. Шаповалепко и др.).

В процессе исследования был использован комплекс методов для проверки гипотезы и решения поставленных задач. В теоретической части исследования применялись следующие методы: теоретического анализа философской, педагогической, психологической, методической и специальной литературы по проблемам логической подготовки студентов; анализ учебных программ, рабочих планов, методических пособий. Опытно-экспериментальная работа включала: прямое и косвенное педагогическое наблюдение; индивидуальные и групповые исследовательские беседы; опросы, анкетирование, тестирование по вопросам логической подготовки в вузе; обработку материалов эксперимента методами математической статистики.

Этапы и опытно-экспериментальная база исследования. Исследование проводилось поэтапно с 2003 по 2008 гг. на базе Саратовского государственного университета имени Н.Г. Чернышевского.

На первом этапе (2003-2004 гг.) изучалась психолого-педагогическая, методическая и специальная литература по проблемам логической подготовки студентов; проводился анализ логических аспектов профессиональной деятельности информатика-юриста; обоснование актуальности проблемы, определение цели, объекта, предмета, задач исследования; построение гипотезы исследования, методики проведения педагогического исследования.

На втором этапе (2004-2007 гг.) были разработаны организационно-педагогические аспекты проектирования системы логической подготовки студентов и экспериментальная программа ее реализации в образовательной практике: осуществлен отбор содержания логической подготовки, подготовлен лекционный материал, задания для семинарских, лабораторных и самостоятельных работ, методические рекомендации по проведению занятий; проведен формирующий этап эксперимента, анализ промежуточных результатов.

На третьем этапе (2007-2008 гг.) осуществлялось обобщение результатов формирующего эксперимента, проведение статистической и математической обработки экспериментальных данных, формулирование итоговых выводов, полученных в ходе опытно-экспериментального исследования; подготовка и внедрение в практику работы вуза методических рекомендаций по совершенствованию логической подготовки студентов; оформление диссертации.

Научная новизна результатов исследования заключается в уточнении и дополнении представлений о логической подготовке как процесса, направленного на формирование у студентов логической готовности к профессиональной деятельности, которая включает в себя: мотивационную, когнитивную, рефлексивную составляющие; в разработке модели логической подготовки будущих информатиков-юристов, представленной следующими компонентами: целевым, содержательным, обеспечивающим и результативным; в спроектированном содержании логической подготовки на основе межпредметной интеграции математических и естественнонаучных, общепрофессиональных, специальных дисциплин профессиональной подготовки; в предложении критериально-диагностического инструментария, позволяющего выявить уровни логической готовности (низкий, средний, высокий) студентов на различных этапах обучения.

Теоретическая значимость результатов исследования заключается в теоретическом обосновании модели логической подготовки будущих информатиков-юристов, необходимости и возможности обеспечения профессиональной направленности обучения логике будущих информатиков-юристов на основе реализации принципа междисциплинарных связей. Полученные результаты исследования могут служить теоретической базой для решения проблемы совершенствования логической подготовки информатиков-юристов в системе многоуровневого образования.

Практическая значимость результатов исследования состоит в том, что апробирована и внедрена модель логической подготовки студентов, определен диагностический инструментарий выявления ее эффективности. Результаты проведенного исследования могут использоваться в образовательном процессе вуза с целью повышения уровня логической подготовки бакалавров, магистров прикладной информатики. Практическую ценность имеет методическое обеспечение лекций и практических занятий, анкеты, тесты. Материалы исследования имеют практическую значимость при составлении учебных планов, программ, методических пособий в практике средних и высших учебных заведений.

Достоверность и обоснованность результатов исследования обеспечивается методологической обоснованностью исходных теоретических положений; применением методов, адекватных задачам и логике исследования; опытно-экспериментальной проверкой гипотез; поэтапностью и продолжительностью эксперимента; репрезентативностью выборки; использованием методов математической статистики при обработке результатов опытного исследования; личным участием автора в эксперименте и практической деятельности в качестве преподавателя.

Апробация результатов исследования. Основные положения диссертации, теоретические и практические результаты обсуждались на международной заочной научно-методической конференции «Инновационные тенденции в системе высшего и среднего образования» (Саратов, 2005), Всероссийской научно-практической конференции «Современный урок математики: теория и практика» (Н. Новгород, 2005), XXIV Всероссийском семинаре преподавателей математики университетов и педагогических вузов «Современные проблемы школьного и вузовского математического образования» (Москва, Саратов,

2005), Всероссийской научно-практической конференции «Актуальные вопросы методики преподавания математики и информатики в свете модернизации Российского образования» (Биробиджан, 2006), международной заочной научно-методической конференции «Проблемы и перспективы развития непрерывного профессионального образования в эпоху социальных реформ» (Саратов,

2006), 8-й региональной научно-практической конференции аспирантов, студентов и учащихся «Наука и образование: проблемы и перспективы» (Бийск, 2006), международной научно-практической конференции «Математическое образование: прошлое, настоящее и будущее» (Москва, Самара, 2006), международной научной конференции «ЬХ Герценовские чтения: Проблемы теории и практики обучения математике» (С.-Петербург, 2007); научной конференции механико-математического факультета Саратовского государственного университета им. Н.Г. Чернышевского «Математика. Механика» (Саратов, 2005, 2007); заседаниях кафедр педагогики, геометрии, математики и методики её преподавания, прикладной информатики Саратовского государственного университета им. Н.Г. Чернышевского. у

Основные результаты исследования отражены в 15 публикациях автора.

Внедрение результатов исследования осуществлено в Саратовском государственном университете имени Н.Г. Чернышевского, Саратовском юридическом институте МВД России.

На защиту выносятся следующие положения:

1. Логическая подготовка будущего информатика-юриста - это специально организованный и целенаправленный процесс, который предполагает формирование у студентов логического мышления, логических знаний из различных областей логики, математической логики и умений применять эти знания в профессиональной деятельности, в которой методы и средства логики являются определяющим инструментом в решении прикладных задач. Логическая готовность является составной частью общей готовности будущего специалиста к профессиональной деятельности и представляет собой интегративное личностное образование, состоящее из следующих компонентов: мотивационного (направленность на формирование логического мышления, интерес к логическим аспектам профессиональной деятельности), когнитивного (логические знания и умения, их подвижность), рефлексивного (осознание необходимости развития логической готовности, самооценка своей подготовленности к профессиональной деятельности).

2. Модель логической подготовки будущего информатика-юриста включает целевой (формирование логической готовности), содержательный (меж-предметпая интеграция математических и естественнонаучных, общепрофессиональных, специальных дисциплин профессиональной подготовки), обеспечивающий (психологические, методические, организационные условия) и результативный компоненты.

3. Педагогическая диагностика формирования логической готовности будущего информатика-юриста к профессиональной деятельности осуществляется на основе следующих критериев: содержание и устойчивость мотивации; наличие логических знаний и умений; самооценка уровня логической-готовности, включающих следующие показатели: наличие осознанной профессионально-личностной мотивации, полнота и глубина логических знаний и умение их применять, понимание ценности логических знаний для практической деятельности. Сформированность логической готовности к профессиональной деятельности по данным критериям можно оценить на трех уровнях: низком, среднем, высоком.

Структура работы. Диссертация состоит из введения, двух глав, заключения, списка литературы и приложений.

Заключение диссертации научная статья по теме "Теория и методика профессионального образования"

Выводы по второй главе

Анализ реального процесса подготовки информатиков-юристов и полученные экспериментальные данные позволяют сделать следующие выводы:

1. Будущий информатик-юрист должен получить бинарную логическую подготовку. Во-первых, как специалист в области юриспруденции он должен быть наделён знаниями в области традиционной логики, восходящей к Аристотелю. Во-вторых, как специалист в области информационных технологий он должен обладать знаниями в области математической логики и теории алгоритмов.

При проектировании содержания логической подготовки будущего информатика-юриста необходимо обратить внимание на формировании именно тех логических знаний и умений, которые будут в значительной мере востребованы в их будущей учебной и профессиональной деятельности.

2. Дисциплина «Логика» для студентов специальности «Прикладная информатика (в юриспруденции)» несёт двойную нагрузку. Во-первых, данный курс должен заложить основы культуры мышления посредством ознакомления с фундаментальными понятиями и законами традиционной логики, восходящей к Аристотелю. Во-вторых, он должен продемонстрировать, как в традиционную логику проникли математические методы, превратив её в математическую логику, в результате чего, с одной стороны, были доказаны выдающиеся математические теоремы о способах рассуждений в математике, а с другой стороны, логика в лице математической логики сделалась важнейшей прикладной дисциплиной в компьютерной области, области ипформатикп и систем искусственного интеллекта.

3. Усвоение содержания логической подготовки происходит посредством использования в обучении таких методов, как репродуктивный, частично-поисковый и исследовательский. Средствами обучения являются задачи, способствующие усвоению логических знаний и переносу полученных знаний в профессиональную сферу. Для организации деятельности студентов в процессе осуществления логической подготовки используются фронтальная, групповая и индивидуальная формы обучения.

4. Курс логики является ядром логической подготовки. От основополагающего курса логики необходимо вести логические ответвления во все дисциплины общеобразовательного, общепрофессионального блоков и блока специальных дисциплин, акцентируя внимание студентов в этих курсах на тех вопросах, которые имеют глубокое логическое значение. Именно при таком подходе к изучению логики студенты наиболее отчетливо и зримо ощутят всепроникающее влияние логики иа юриспруденцию, информатику и логические знания будут заложены в фундамент профессионального мировоззрения будущего информатика-юриста.

5. Измеряемыми параметрами в процессе проведения опытно-экспериментальной работы явились: уровень владения логическими знаниями; умение применять методы логики; готовность к пополнению логических знаний, к саморазвитию; мотивация и интерес к логическим аспектам профессиональной деятельности.

Статистическая обработка полученных (критерия Пирсона -/? > критерий Колмогорова-Смирнова) данных подтвердила эффективность спроектированной системы логической подготовки будущего информатика-юриста.

147

Заключение

Проведенное теоретическое и экспериментальное исследование в соответствии с целями и задачами исследования дали следующие результаты:

1. На основе анализа психолого-педагогической и научно-методической литературы охарактеризованы логические аспекты профессиональной деятельности информатика-юриста. Логика в профессиональной подготовке информатика-юриста помогает: мыслить последовательно, непротиворечиво, доказательно рассуждать; составлять официальные документы; моделировать логическую структуру правовой нормы; создавать логически непротиворечивую систему законов; символически представлять юридические знания; использовать современные методы и средства разработки алгоритмов и программ на языке высокого уровня; создавать базы данных, базы знаний, экспертные и интеллектуальные системы.

2. Логическая подготовка будущего информатика-юриста понимается нами как специально организованный и целенаправленный процесс, который предполагает формирование у студентов логического мышления, логических знаний из различных областей логики, математической логики и умений применять их в профессиональной деятельности, в которой методы и средства логики являются определяющим инструментом в решении прикладных задач.

Результатом логической подготовки будущего специалиста является логическая готовность к профессиональной деятельности, представляющая собой интегративное личностное образование, содержанием которого являются: направленность на использование логического мышления, интерес к логическим аспектам профессиональной деятельности; логические знания и умениями, их подвижность; самооценка своей подготовленности к профессиональной деятельности.

3. Модель логической подготовки будущего информатика-юриста представлена следующими компонентами: целевым, содержательным, обеспечивающим (включающим комплекс психологических, методических, организационных условий), результативным. Содержание логической подготовки разработано на основе межпредметной интеграции математических и естественнонаучных, общепрофессиональных, специальных дисциплин профессиональной подготовки.

Критериями сформированности логической готовности обучаемых выступают: содержание и устойчивость мотивации оперирования логическими средствами; наличие знаний и умений по логике; самооценка уровня своей логической готовности и способность прогнозировать условия ее повышения. Показателями являются: умение определять понятие (через род и видовое отличие), умение классифицировать совокупности объектов (группировать объекты по заданному признаку, выделять признак, общий для данных объектов и т.п.), проводить дедуктивные рассуждения, опровергать общие утверждения с помощью примера, формулировать гипотезы и ставить вопросы, проводить действия по алгоритму, составлять алгоритм деятельности, понимание ценности логических знаний для практической деятельности, готовность к пополнению логических знаний, мотивация к профессиональной деятельности. На основе данных критериев выявлены и описаны уровни логической готовности к профессиональной деятельности: низкий, средний, высокий.

Реализация в образовательном процессе вуза спроектированной системы позволяет существенно повысить эффективность логической подготовки студентов.

Диссертационная работа не исчерпывает всей полноты рассматриваемой проблемы повышения эффективности логической подготовки будущего информатика-юриста. Более глубокого изучения требует выявление путей организации данного процесса при обучении информатиков-юристов, получающих степень бакалавра и магистра.

Список литературы диссертации автор научной работы: кандидата педагогических наук, Букушева, Алия Владимировна, Саратов

1. Абдуллина, O.A. Личность студента в процессе профессиональной подготовки / O.A. Абдуллина // Высшее образование в России. 1993. - №3. -С. 164-170.

2. Абдуллина, O.A. Общепедагогическая подготовка учителя в системе высшего педагогического образования / O.A. Абдуллина. М.: Просвещение, 1990.- 140 с.

3. Алексеев, М.И. Логика и педагогика / М.И. Алексеев. М.: Знание, 1965.- 32 с.

4. Андреев, В.И. Педагогика: Учебный курс для творческого саморазвития. 2-е изд. / В.И. Андреев. Казань: Центр инновационных технологий, 2000. - 608 с,

5. Анохин, П.К. Теория функциональной системы / П.К. Анохин // Успехи функциональных наук. 1970. - №1. — С. 19-54.

6. Артамонов, М.А. Элементы логики в курсе математики средней школы / М.А. Артамонов. Львов, 1957. - 326 с.

7. Асимов, М.С. Современные тенденции интеграции наук / М.С. Аси-мов, А. Турсунов // Вопросы философии. 1981. - № 3. - С. 57-67.

8. Архангельский, С.И. Учебный процесс в высшей школе, его закономерности, основы и методы. М.: Высшая школа, 1980. - 368 с.

9. Афанасьев, В.Г. О системном подходе в социальном познании / В.Г. Афанасьев // Вопросы философии. 1973. - №6. - С. 99-101.

10. Бабинский, М.Б. О категории «педагогическая система» / М.Б. Ба-бинский // Школьные технологии. 2006. - №6. - С. 11-14.

11. Бажанов, В.А. История логики в России и СССР (Концептуальный контекст университетской философии) / В.А. Бажанов. М.: КАНОН+, 2007. -335 с.

12. Байденко, В.И. Новые стандарты высшего образования: методологические аспекты / В.И. Байденко // Высшее образование сегодня. 2007. — №5. -С. 4-7.

13. Беспалько, В.П. Основы теории педагогических систем / В.П. Бес-палько. Воронеж: Изд-во Воронежского ун-та, 1977. - 204 с.

14. Беспалько, В.П. Слагаемые педагогической технологии / В.П. Беспалько. М.: Педагогика, 1989. - 192 с.

15. Беспалько, В.П. Системно-методическое обеспечение учебно-воспитательного процесса подготовки специалистов: Учебно-методическое пособие / В.П. Беспалько, Ю.Г. Татур. М.: Высшая школа, 1989. - 144 с.

16. Беспалько, В.П. Отображение дидактического процесса в учебнике /

17. B.П. Беспалько // Школьные технологии. 2006. - №6. - С. 60-70.

18. Бирюков, Б.В. Кибернетика в гуманитарных науках / Б.В. Бирюков, Е.С. Геллер. М., 1973. - 382 с.

19. Богданова, О.Ю. Развитие мышления старшеклассников на уроках литературы / О.Ю. Богданова. М., 1979. - 74 с.

20. Богомолова, О.Б. Логические задачи по информатике / О.Б. Богомолова. — М.: Информатика и образование, 2001. 271 с.

21. Богоявленская, Д.Б. Интеллектуальная активность как проблема творчества/ Д.Б. Богоявленская. Ростов, 1983. - 135 с.

22. Бондаревская, Е.В. Гуманистическая парадигма личпостно ориентированного образования / Е.В. Бондаревская // Педагогика. 1997. - № 4.1. C. 11 17.

23. Борисов, А.Н. Принятие решений на основе теории нечетких моделей / А.Н. Борисов, O.A. Крумберг, И.П. Федоров. Рига, Зинатне, 1990. -184 с.

24. Брюшкин, В.Н. Практический курс логики для гуманитариев. Учебник / В.Н. Брюшкин. М.: Интерпракс, 1994. - 360 с.

25. Бубнов, В.А. Логические задачи как элементы искусственного интеллекта / В.А. Бубнов // Информационные технологии в предметной области. Вып. II. М.: МГПУ, 2004. - С. 28-49.

26. Бузук, Г. Л. Логика и компьютер / Г. Л. Бузу к. М.: Финансы и статистика, 1995. - 207 с.

27. Ваграменко, Я.А. Информационные технологии и модернизация образования / Я.А. Ваграменко // Педагогическая информатика. 2000. - №2. -С. 36-39.

28. Вербицкий, A.A. Активное обучение в высшей школе: контекстный подход / A.A. Вербицкий. М.: Высшая школа, 1991. - 204 с.

29. Винер, Н. Я математик / И. Винер. - М.: Наука, 1964. - 356 с.

30. Воронцова, Л.Я. Развитие логического мышления на уроках математики / Л.Я. Воронцова // Школьные технологии. 2007. - №2. - С.49-54.

31. Вяткин, Л.Г. Основы педагогики высшей школы: Учебное пособие / Л.Г. Вяткин, О.Б. Капичникова, A.B. Дружкин. Саратов: Изд-во Сарат. ун-та, 1997,- 128 с.

32. Войшвилло, Е.К. Логика как часть теории познания и научной методологии: Фундам. курс: Учеб. пособ. для студентов философ, фак. и преподавателей логики: В 2 кн.. Кн. 1. / Е.К. Войшвилло, М.Г. Дегтярев. М.: Наука, 1994.-311 с.

33. Войшвилло, Е.К. Логика как часть теории познания и научной методологии: Фундам. курс: Учеб. пособ. для студентов философ, фак. и преподавателей логики: В 2 кн.. Кн. 2. / Е.К. Войшвилло, М.Г. Дегтярев М.: Наука, 1994.-332 с.

34. Ганзен, В.А. Системные описания в психологии / В.А. Ганзен. Л.: Изд-во Ленингр. ун-та, 1984. - 176 с.

35. Гаврилов, O.A. Изучение права методами математической логики / O.A. Гаврилов // Вопросы кибернетики права. М.: Наука, 1967. - С. 36-60.

36. Гаврилов, O.A. Курс правовой информатики. Учебник для вузов / O.A. Гаврилов. М.: Изд-во НОРМА, 2002. - 432 с.

37. Галицких, Е.О. Интегративный подход как теоретическая основа профессионально-личностного становления будущего педагога в университете: Автореф. дпссдокт. пед. наук. СПб., 2002. - 43 с.

38. Гершунский, B.C. Компьютеризация в сфере образования: проблемы и перспективы / B.C. Гершунский. М.: Педагогика, 1987. - 263 с.

39. Гессен, С.И. Основы педагогики. Введение в прикладную философию / С.И. Гессен. М.: Школа-пресс, 1995. - 448 с.

40. Гетманова, А.Д. Логика: Учебник для студентов вузов / А.Д. Гетма-нова. 8-е изд. -М.: Омега-Л, 2005.-416 с.

41. Гласс, Дж. Статистические методы в педагогике и психологии: Пер. с англ. / Дж. Гласс, Дж. Стенли. М.: Прогресс, 1976. - 495 с.

42. Горелик, А.Л. Методы распознавания / А.Л. Горелик, В.А. Скрипкин. М.: Высшая школа, 1989. - 232 с.

43. Горский, Д.Г1. Краткий словарь по логике / Д.П. Горский, A.A. Ивин, А.Л. Никифоров. М.: Наука, 1975. - 720 с.

44. Государственный образовательный стандарт высшего профессионального образования. Специальность «Прикладная информатика (по областям)». М, 2000. - 32 с.

45. Грабарь, М.И. Применение математической статистки в педагогических исследованиях. Непараметрические метода / М.И. Грабарь, К.А. Крас-нянская. М.: Педагогика, 1977. - 136 с.

46. Гребенюк, О.С. Педагогика индивидуальности: Курс лекций. 2-е изд. / О.С. Гребенюк. Калининград: изд-во Калинингр. ун-та, 2002. - 93 с.

47. Гусев, Д.А. Заметки о логической культуре преподавателя / Д.А. Гусев // Наука и школа. 2004. - №2. - С. 2-7.

48. Давыдов, В.А. Психологический словарь / Под ред. В.В. Давыдова, A.B. Запорожца, Б.Ф. Ломова и др. М.: Педагогика, 1983. - 448 с.

49. Дорофеев, Г.В. О принципах отбора содержания школьного математического образования / Г.В. Дорофеев // Математика в школе. 2000. - №2. -С. 2-5.

50. Дорофеев, Г.В. О мониторинге в X классе / Г.В. Дорофеев, О.С. Медведева, Е.А. Седова // Математика в школе. 2002. - №10. - С. 3-13.

51. Дудковская, И.А. Проектирование курса математической логики с целью формирования компетентности будущих учителей математики: Автореф. дис. на соиск. учен. степ. канд. пед. наук. Новосибирск, 2004. - 17 с.

52. Дьяченко, Г.М. Компетептностный подход к формированию логической культуры учащихся в процессе обучения информатике: Дис. . канд. пед. наук. Омск, 2005. - 160 с.

53. Дьяченко, М.И. Психология высшей школы: Учебное пособие для вузов / М.И. Дьяченко, Л.А. Кандыбович. 2-е изд., перераб. и доп. - Минск: Изд-во БГУ, 1981.-383 с.

54. Ермакова, О.Б. Как научить «лириков» логике / О.Б. Ермакова // Школьные технологии. 2007. - №1. - С. 44-47.

55. Железовская, Г.И. Понятийное диалектическое мышление у студентов: Педагогическая технология и диалектический анализ: Научное издание / Под ред. В.П. Беспалько / Г.И. Железовская. — Саратов: Изд-во Сарат. ун-та, 1993.- 136 с.

56. Жоль, К.К. Логика в лицах и символах / К.К. Жоль. М.: Педагогика-Пресс, 1993.-256 с.

57. Жоль, К.К. Логика для юристов: Учеб. пособие для вузов / К.К. Жоль. М.: ЮНИТИ-ДАНА, 2004. - 287 с.

58. Загвязинский, В.И. Методология и методы психолого-педагогического исследования: учеб. пособие для студ. высш. учеб. заведений /

59. В.И. Загвязинский, Р. Атаханов. 3-е изд., испр. - М.: Издательский центр «Академия», 2006. - 208 с.

60. Заде, JI. Понятие лингвистической переменной и его применение к принятию приближенных решений. Пер. с англ. / JI. Заде.- М.: Мир, 1976. -165 с.

61. Зимняя, И.А. Педагогическая психология / И.А. Зимняя. М., 1997. - 506 с.

62. Иванов, Е.А. Логика. Учебник / Е.А. Иванов. М.: Изд-во БЕК, 1996.-309 с.

63. Ивнн, A.A. Логика для юристов: Учебное пособие / A.A. Ивин. -М.: Гардарики, 2005. 288 с.

64. Ивин, A.A. Логика норм / A.A. Ивин. Изд-во Моск. ун-та, 1973.121 с.

65. Ивин, A.A. Практическая логика: Задачи и упражнения / A.A. Ивин. -М.: Просвещение, 1996. 128 с.

66. Ивлев, Ю.В. Основания логики норм / Ю.В. Ивлев // Философские науки. 1969. - №6. - С. 72-81.

67. Ивлев, Ю.В. Модальная логика / Ю.В. Ивлев. — М.: Изд-во Моск. ун-та, 1991.-221 с.

68. Ивлев, Ю.В. Логика для юристов (Сер. "Росс, право: теория и практика") / Ю.В. Ивлев. М.: Дело, 2001. - 264 с.

69. Игошин, В.И. Математическая логика в системе подготовки учителей математики / В.И. Игошин. Саратов: Изд-во Слово, 2002 — 240 с.

70. Игошин, В.И. Математическая логика и теория алгоритмов / В.И. Игошин. М.: Академия, 2004. - 448 с.

71. Игошин, В.И. Логика с элементами математической логики / В.И. Игошин. Саратов: Научная книга, 2004. - 144 с.

72. Игошин, В.И. Задачи и упражнения по математической логике и теории алгоритмов / В.И. Игошин. М.: Академия, 2005. - 256 с.

73. Инновационные процессы в образовании / Под ред. В.И. Загвязин-ского. Тюмень: Изд-во ТГУ, 1990. - 98 с.

74. Кайберг, Г. Вероятность и индуктивная логика. Пер. с англ. / Г. Кайберг. — Москва.: «Прогресс», 1978. 373 с.

75. Кабанова-Меллер, E.H. Формирование приемов умственной деятельности и умственное развитие учащихся / E.H. Кабанова-Меллер. М.: «Просвещение», 1968. — 288 с.

76. Кененов, А. Логические основы законотворческого процесса /

77. A. Кененов, Г. Чернобель // Известия вузов: Правоведение. 1991. - №6. -С. 71-76.

78. Кириллов, В.И. Логика: Учебник для юридич вузов /

79. B.И. Кириллов, A.A. Старченко. Изд. 5-е, псрераб. и доп. - М.: Юристъ, 2004. - 256 с.

80. Кириллов, В.И. Упражнения по логике: учеб. пособие / Под ред. В.И. Кириллова / В.И. Кириллов, Г.А. Орлов, Н.И. Фокина. 5-е изд., перераб. и доп. - М.: ТК Велби, Изд-во Проспект, 2006. - 184 с.

81. Кнапп, В. Логика в правовом сознании. Автор, перевод / Под ред. и со вступ. ст. А.Б. Венгерова / В. Кнапп, А. Герлах. М.: Прогресс, 1987. - 311 с.

82. Ковальски, Р. Логика в решении проблем. Пер. с англ. Серия: Проблемы искусственного интеллекта / Р. Ковальски. М.: Наука, 1990. - 280 с.

83. Коган, В.М. К вопросу о формализации отрасли права / В.М. Коган // Вопросы кибернетики права. М.: Наука, 1967. - С. 100-114.

84. Колесникова, И.А. Педагогическое проектирование: Учеб. пособие для высш. учеб. заведений / Под ред. И.А. Колесниковой / И.А. Колесникова, М.П. Горчакова-Сибирская. М.: Издательский центр «Академия», 2005. -288 с.

85. Кондаков, Н.И. Логический словарь-справочник / Н.И. Кондаков. -2-е изд., испр. и доп. М.: «Наука», 1976. - 720 с.

86. Королева, J1.B. Проектирование содержания межпредметного спецкурса для студентов физико-математических специальностей педвузов / JI.B. Королева, Jl.O. Ковтун // Наука и школа. 2004. - №3. - С. 26-29.

87. Коротенков, Ю.Г. Элементы формальной логики в приложении к правовым системам / Ю.Г. Коротенков // Информационные технологии в предметной области. Вып. II. М.:МГПУ, 2004. - С. 12-27.

88. Крутецкий, В.А. Психология математических способностей школьников: книга для учителей и кл. рук. / В.А. Крутецкий. М.: Просвещение, 1976.-303 с.

89. Крылова, Н.Б. Формирование профессиональной культуры будущего специалиста / Н.Б. Крылова. М.: Высш. шк., 1990. - 140 с.

90. Крюкова, Е.А. Законы формальной логики и язык законодательных актов / Е.А. Крюкова // Правовая политика и правовая жизнь. 2001. - №4. -C.16I-163.

91. Кузина, Е. Б. Логика в кратком изложении и упражнениях / Е. Б. Кузина. М.: Изд. МГУ, 2000. - 240 с.

92. Кудрявцев, Л.Д. Современная математика и её преподавание / Л.Д. Кудрявцев. М.: Наука, 1985.- 176 с.

93. Лавров, И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А. Лавров, Л.Л. Максимова. — М.: Наука, 1975. 240 с.

94. Лаптев, В.В. Методическая система фундаментальной подготовки в области информатики: теория и практика многоуровневого педагогического университетского образования / В.В. Лаптев, М.В. Швецкий. — СПб.: Изд-во Санкт-Петербургского уп-та, 2000. 508 с.

95. Леонтьев, А.Н. Деятельность. Сознание. Личность. / А.Н. Леонтьев. -М.: Политиздат, 1975. 304 с.

96. Лернер, И .Я. Развитие мышления учащихся в процессе обучения истории: пособие для учителей / И.Я. Лернер. — М.: Просвещение, 1982. 191 с.

97. Лисанюк, E.H. Что дозволено Юпитеру с точки зрения логики? / E.H. Лисанюк // Вестник МГТУ. 2002. - Том №5. - №3. - С. 373-380.

98. Лыскова, В.Ю. Логика в информатике / В.Ю. Лыскова, Е.А. Раки-тина. М.: Изд-во "БИНОМ. Лаборатория знаний", 2001. - 160 с.

99. Львов, М.Р. Формирование грамматических понятий у младших школьников / М.Р. Львов // Начальная школа, 1981. № 11.

100. Мельничук, О. Модель специалиста (к вопросу о гуманизации образования) / О. Мельничук, А. Яковлева // Высшее образование в России. 2000. -№5.-С. 19-25.

101. Мендельсон, Э. Введение в математическую логику / Э. Мендельсон. М.: Наука, 1976. - 320 с.

102. Михалкин, Н.В. Логика и аргументация в судебной практике: Учебник для вузов / Н.В. Михалкин. СПб: Питер, 2004. - 336 с.

103. Никольская, И.Л. О единой линии воспитания логической грамотности при обучении математике / И.Л. Никольская // Преемственность в обучении математике: Сб. статей. М., 1978. - С. 24-35.

104. Общая психология: Курс лекций по психологии для первой ступени пед. образования / Сост. Е.И. Рогов. М.: ВЛАДОС, 1995. - 448 с.

105. Ожегов, С.И. Толковый словарь русского языка. 2-е изд., испр. и доп. / С.И. Ожегов, Н.Ю. Шведова. М., 1999. - 955 с.

106. Пайсон, Б.Д. О логической составляющей образовательной области «Математика» / Б.Д. Пайсон // Математика в школе. 2003. - №2. - С. 10-14.

107. Педагогика профессионального образования / Под ред. В.А. Сла-стенина / Е.П. Белозерцев, А.Д. Гонеев, А.Г, Пашков и др. М.: Издательский центр «Академия», 2004. - 368 с.

108. Педагогика: педагогические теории, системы, технологии. — М.: Академия, 1999. 512 с.

109. Педагогическая энциклопедия. Том Н-См. Изд-во «Советская энциклопедия». - М., 1966. - С. 549. ;

110. Педагогические технологии: Учебное пособие для студентов педагогических специальностей / Под общей ред. B.C. Куку шина. Серия «Педагогическое образование». - Ростов н/Д: Изд. Центр «МарТ», 2002. - 320 с.

111. Петровский, A.B. Психология / A.B. Петровский, М.Г. Ярошевский. М.: Изд. Центр «Академия», 2001. - 512 с.

112. Подгорецкая, H.A. Изучение приемов логического мышления у взрослых / H.A. Подгорецкая М.: Изд-во Моск. ун-та, 1980. - 150 с.

113. Подласый, И.П. Педагогика: Новый курс: Учеб. для студ. высш. учеб. заведений: В 2 кн. / И.П. Подласый М.: Гуманит. изд. Центр ВЛАДОС, 2003. - Кн. 1 : Общие основы. Процесс обучения. - 576 с.

114. Пойа, Д. Математическое открытие. Пер. с англ. / Д. Пойа. — М.: Наука, 1970.-452 с.

115. Поспелов, Д.А. Моделирование рассуждений. Опыт анализа мыслительных актов / Д.А. Поспелов. М.: Радио и связь, 1989. - 184 с.

116. Правовая информатика и кибернетика. Учебник. / Под ред. Н.С. Полевого М.: Юрид. лит., 1993 - 528 с.

117. Пустоваченко, H.H. Способы решения логических задач / H.H. Пус-товаченко // Информатика и образование. 2005. - №12. - С.33-43.

118. Решанова, В.И. Развитие логического мышления учащихся при обучении физике: Кн. для учителя / В.И. Решанова. М.: Просвещение, 1985. -93 с.

119. Роберт, И.В. Современные информационные технологии в образовании: дидактические проблемы; перспективы использования / И.В. Роберт. -М.: Школа-Пресс, 1994. 321 с.

120. Розен, В.В. Дедуктивные умозаключения: Учебное пособие / В.В. Розен. СПб, 1998. - 60 с.

121. Рыжов, А.П. Об одном методе выбора множества шкальных значений нечётких лингвистических шкал / А.П. Рыжов // Всесоюзная конференция по искусственному интеллекту, тезисы докладов. Т.1. Переславль-Залесский, 1988 г.-С. 521-525.

122. Сафарова, P.C. Формирование информационно-логической культуры учащихся в современной школе: Дис. . канд. пед. наук. Тюмень, 2005. -188 с.

123. Севостьянова, С.А. Совершенствование логической подготовки студентов математических факультетов педвузов. Дисс. .канд. пед. наук. -СПб., 1996.- 139 с.

124. Селевко, Г.К. Образовательные технологии. Уч. пособие / Г.К. Се-левко. М.: Нар. Образ., 1998. - 256 с.

125. Сергеева, С.Г. Профильная интеграция в информационной подготовке будущих юристов. Дисс. .канд. пед. наук. Великий Новгород, 2003. -176 с.

126. Сериков, В.В. Личностно ориентированное образование / В.В. Сериков // Педагогика. 1994. - №5.- С. 16-21.

127. Слинин, Я.А. Современная модальная логика / Я.А. Слинин. Л.: Изд-во Ленин, ун-та, 1976. - 103 с.

128. Смаллиан, Р. Как же называется эта книга? / Пер. с англ. Предисл. Ю.А. Данилова / Р. Смаллиан. М: Издательский Дом Мещерякова, 2007. — 272 с.

129. Смирнов, С.Д. Педагогика и психология высшего образования: От деятельности к личности: Учеб. пособие для студ. высш. учеб. заведений / С.Д. Смирнов. 2-е изд., перераб. и доп. - М.: Издательский центр «Академия», 2005.-400 с.

130. Смирнова, Е.Э. Пути формирования специалиста с высшим образованием / Е.Э. Смирнова. Л.: Изд-во ЛГУ, 1977. - 136 с.

131. Сорина, Г.В. Логика в системе культуры / Г.В Сорина, B.C. Меськов //Вопросы философии. 1996. - №2. -С.93-103.

132. Старченко, A.A. Логика в судебном исследовании / A.A. Старченко. М.: Госюризд., 1958. - 235 с.

133. Столяр, A.A. Зачем и как мы доказываем в математике: беседы со страшеклассниками / A.A. Столяр. Минск.: Народная асвета, 1987. — 142 с.

134. Стяжкин, 1Т.И. Логика с элементами математической логики: Учеб. пособие для студентов. Под ред. В.Т. Осипова и Н.И. Кондакова / Н.И. Стяжкин.-М., 1974.- 163 с.

135. Талызина, Н.Ф. Теоретические основы разработки модели специалиста / Н.Ф. Талызина. М., 1986. - 108 с.

136. Тамер, О.С. Проектирование и реализация системы профильной дифференциации математической подготовки студентов технических и гуманитарных специальностей университета. Автореф. дисс. .докт. пед. наук. Тольятти, 2002. - 40 с.

137. Тарасова, И.М. Проектирование математической подготовки студентов нематематических специальностей классического университета. Дисс. .канд. пед. наук. Владивосток, 2006. - 217 с.

138. Тейз, А. Логический подход к искусственному интеллекту: от классической логики к логическому программированию. Пер. с фр. / А. Тейз, Т. Грибомон, Ж. Луп. М.: Мир, 1990. - 482 с.

139. Тельтевская, Н.В. Формирование системы профессионально-педагогических знаний. Теоретический аспект / Н.В. Тельтевская. Саратов: Изд-во Сарат. ун-та, 2002. - 127 с.

140. Тимофеева, И.Л. Методическая система обучения студентов педагогических вузов математической логике на основе теории естественного вывода. Автореф. дисс. . .докт. пед. наук. Москва, 2006. - 40 с.

141. Тихомиров, O.K. Психология мышления: учеб. пособие, для студ. высш. учеб. заведений / O.K. Тихомиров. 3-е изд., стер. — М.: Издательский центр «Академия», 2007. — 288 с.

142. Трофимова, М.В. Педагогические условия подготовки информатика (с квалификацией в области) к выполнению основных видов профессиональной деятельности. Дисс. .канд. пед.наук. Ставрополь, 2006. - 187 с.

143. Уемов, А.И. Основы практической логики с задачами и упражнениями / А.И. Уемов. Одесса: Одесский гос. ун-т им. И.И. Мечникова, философское отделение ИСН, 1997. - 388 с.

144. Фарбер, И.Е. Очерки вузовской педагогики / И.Е. Фарбер. Саратов: Изд-во Сарат-го ун-та, 1984. - 252 с.

145. Федоров, Б.И. Элементы логической культуры / Б.И. Федоров, E.H. Зубань, Г.П. Любимов, В.Е. Никитин. СПб.: Спец. лит-ра, 1996. - 184 с.

146. Федотова, E.JI. Формирование готовности студентов к использованию информационно-компьютерных технологий в профессиональной деятельности (в области юриспруденции). Дисс. .канд. пед. наук. — Москва, 2005. — 230 с.

147. Фейс, Р. Модальная логика / Пер. с англ / Р. Фейс М., 1974.520 с.

148. Философский энциклопедический словарь / Под ред. А.Ф. Ильичева и др. М.: Совет, энциклопедия, 1983. — 840 с.

149. Фурсов, В.К. Развитие логического мышления учащихся в процессе преподавания физики в старших классах: Автореферат дисс.канд. пед. наук. -Баку, 1970.- 15 с.

150. Хинчин, А .Я. О воспитательном эффекте уроков математики / А.Я. Хинчин // Математика как профессия (О воспитательном эффекте математического образования). М.: Знание, 1980. - 64 с.

151. Хмель, Н.Д. Педагогический процесс как объект деятельности учителя / Н.Д. Хмель. Алма-Ата. 1978. - 115 с.

152. Ходаков, Ю.В. Развитие логического мышления на уроках химии / Ю.В. Ходаков. М.: Изд-во АПНРСФСР, 1958. - 47 с.

153. Чекалева, Н.В. Современные теории и технологии образования: Учебное пособие / Н.В. Чекалева. Омск,41993. - 171 с.

154. Черепанов, B.C. Экспертные оценки в педагогических исследованиях. М.: Педагогика, 1989. - 152 с.

155. Чубукова, С.Г. Основы правовой информатики (юридические и математические вопросы информатики): Учебное пособие / Под ред. д. юрид.наук, профессора М.М. Рассолова / С.Г. Чубукова, В.Д. Элькип М.: Юридическая фирма «КОНТАКТ», 2004. - 252 с.

156. Шамова, Т. И. Управление образовательными системами: Учеб. пособие для студ. высш. учеб. заведений. Под ред. Т. И. Шамовой / Т. И. Шамова, Н.И. Третьяков, H. Н. Капустин. М.: Гуманит. изд. центр ВЛАДОС, 2002. -320 с.

157. Шапиро, С.И. Решение логических задач и игровых задач / С.И. Шапиро. -М.: Радио и связь, 1984. 153 с.

158. Шмелева, С. Информатика в юриспруденции / С. Шмелева // Высшее образование в России. 2002. - №6. - С. 52-54.

159. Якиманская, И.С. Развивающее обучение / И.С. Якиманская. М.: Педагогика, 1979. - 110 с.

160. Якиманская, И.С. Требования к учебным программам, ориентированным на личностное развитие школьников/ И.С. Якиманская // Вопросы психологии. 1994. - №2. - С. 64-77.

161. Якобсон, П.М. Психологические проблемы поведения человека / П.М. Якобсон. М.: Просвещение, 1969. - 300 с.

162. Яковлева, Е. Некоторые аспекты формирования логической культуры в процессе профессиональной подготовки / Е. Яковлева // Aima mater: Вестник высшей школы. 2006. - №7. - С. 50-52.

163. Яшин, Б.Л. Задачи и упражнения по логике / Б.Л. Яшин. — М.: Гуманит. изд. центр ВЛАДОС, 1996. 224 с.

164. Basson A.H., O'Conner D.J. Introduction to symbolic logic. — London: Univ. Tutorial Press, 1962. 175 p.

165. Gamut L.T. Logic, language, and meaning. Vol. 1: Introduction to logic. - Chicago, London: Univ. of Chicago Press, 1991. - XI, 282 p.

166. Что побуждает Вас посещать занятия по логике?

167. Обстоятельства жизни: требуют родители, преподаватель и др.

168. Стремление получить хорошие оценки.

169. Считаю, что знания всегда пригодятся в жизни.

170. Нравится учиться, интересует содержание изучаемой дисциплины.1.. Какое значение имеет изучение логики для Вашей будущего?5. Никакого.

171. Образование может пригодиться в жизни.

172. Учусь, чтобы найти хорошую работу.

173. Есть желание узнать как можно больше для своего общего развития.

174. I. Если бы ввели свободное посещение занятий, как часто Вы пропускали бы занятия по логике?

175. Большинство занятий не посещал бы.

176. Не посещал бы половину занятий.

177. Иногда бы пропускал занятия.

178. Постарался бы посещать большинство занятий.1.. Как вы объясняете свое отношение к учению?

179. Нельзя не учиться, иначе неприятностей не оберешься.

180. Учусь из уважения к требованиям родителей, преподавателей.

181. Считаю своим долгом хорошо учиться.

182. Считаю учение в данный период своей жизни наиболее важным, самым нужным своим делом.

183. V. Как Вы объясни те свое отношение к работе на занятиях по логике, при выполнении домашнего задания

184. Активно работаю редко когда должны спросить.

185. Проявляю активность, чтобы не отстать от однокурсников, чтобы выглядеть не хуже других.

186. Активно работаю на тех занятиях, которые выделяю как важные длясебя.

187. Часто проявляю активность, так как само учение доставляет мне удовольствие.

188. VI. Какая учебная деятельность Вам больше всего правится на занятиях по логике?

189. Слушать объяснения преподавателя, выступления своих однокурсников.

190. Выполнять такие задания, где все понятно и не требуется слишком много времени и сил.

191. Выполнять такие задания, которые заставляют много думать, анализировать.

192. Нравятся сложные задания, когда не знаешь, как к ним подступиться.

193. VII. Есть ли у вас интерес к логике?25. Нет интереса.26. Интересны отдельные темы.

194. Дело не в предмете, а в необходимости его знания для будущего. Поэтому логика интересна.

195. Чувствую потребность знать логику больше, чем дается в учебниках.

196. Интересны те занятия, где достаточно много занимательных фактов, много нового, необычного.

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

198. Мне интересны только отдельные занятия.

199. Я увлечен, изучаю логику глубоко.

200. VIII. Дополнительные вопросы:

201. Часто ли у Вас бывает такое состояние па занятиях, что ничего не хочется делать?

202. Нравится ли Вам выполнять работу по образцу?

203. Считаете ли Вы, что при выполнении задания главное это получить результат, неважно каким способом?

204. Часто ли, встретившись с трудным заданием, Вы стремитесь самостоятельно с ним справиться?

205. Часто ли пользуетесь возможностью списать задание у товарищей?

206. Можно ли сказать, что Вас интересуют только те задания, с которыми наверняка справитесь?

207. Любите ли Вы задания, требующие долгих размышлений?

208. Любите ли Вы задания творческого характера.

209. Можно ли сказать, что Вам трудно дается изучение логики?

210. Можно ли сказать, что Вы свободно владеете знаниями только двух-трех тем?

211. Молено ли утверждать, что Вы свободно разбираетесь в большинстве тем?

212. Можно ли сказать, что Вы глубоко разбираетесь в нескольких темах, а в остальных не хуже, чем другие студенты?

213. Отношение студентов к окончанию работы (рад окончанию, огорчен ит.д.).

214. Отношение студентов к помощи преподавателя, советам товарищей, их оценкам.

215. Темп вхождения, включения в деятельность (быстро ориентируется в предстоящей деятельности и принимает ее; ориентируется, но не принимает ее; не хочет делать; ставит цели; стремится планировать свои действия и т.д.).

216. Качество знаний (объем, полнота, фактическая точность, понимание, осмысленность, прочность усвоенного материала, умение решать "нестандартные" задачи, успешность выполнения заданий, быстрота актуализации нужных знаний). >1. Анкета

217. Самооценка логических знаний и умений в профессиональной деятельности информатика-юриста

218. Какова, по Вашему мнению, роль логики в профессиональной деятельности информатика-юриста (можно отметить несколько ответов)

219. Логика учит умению мыслить последовательно, непротиворечиво, не делать ошибок в своих рассуждениях и находить их в рассуждениях других.

220. Логика учит умению опровергать необоснованные аргументы оппонентов, вскрывать противоречия в показаниях свидетелей, обвиняемого, потерпевшего и т.п.

221. Логика помогает последовательно обоснованно и непротиворечиво составлять официальные документы (протоколы, приказы, договоры и т.д.), а также подготовить логически стройное и хорошо аргументированное устное выступление.

222. Формализовать информацию, символически представить юридические знания в памяти компьютера.

223. Совершенствовать логическую структуру правовой нормы, законов и других нормативно-правовых актов.

224. Другой вариант (напишите).

225. Считаю, что формирование моей логической готовности к профессиональной деятельности. (можно отметить несколько ответов)

226. Даёт возможность ориентироваться в современном информационном пространстве.

227. Делает работу информатика-юриста более продуктивной.

228. Более глубоко приобщает к логической культуре.

229. Даёт возможность действовать более самостоятельно.

230. Способствует реализации моих возможностей и способностей.

231. Полезно и необходимо для общего развития.

232. Другой вариант (напишите).

233. Приведите примеры правовых задач, которые можно решать с помощью средств логики.

234. Оцените по 5-ти бальной шкале свои знания и умения в области профессионально-логической деятельности информатика-юриста

235. Шкала: 0 знания и умения отсутствуют полностью, 5 - знаю, умею делать качественно и быстро1. Знание, умение Самооценка

236. Использовать современные математические методы в юриспруденции

237. Употреблять математическую символику для выражения количественных и качественных отношений объектов;

238. Представления о современных алгоритмических языках

239. Знать методы и средства разработки алгоритмов и программ на языке высокого уровня

240. Уметь решать формализуемые задачи

241. Могу свертывать информацию (составлять схемы, таблицы, рисунки)

242. Могу отбирать необходимую информацию для профессиональной деятельности

243. Могу представить информацию разными способами

244. Могу выявлять из неопределенной проблемной ситуации задачу и корректно ее сформулировать

245. Могу точно оценивать противоречия и целенаправленно разрешать их

246. Умею ориентироваться в нестандартных условиях и ситуациях, анализировать возникающие проблемы, разрабатывать и осуществлять план действий12 Умею выдвигать гипотезы

247. Обладаю культурой мышления, знаю его общие законы.

248. Считаете ли Вы, что последующее умение решать учебно-профессиональные задачи зависит от уровня сформированности Вашей готовности к их решению (отметьте один ответ): да, нет, не знаю, не задумывался.

249. Считаете ли Вы формирование и развитие логической культуры информатика-юриста неотъемлемой частью его профессиональной культуры в целом (отметьте один ответ): да, в большей степени, в меньшей степени, нет,

250. Считаете ли Вы актуальным для себя дальнейшее изучение логических аспектов профессиональной деятельности информатика-юриста, например, в курсе по выбору или на спецкурсе (отметьте один ответ): да, нет, не знаю.

251. Содержание дисциплины Тема1. Введение в деонтическую логику.

252. Минимальная система деонтической логики. Парадоксы абсолютных деонтических систем.

253. Тема 3. Относительные деонтические системы.

254. Относительные деонтические системы. Отношения между абсолютными и относительными логиками.

255. Тема 4. Прикладные вопросы логики норм.

256. Проблемы развития современной деонтической логики. Логическая структура нормы права. Логическая модель правовой нормы. Композиционные модели правовых норм1. Литература

257. Иванов, Г.И. Композиция логических моделей правовых норм / Г.И. Иванов, Н.Б. Ельчанинова // Юридический сборник. Теория права и правовая информатика. Выпуск 1. Таганрог: Изд-во ТРТУ, 2000. - С. 101-118.

258. Ивин, A.A. Логика для юристов: Учебное пособие / A.A. Ивин. М.: Гарда-рики, 2005.-288 с.

259. Ивин, A.A. Логика норм / A.A. Ивин. М.: Изд-во Моск. ун-та, 1973. - 121 с.

260. Ивлев, Ю.В. Основания логики норм / Ю.В. Ивлев // Философские науки, 1969. №6.-С. 72-81.

261. Коган, В.М. К вопросу о формализации отрасли права / В.М. Коган // Вопросы кибернетики права. М.: Наука, 1967. - С. 100-114.

262. Лисанюк, E.H. Что дозволено Юпитеру с точки зрения логики? / E.H. Лиса-нюк // Вестник МГТУ. Том №5. - №3. - 2002. - С. 373-380.

263. Пример занятия из темы 4, Прикладные вопросы логики норм

264. Логическое моделирование нормы права

265. Логической моделью элементарной нормы права называется совокупность четырех объектов: А = (С,О.С.Р^ еС,с1 е й/с е С')), где Си О входные алфавиты, а С - выходной алфавит;

266. Все элементы и сеС являются либо отдельными предикатами, либо предикатными формулами и принимают значения «истина» или «ложь» (1 или 0).

267. Так как с2 =->с,, g2 с12 =-!*/,, то переобозначив с, = с, g. = g , =<1входные и выходные алфавиты можно представить следующим образом:

268. С = {£>-■£}» ° = К ^}» с = {с> »

269. Построим таблицу истинности отображения е С,с1 е £>/с е С):8 £/ с0 0 00 1 01 0 11 1 0

270. Из таблицы видно, что санкция принимает значение истины только тогда, когда имелись в наличии условия применения правовой нормы ^ = 1 и диспозиция была нарушена с/ = 0. Значит, с = # л .

271. Отображение Т7 можно задать двумя способами:а) аналитическое представлениеб) в матричной формес1-1 с с-1 с -пС

272. В обеих формах представления отображение Г паре где-пс/е£), ставит в соответствие элемент се С, обозначающий применение санкции. Всем остальным парам отображение F ставит в соответствие элемент -лсеС, обозначающий отсутствие применения санкции.

273. Кроме логической модели элементарной нормы права существует логическая модель сложной нормы права.

274. Пусть заданы две логические модели элементарных норм права: А. (я, е е £>, /с, еС,)) Л2 =(С2 еС2,с/2 еД/с, е С,))отображения которых представлены в матричной форме:4 —1Й?, с12 1£/8\ -■с, С1 -,с2-пС, -■с, —16*2 —1С

275. Определение 2. Логической моделью сложной нормы права (СНП) называется модель А = (О, еС,с! е Б/с е С)), эквивалентную композиции двух логических моделей элементарных норм права А / и А2.

276. Композиционные модели правовых норм

277. При композиции моделей элементарных норм (ЭНП) права для получения модели сложной нормы права (СНП) может использоваться два варианта их соединения: параллельное и последовательное.1. Параллельное соединение

278. При параллельном соединении двух моделей ЭНП Aj и А2 модель СНП A = (G,D,C,F{g eG,d е DI с е С)) определяется путем их прямого декартового произведения: А = А, х А-,.

279. В этом случае входные и выходные алфавиты определяются следующим образом:

280. G = G, х G2 = {(g,, g2), (g,, -,g2), (-.g,, g2), (—.g-,,)};

281. D = D, x D2 = {(dl, d2), (с/,, -id2), (~>dl, d2), (~,d., ->d2)};

282. С = С, X C2 = {(с,, C2 ), (с,, -iC2 ), (—iC'| , с2), (—.c,, ->c2)}.

283. В общем случае, когда производится параллельное соединение п моделей ЭНП, модель СНП A = (G,D,C.F(g eG,d е D/ceC)) будет определяться следующим образом:

284. А = I = {l,2,.,«}, где /? количество соединяемых моделей ЭНП;е/

285. G = YG„ D = Y[D„ С = У\С,. ^ = RA=YlRi.е/ iel /е/ к/ /с/

286. Последовательное соединение

287. При последовательном соединении двух моделей элементарных норм права А / и А2 выход предыдущей модели является одним из входов последующей.С1. Ы„82)1. А, с,= -<¿2 А,