Аристотель
Краткая биографическая справка из жизни Аристотеля. Логика как наука о способах доказательств и опровержений. Теоретическая и практическая философия. Главные задачи логики. Произведения Аристотеля "Категории", "Топика" и "О софистических опровержениях".
Рубрика | Математика |
Предмет | Математика |
Вид | реферат |
Язык | русский |
Прислал(а) | Incognito |
Дата добавления | 18.06.2013 |
Размер файла | 22,7 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Основы формальной логики Аристотеля. Понятия инверсии, конъюнкции и дизъюнкции. Основные законы алгебры логики. Основные законы, позволяющие производить тождественные преобразования логических выражений. Равносильные преобразования логических формул.
презентация [67,8 K], добавлен 23.12.2012Ознакомление с жизнью и научной деятельностью древнегреческих ученых Фалеса Милетского, Пифагора, Демокрита и Аристотеля. Рассмотрение вклада в развитие математики Аристотеля и Аполлония Пергского. Научные достижения математика Андрея Петровича Киселева.
презентация [491,1 K], добавлен 21.11.2011Краткая биографическая справка из жизни Пифагора. Сущность понятия "пифагоровы тройки", простые способы их формирования. Свойства троек, главные их следствия. Решение задачи на нахождение тангенса острого угла. Подсказки для выбора правильной "тройки".
презентация [498,2 K], добавлен 01.12.2012Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.
курсовая работа [207,1 K], добавлен 26.03.2012Краткая биографическая справка из жизни Пьера Ферма. Общее понятие про правильные многоугольники. Числа математика, их история. Великая теорема Ферма, случаи доказательства. Особенности облегченной и малой теоремы. Роль математики в деятельности Уайлсома.
контрольная работа [501,2 K], добавлен 14.06.2012Содержание математических трудов Герона. Влияние работ Герона в Европе. Место Клавдия Птолемея в истории науки. "Альмагест" как компендиум античной математической астрономии. Краткая биографическая справка из жизни Птолемея. "Планетные гипотезы" Птолемея.
реферат [15,1 K], добавлен 15.12.2010Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.
контрольная работа [345,3 K], добавлен 29.11.2010Применение методов математической логики и других разделов высшей математики в задачах теоретической лингвистики при анализе письменной речи на русском и английском языках. Исследование и распознавание речевых единиц. Методы математической логики.
реферат [39,8 K], добавлен 01.11.2012История создания теоремы. Краткая биографическая справка из жизни Пифагора Самосского. Основные формулировки теоремы. Доказательство Евклида, Хоукинса. Доказательство через: подобные треугольники, равнодополняемость. Практическое применение теоремы.
презентация [3,6 M], добавлен 21.10.2011Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.
реферат [63,3 K], добавлен 06.12.2010