медицина/13. Подготовка медицинских работников в вузах

к.фарм.н.ГабриелянН.В., д. фарм. н. АндрееваИ.Н., д. фарм. н. ПарфейниковС.А., д. физ.матем.н. МосквитинА.А., к.фарм.н.Бережная Е.С.

Пятигорская Государственная фармацевтическая академия, Россия

Роль задачного подхода при формировании информационной культуры у студентов фармацевтического ВУЗа.

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

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

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

Если задачу ставят в терминах языка математической логики, то можно выделить класс формульных задач на доказательства и формульных задач на построение. Пусть s(éj ù, x) -терм в L такой, что арифметическое значение s(éjù, n) есть гёделевский номер высказывания, полученного из формулы j(x) подстановкой цифры n вместо x. Тогда формульную задачу можно определить следующим образом.

Определение 1. Упорядоченная пара j  = (S, j), где j  произвольная формула в языке L, содержащая точно одну свободную переменную, называется формально осмысленной задачей, если и только если произвольная формальная теория S и j  удовлетворяют следующим условиям («условиям осмысленности»):

1)   S  непротиворечива;

2)   S |- "x(PrS (s(éj ù, x)) Ú PrS (s(éØj ù, x)));

3)   S |- "x(PrS (s(éj ù, x)) ® j( x));

4)   S |- "x(PrS (s(éØj ù, x)) ® Øj( x)).

Здесь PrS (×) — любой стандартный предикат доказуемости для  S.[1]

Определение 2. Если j  = (S, j) — формально осмысленная задача, то S называется j - проблемной системой, j — формулировкой для j.

Определение 3. Если j  = (S, j) — формально осмысленная задача, то натуральное число n называется решением (или не - решением) (для) j тогда и только тогда, когда j(n) (или  Øj(n)).  Мотивировать эти определения можно, например, так.  Касаясь специфики теоретического желания, делающей его задачей, что нужный для осмысления задачи запас убедительных для нас рассуждений поддаётся формализации в виде множества всех доказательств в некоторой элементарной теории. Подразумеваемая роль j - проблемной системы S — быть именно такой теорией.  В этом случае определение 3 и условие 2) определения 1 совместно говорят: мы уверенны (S |- …), что всякий текст ("x …) мы сможем или убедительно распознать (PrS (…) ) как решение задачи j  (  PrS (s(éj ù x)) ), или убедительно распознать как не-решение этой задачи (  PrS (s(éØj ù, x)) ).  Определение 3 и условия 1) и 3) определения 1 совместно говорят: мы уверены, что всякое решение задачи j  для нас обязательно убедительно.  Определение 3 и условия 1) и 4) определения 1 совместно говорят: мы уверенны, что всякое не-решение задачи j  для нас также обязательно убедительно.

Все задачи можно делить на два класса: теоретические и практические. Теоретическими считаются задачи, решением которых является текст на заранее выбранном языке. Практическими будем считать те задачи, решением которых является пара текст + (например) эксперимент, потому что их решением является текст на одном из языков программирования и описание программы (тоже текст, но на естественном языке). Возвращаясь к задачному подходу,  при обучении студентов мы говорим, что «имеем дело с конкретной задачей», и  стремимся к двум вещам. Сначала дать корректную постановку задаче (точно сформулировать, понять и т.д. задачу), а затем найти решение.

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

Литература.

1.        Ершов Ю.Л., Палютин Е.А. Математическая логика: Учеб. пособие для вузов. - М., 1979 г., 320 с.