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

Шевелева Карина: /* Другие документы */

2022-10-23T10:29:18Z

‎Другие документы

Шевелева Карина: /* Результаты проведённого исследования */

2022-10-23T10:27:37Z

‎Результаты проведённого исследования

Шевелева Карина: /* Полезные ресурсы */

2022-10-23T10:27:13Z

‎Полезные ресурсы

Шевелева Карина: /* Полезные ресурсы */

2022-10-23T10:26:22Z

‎Полезные ресурсы

Шевелева Карина: /* Цели исследования */

2022-10-23T10:25:14Z

‎Цели исследования

Шевелева Карина: /* Результаты проведённого исследования */

2022-10-23T10:23:42Z

‎Результаты проведённого исследования

Шевелева Карина: /* Результаты проведённого исследования */

2022-10-23T10:19:44Z

‎Результаты проведённого исследования

Шевелева Карина: /* Результаты проведённого исследования */

2022-10-23T10:18:20Z

‎Результаты проведённого исследования

Шевелева Карина: /* Результаты проведённого исследования */

2022-10-23T09:40:02Z

‎Результаты проведённого исследования

Шевелева Карина: /* Результаты проведённого исследования */

2022-10-23T09:38:28Z

‎Результаты проведённого исследования

← Предыдущая		Версия 10:29, 23 октября 2022
Строка 71:		Строка 71:

	== Другие документы ==		== Другие документы ==
		+
		+	[[Учебный проект Исследуем математические основы информатики]]
		+


	[[Категория:Проекты]]		[[Категория:Проекты]]

@@ Строка 37: / Строка 37: @@
 Для информатики важен раздел математики, называемый алгеброй логики; объектами алгебры логики являются высказывания.
-Высказывание — это предложение на любом языке, содержание которого можно однозначно определить как истинное или ложное.
+*Высказывание — это предложение на любом языке, содержание которого можно однозначно определить как истинное или ложное.
 Обоснование истинности или ложности высказываний решается теми науками, к сфере которых они относятся. Алгебра логики отвлекается от смысловой содержательности высказываний. Её интересует только то, истинно или ложно данное высказывание. В алгебре логики высказывания обозначают буквами и называют логическими переменными. При этом если высказывание истинно, то значение соответствующей ему логической переменной обозначают единицей (А = 1), а если ложно — нулём (В = 0). 0 и 1, обозначающие значения логических переменных, называются логическими значениями.
@@ Строка 45: / Строка 45: @@
 Рассмотрим два высказывания: А = «Идея использования в логике математической символики принадлежит Готфриду Вильгельму Лейбницу», В = «Лейбниц является основоположником бинарной арифметики». Очевидно, новое высказывание «Идея использования в логике математической символики принадлежит Готфриду Вильгельму Лейбницу или Лейбниц является основоположником бинарной арифметики» ложно только в том случае, когда одновременно ложны оба исходных высказывания.
-Дизъюнкция — логическая операция, которая каждым двум высказываниям ставит в соответствие новое высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны.
+*Дизъюнкция — логическая операция, которая каждым двум высказываниям ставит в соответствие новое высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны.
-Инверсия — логическая операция, которая каждому высказыванию ставит в соответствие новое высказывание, значение которого противоположно исходному.
+*Инверсия — логическая операция, которая каждому высказыванию ставит в соответствие новое высказывание, значение которого противоположно исходному.
-Конъюнкция — логическая операция, ставящая в соответствие каждым двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.
+*Конъюнкция — логическая операция, ставящая в соответствие каждым двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.
 [[Изображение: ТаблицыШевелева.png|500px]]

