Информатика - Сборник уроци по темата - Логика

Колекция от уроци по темата "Логика"

  1. Концепцията за науката "Логика".
  2. Алгебра на логиката. Основни понятия. Обхват на алгебра-логиката. Логически функции. таблици на истината.
  3. логически операции.
  4. Използване на логиката на изказването в технологиите. Логически схеми на контактни елементи.
  5. Характеристики на логическите елементи.
  6. Анализ, опростяване и синтез на контактни вериги.
  7. Логики.

Учител: Дерябина И.Н.

Концепцията за науката "Логика"

Целта на урока : да се дадат основните понятия на логиката, да се разгледат основните етапи в развитието на логиката като наука.

Напредък на урока :

Обяснение на новия материал:

Думаталогика обозначава набора от правила, на които се подчинява процесът на мислене или обозначава науката за правилата на разсъждението и формите, в които той се извършва. Логиката изучава абстрактното мислене като средство за познание на обективния свят, изследва формите и законите, в които светът се отразява в процеса на мислене. Основните форми на абстрактно мислене са:

КОНЦЕПЦИЯ - форма на мислене, която отразява съществените характеристики на отделен обект или клас хомогенни обекти: портфолио трапец ураган вятър

СЪДКА - мисъл, в която се потвърждава или отрича нещо относно обекти. Съжденията са декларативни изречения, верни или неверни. Те могат да бъдат прости или сложни: Дойде пролетта и дойдоха топовете.

ЗАКЛЮЧЕНИЕ - метод на мислене, чрез който се получават нови знания от първоначалните знания; от едно или повече верни съждения, наречени предпоставки, получаваме заключение съгласно определени правила за извод. Има няколко вида изводи. Всички метали -прости вещества. Литият е метал. Литият е просто вещество.

За да се стигне до истината с помощта на изводи, е необходимо да се спазват законите на логиката.

ФОРМАЛНАТА ЛОГИКА е наука за законите и формите на правилното мислене.

МАТЕМАТИЧЕСКАТА ЛОГИКА изучава логическите връзки и отношения, които са в основата на дедуктивното (логическо) заключение. (Книгите на кой писател са добри за дедуктивния метод?)

Формалната логика се занимава с анализа на нашите обичайни смислени заключения, изразени на разговорен език. Математическата логика изучава само изводи със строго определени обекти и съждения, за които може да се реши недвусмислено дали са верни или неверни.

Етапи на развитие на логиката

Първият етап се свързва с трудовете на учения и философ Аристотел (384-322 г. пр. н. е.). Опитвал се да намери отговора на въпроса "как разсъждаваме", изучавал "правилата на мислене". Аристотел е първият, който дава систематично изложение на логиката. Той анализира човешкото мислене, неговите форми - концепция, преценка, заключение и разглежда мисленето от страна на структурата, структурата, тоест от формалната страна. Така възниква формалната логика.

2-ри етап - появата на математическа или символна логика. Неговите основи са положени от немския учен и философГотфрид Вилхелм Лайбниц (1646-1716). Той се опита да изгради първото логическо смятане, вярваше, че е възможно простото разсъждение да се замени с действия със знаци и даде правила. Но Лайбниц изрази само идеята и тя накрая беше развита от англичанинаДжордж Бул (1815-1864). Бул се смята за основател на математическата логика като самостоятелна дисциплина. В неговите произведения логиката намери своя собствена азбука, свой правопис и граматика. Нищо чудно, че началният раздел на математическата логика се нарича алгебра на логиката,или булева алгебра. (според етапите на развитие на логиката, можете да дадете съобщение на къщата)

d/z бележки, доклад за разследването на Шерлок Холмс

Алгебра на логиката. Основни понятия. Обхват на алгебра-логиката. Логически функции. таблици на истината.

Цел: Да се ​​консолидират знанията, получени в предишния урок, да се даде концепцията за конюнкция, дизюнкция, инверсия.

Напредък на урока :

Проучване.

  1. Етапи на развитие на логиката.
  2. Основни форми на абстрактното мислене.
  3. Logic F.L, M.L.

Обяснен нов материал:

Основата на работата на логическата схема и устройства P.K-логика. В логиката пропозиция - твърдение - декларативно изречение - е вярно или невярно.