На вебинаре «Arbor, держи марку!» будет представлен общероссийский анонс нового решения компании Arbor Networks – Spectrum™, включающего технологии по мониторингу угроз информационной безопасности и расследованию инцидентов в корпоративной вычислительной сети.
Анастасия Федина: Правила чтения разговорных моделей формульного текста в кни...zinoviev.info
Правила чтения разговорных моделей формульного текста в книге А.А.Зиновьева «Фактор понимания»
ПРИМЕЧАНИЕ: В тексте ниже зеленым цветом выделены комментарии А.М. Фединой, красным — разговорные модели формульного текста. Нумерация страниц приводится по кн.: Зиновьев А.А. Фактор понимания. М.: Алгоритм, Эксмо, 2006.
http://urokoff.net
Презентация для урока в 10 классе - "Основы логики". Понятие логики как науки; формы мышления - понятие, высказывание, умозаключение; алгебра высказываний; логические операции - конъюнкция, дизъюнкция, инверсия.
Описание лингвистической реальности/A Description of Linguistic RealityPeter Korolev
презентация статьи, представленной на конференции в Коми-Пермяцком институте усовершенствования учителей в 2011 году, посвященной сохранению нематериального культурного наследия
3. АРИСТОТЕЛЬ
(384г.-322г.до н.э.)
• Основы формальной логики
заложил ученый Древней
Греции Аристотель
• Заслуга ученого состоит в том,
что он отделил форму
мышления от содержания.
• Попытался соединить логику и
математику, разработал раздел
теории доказательств.
4. ВИЛЬГЕЛЬМ ЛЕЙБНИЦ
(1646-1716)
• Лейбниц взглянул на логику
Аристотеля через призму математики
• Он создал «Азбуку мыслей», сжатый и
краткий язык символов.
• Разработал идею логического
исчисления. Рассуждения обозначил
буквами, сложные высказывания-
формулами.
• В результате удалось содержательные
рассуждения заменить формальными
5. ДЖОРДЖ БУЛЬ(1815-1864 гг.)
• Дж.Буль автор известный
произведений «Математический
анализ логики»(1847г.)
• Основной труд Дж. Буля
«Исследование законов мысли», в
ней представлен раздел логики-
алгебра высказываний.
• В 1844 г. Буль получает золотую
медаль за работ по
математическому анализу.
9. Высказывание
– это форма мышления, выраженная с
помощью понятий, в которой что-либо
утверждается или отрицается о предметах, их
свойствах и отношениях между ними.
ложное/истинное простое/составное
10. Истинно суждение, в котором связь
понятий правильно отражает свойства и
отношения реальных вещей.
Суждение ложно в том случае, когда связь
понятий не соответствует реальной
действительности.
Высказывание называется простым, если
никакая его часть сама не является
высказыванием.
Высказывание, состоящее из простых
высказываний называется составным.
11. Умозаключение
- это форма мышления, с помощью
которой из одного или нескольких
суждений (посылок) может быть
получено новое суждение
(заключение).
15. Простым высказываниям ставятся в
соответствие логические переменные,
обозначаемые прописными буквами латинского
алфавита
Составные высказывания на естественном
языке образуются с помощью союзов, которые
в алгебре высказываний заменяются на
логические операции.
Логические операции задаются таблицами
истинности.
Логические выражения, у которых последние
столбцы истинности совпадают, называют
равносильными.
17. Конъюнкция
- операция логического умножения
В естественном языке соответствует союзу И
Составное высказывание истинно тогда и только
тогда, когда истинны все входящие в него простые
высказывания.
На улице
холодно и идет
снег.
На улице идет
снег.
На улице
холодно.
F=A&BBA
18. Дизъюнкция
- операция логического сложения
В естественном языке соответствует союзу ИЛИ
Составное высказывание истинно, когда истинно
хотя бы одно из входящих в него простых
высказываний.
Земля движется
по круговой или
эллиптической
орбите.
Земля движется
по
эллиптической
орбите.
Земля движется
по круговой
орбите.
F=ABBA
19. Инверсия
- операция логического отрицания
В естественном языке соответствует словам
неверно, что… и частице НЕ
Делает истинное высказывание ложным и
наоборот, ложное – истинным.
ЗлоДобро
AA
20. Импликация
- операция логического следования
В естественном языке соответствует обороту
если…, то…
Составное высказывание ложно, когда условие
(первое высказывание) истинно, а следствие
(второе высказывание) ложно.
Если число
делится на 9,
то оно делится
на 3.
Число делится
на 3.
Число делится
на 9.
ABBA
21. Эквивалентность- равнозначность
В естественном языке соответствует оборотам речи
тогда и только тогда; в том и только в том
случае
Составное высказывание истинно, когда оба
исходных высказывания одновременно истинны
или одновременно ложны.
Угол называется прямым
тогда и только тогда,
когда он равен 900.
Угол равен
900
Угол прямой
F=ABBA