@@ Строка 67: / Строка 67: @@
 ==Полезные ресурсы==
 *[http://school4ul.narod.ru/inf_log_zad.htm '''Примеры логических задач''']
 *[http://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0 '''Математическая логика''']

← Предыдущая		Версия 10:26, 23 октября 2022
Строка 66:		Строка 66:

	==Полезные ресурсы==		==Полезные ресурсы==
		+	*[http://school4ul.narod.ru/inf_log_zad.htm '''Примеры логических задач''']
		+
		+	*[http://www.openclass.ru/wiki-lessons/22169 '''Основы логики''']
		+
		+	*[http://wiki.iteach.ru/index.php/Способы_решения_логических_задач '''Методы решения''']
		+
		+	*[http://www.gmcit.murmansk.ru/text/information_science/base/logic/materials/logic/07.htm '''Решения логических задач''']
		+
		+	*[http://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0 '''Математическая логика''']

	== Другие документы ==		== Другие документы ==

@@ Строка 19: / Строка 19: @@
 ==Цели исследования==
 - Осуществить совместный подбор ссылок на Интернет-ресурсы и поиск информации в печатных изданиях по теме исследования.
-- Осуществить анализ основных методов решения логических задач и подобрать ключевые задачи для демонстрации применения того или иного метода решения.
+- Осуществить анализ основных методов решения логических задач .
 - Сформулировать выводы по результатам исследования.
 - Оформить результаты исследования.
 ==Результаты проведённого исследования==

← Предыдущая		Версия 10:23, 23 октября 2022
Строка 52:		Строка 52:

	[[Изображение:ЛогикиШевелева.png\|500px]]		[[Изображение:ЛогикиШевелева.png\|500px]]
		+
		+	Так же мы рассмотрели различные способы решения задач, результаты исследования отразили на онлайн-доске [https://miro.com/welcomeonboard/dFJ1UEl2aGVTanl6cTVVb2dveHVycU1HUGRBT3NRNml1Tkp1SnhxSGtXQnZWbGwwRDM1ZmZtckVjVzdzUFZrYnwzMDc0NDU3MzY0NTIzMzQ3OTg5fDI=?share_link_id=677542242777 Методы решения логических задач]
		+
		+	[[Изображение:ДоскаШевелева.png\|500px]]

	==Вывод==		==Вывод==

@@ Строка 51: / Строка 51: @@
 Более подробно тему алгебры-логики мы раскрыли с помощью презентации [https://docs.google.com/presentation/d/1RwWp9i3dQHBD2zUkaneFyzJZG6QXas7uah5uVoh3yfE/edit?usp=sharing Логические элементы]
-[[Изображение:ЛогикиШевелева.png|900px]]
+[[Изображение:ЛогикиШевелева.png|500px]]
 ==Вывод==

← Предыдущая		Версия 10:18, 23 октября 2022
Строка 48:		Строка 48:

	[[Изображение: ТаблицыШевелева.png\|500px]]		[[Изображение: ТаблицыШевелева.png\|500px]]
		+
		+	Более подробно тему алгебры-логики мы раскрыли с помощью презентации [https://docs.google.com/presentation/d/1RwWp9i3dQHBD2zUkaneFyzJZG6QXas7uah5uVoh3yfE/edit?usp=sharing Логические элементы]
		+
		+	[[Изображение:ЛогикиШевелева.png\|900px]]

	==Вывод==		==Вывод==

← Предыдущая		Версия 09:38, 23 октября 2022
Строка 38:		Строка 38:

	Алгебра логики определяет правила записи, вычисления значений, упрощения и преобразования высказываний.		Алгебра логики определяет правила записи, вычисления значений, упрощения и преобразования высказываний.
		+
		+	Рассмотрим два высказывания: А = «Идея использования в логике математической символики принадлежит Готфриду Вильгельму Лейбницу», В = «Лейбниц является основоположником бинарной арифметики». Очевидно, новое высказывание «Идея использования в логике математической символики принадлежит Готфриду Вильгельму Лейбницу или Лейбниц является основоположником бинарной арифметики» ложно только в том случае, когда одновременно ложны оба исходных высказывания.
		+
		+	Дизъюнкция — логическая операция, которая каждым двум высказываниям ставит в соответствие новое высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны.
		+
		+	Инверсия — логическая операция, которая каждому высказыванию ставит в соответствие новое высказывание, значение которого противоположно исходному.
		+
		+	Конъюнкция — логическая операция, ставящая в соответствие каждым двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.
		+
		+	[[Изображение: ТаблицыШевелева.png\|900px]]

	==Вывод==		==Вывод==