2. Система методов преподавания информатики в школе. (Группы, методы)

Система методов преподавания информатики делится на группы:

1гр. По способу деятельности и степени самостоятельности:

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

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

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

Он формирует черты творческой деятельности, что является условием интереса);

2гр. По предъявлению материала:

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

-наглядный;

-практический;

3гр. Модельный метод Аганесяна: исходное состояние - промежуточная деятельность-результат;

-проблемный метод (Учитель ставит проблему, сам ее решает, но при этом показ-т пути решения, раскрывает ходы решения);

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

3. Строка содержит одно слово. Проверить, будет ли оно читаться одинаково справа налево и слева направо (т.Е. Является ли оно палиндромом).

program lab50;

var

word: string;

j: integer;

sim: boolean;

begin

writeln('Vvedite stroku');

readln(word);

sim := true;

for j := 1 to length(word) div 2 do

sim := sim and (word[j] = word[length(word) - j + 1]);

if sim then writeln('palindrom') else writeln('ne palindrom');

end.

Билет №37

1. Высказывательные формы (предикаты). Способы их задания. Логические операции над предикатами.

1. Предикат – это повествовательное законченное предложение, содержащее в себе один или несколько символов переменных величин, истинностное значение которого зависит от этих переменных величин : при конкретных значениях переменных он превращается в высказывание, которое может оказаться или истинным или ложным.

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

Пример: Наполеон – француз. Пусть М - множество всех земных людей. x M. Слово Наполеон заменим предметной переменной x из М и получим “x-француз”. Это высказывание при одних элементах из М будет истинным, а при других – ложным. “Сократ – француз” – ложно. “Де Бальзак - француз” – истинно.

N- местным предикатом, определённым на некотором множестве М называется выражение, которое всякому упорядоченному набору элементов <x₁,…, x_n> из М ставит в соответствие И или Л.

Обозначается: P (x₁,…, x_n), А (x₁,…, x_n).

Если зафиксировать все переменные: x₁=a₁,…, x_n=a_n, то предикат обращается в высказывание: P (а₁,…, а_n), А (а₁,…, а_n).

Пример:

1) Высказывание 3 < 2. Заменим 3 переменной х, получим x< 2, которое в области действительных чисел истинно тогда и только тогда, когда число меньше двух. Получим одноместный предикат x< 2. Заменим 2 переменной y:x<y – двуместный предикат.

2) x² + y² = 2*x*y – истинно только при x = y

Множество M назовём полем, и его элементы будем обозначать последними буквами латинского алфавита: x, y, z, … ,x₁, y₁ … . Эти символы неопределенных элементов и называются предметными переменными.

Начальные буквы латинского алфавита a, b, c, … , a₁, b₁… будут обозначать конкретные элементы из М и называется индивидуальными предметами.

A, B, C, … , U, V – обозначают элементарные высказывания. Выражения F(x), F(x, y), A(x, y , u), P (x₁,…, x_n) будут обозначать предикаты. Но F(a), F(a, b), A(a, a , b), P (a₁,…, a_n) уже будут элементарными высказываниями. Они же иногда называются значением соответствующего предиката.

Два n- местных предиката P₁ (x₁,…, x_n), P₂ (x₁,…, x_n) называются равносильными, если их значения на данном поле М совпадают.

Пример: x> 2 и предикат x – 2 > 0 равносильны.

Предикат P₁ (x₁,…, x_n) называется:

а) тождественно истинным, если его значение для любого набора из М истина;

б) тождественно ложным, если при любых наборах (x₁,…, x_n) из М она принимает значение ложь.

в) выполнимым, если существует по меньшей мере один набор (x₁⁰,…, x_n⁰) из М, то Р(x₁⁰,…, x_n⁰) = И.

Операции над предикатами

Поскольку предикаты являются высказываниями (переменными), то к ним применимы все операции алгебры высказываний (отрицание, конъюнкция, дизъюнкция, импликация и эквиваленция ) и при этом будут получаться новые предикаты. Отрицанием n – местного предиката | P (x₁,…, x_n), определённого на М называется новый предикат, определенный на том же множестве М, который истинен тогда и только тогда, когда Р ложен.

Обозначается: (P(x₁,…, x_n)) или P(x₁,…, x_n).

Аналогично определяется конъюнкция и дизъюнкция

В логике предикатов имеются ещё две новые операции: квантор всеобщности(1) и квантор существования(2).

(1) Пусть R(x) – вполне определённый предикат, принимающий значение 1(истина) или 0(ложь) для каждого элемента х предметной области M. Тогда под выражением xR(x) будем подразумевать высказывание истинное, когда R(x) истинно для каждого элемента x области M, и ложное в противном случае. Высказывание уже не зависит от x (произносится : для всякого х R(x) истинно). Символ x называется квантором всеобщности.

(2) Пусть R(x) – некоторый предикат. Мы свяжем с ним формулу xR(x), определив её значение как истину, если существует элемент области M, для которого R(x) истинно, и как ложь в противном случае. Знак x называется квантором существования. Кванторы x и x называются двойственными друг другу. Знак отрицания можно ввести под знак квантора, заменив квантор на двойственный:

x R(x) y R(y) иx R(x) y R(y)