Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Логика - это наука правильно рассуждать, наука о формах и законах человеческого мышления Главная задача логики состоит в том, чтобы выявить, какие способы рассуждений правильные, а какие нет Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Логика наука древняя, её основоположником считают древнегреческого мыслителя Аристотеля. Аристотель родился в 384 г. до н. э. в городе Стагире на северо- западном побережье Эгейского моря. Аристотель, ввёл основные формы абстрактного мышления Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Именно Аристотель подверг анализу человеческое мышление, такие его формы, как ПОНЯТИЕ, СУЖДЕНИЕ, УМОЗАКЛЮЧЕНИЕ, и рассмотрел мышление со стороны строения, структуры, то есть с формальной стороны. Так возникла формальная логика – наука, пытавшаяся найти ответ на вопрос, как мы рассуждаем, изучающая логические операции и правила человеческого мышления. Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Ко времени зарождения логики математика уже прошла значительный путь развития. В течение многих веков логика помогала математике стать строгой, последовательной наукой. Постепенно взаимная связь между математикой и логикой привела к тому, что логика оказалась под влиянием математики. Основатель математической логики - немецкий учёный и философ Лейбниц Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА ЛЕЙБНИЦ Готфрид Вильгельм (1646-1716), немецкий философ, математик, физик, языковед. Основатель и Бранденбургского общества Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА президент научного Алгебра Буля — исторически первый раздел математической логики, разработанный ирландским логиком и математиком Дж. Булем в середине XIX в. Буль применил алгебраические методы для решения логических задач и сформулировал на языке алгебры некоторые фундаментальные законы мышления. Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Джордж Буль родился 2 ноября 1815 года в промышленном городе Линкольне в восточной Англии в бедной рабочей семье. Джордж смог окончить только начальную школу для детей бедняков; в других учебных заведениях он не учился. Этим отчасти и объясняется, что , не связанный традицией, он пошел в науке собственным путем. Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Искусственный интеллект интереснейшая современная задача, это целая наука на базе вычислительной техники, логики, психологии, нейрофизиологии и других отраслей знаний. Ну вот, например, о компьютере - есть ли у него интеллект? Компьютер-шахматист может просчитать тысячи вариантов ходов, выбрать один из них, но он не может сам составить программу для решения какой - то задачи, а, следовательно, не обладает интеллектом. Не сами процедуры выполнения интеллектуальной деятельности, а понимание того, как их создать, как научиться новому виду интеллектуальной деятельности - вот это и есть интеллект, в нашем случае это реализация техническими средствами некоторой модели интеллектуального поведения человека. Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Логика рассматривает три различные формы, в которых осуществляется мышление: понятие; высказывание; умозаключение. Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА ПОНЯТИЕ – это форма мышления, фиксирующая основные существенные признаки объекта. Объект – это действительности часть окружающей Понятие имеет две стороны: •Содержание (совокупность существенных признаков объекта); •Объём (совокупность предметов, которую оно распространяется) Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА на Содержание понятия «персональный компьютер» Объём понятия «персональный компьютер» Персональный компьютер это универсальное электронное устройство для автоматической обработки информации, предназначенное для одного пользователя. Составляет сотни миллионов существующих в настоящее время персональных компьютеров. Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Высказывание (суждение) - это форма мышления, в виде предложения или утверждение, о котором можно судить истинно оно или ложно. В горах круглый год лежит снег Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Примеры простых высказываний: •Москва – больше Санкт-Петербурга; •Все вписанные углы, опирающиеся на диаметр – прямые; •Земля – планета Солнечной системы; •3 + 6 > 10. •Сегодня идёт дождь. На основании простых высказываний могут быть построены сложные высказывания, соединённых логическими связками «и», «или», «не», «если …,то», «тогда и только тогда» и т.п. •Клавиатура и «мышь» являются устройствами ввода информации. • Когда идёт гроза, то сверкает молния. Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Умозаключение – это форма мышления, с помощью которой из двух или нескольких суждений (посылок) получается новое суждение (заключение). Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА •Если число оканчивается 0 или 5, то оно делится на 5; •У правильного треугольника все углы и стороны равны; •Если у параллелограмма один угол прямой, то этот параллелограмм является прямоугольником. Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА 1. Что такое логика? Какими формами человеческого мышления она занимается? 2. Что мы называем понятием, суждением, умозаключением? 3. Какие утверждения нельзя отнести к суждениям? 4. Какие из перечисленных предложений являются суждениями? Какова их истинность? • Сумма внутренних углов прямоугольника равна двум прямым. • Математическое доказательство. • Компьютер- идеальный ИСПОЛНИТЕЛЬ. • 1*2*3*4*5=60. Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Предлагаем посмотреть несколько слайдов с логическими головоломками. Картинки, изображённые на них необычны. Рассматривая их, можно увидеть совершенно разные объекты и всё это происходит благодаря – ЗРИТЕЛЬНОЙ ИЛЛЮЗИИ. Зрительная Майданюк Т.А. иллюзия – не соответствующее действительности представление видимого явления или предмета из-за особенностей строения нашего зрительного аппарата МОУ СОШ № 3 г. КОСТРОМА Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА 1. Информатика 7- 9 И. Семакин 2. Информатика 10- 11 Н. Угринович 3. Информатика 6 Л. Босова 4. Учебное пособие «Информатика» М. Г. Коляда 5. Занимательные задачи по информатике Л. Л. Босова 6. Информатика 10 И. А. Иванова 7. http://www.cultinfo.ru/fulltext/1/001/008/071/046.htm 8. http://olddesign.isu.ru/~slava/do/disc/logic.htm 9. http://www.erudition.ru/referat/ref/id.46515_1.html 10.http://www.altai.fio.ru/projects/group2/potok66/site/leybniz/index.htm Майданюк Т.А. МОУ СОШ № 3 г. КОСТРОМА