Математическая логика
Реферат, 18 Марта 2012
Появление вычислительных машин связано с повседневной деятельностью человека по формированию нового знания в самых различных областях. Его деятельность связана не только с научным знанием, но и со всякого рода сообщениями различной природы, зафиксированными на материальных носителях. Формирование нового знания - сложнейший процесс, в котором человек с помощью органов чувств и усилителей возможностей органов чувств учится описывать предметы, явления, процессы или их свойства, осмысливать описания, определять новые понятия с соответствующими ему терминами, представлять факты и утверждения о фактах, обобщать и применять знания для построения систем формирования нового знания.
Математическая логика
Доклад, 10 Мая 2012
Решать логические задачи очень увлекательно. В них вроде бы нет никакой математики - нет ни чисел, ни функций, ни треугольников, ни векторов, а есть только лжецы и мудрецы, истина и ложь. В то же время дух математики в них чувствуется ярче всего - половина решения любой математической задачи (а иногда и гораздо больше половины) состоит в том, чтобы как следует разобраться в условии, распутать все связи между участвующими объектами. Есть люди, для которых решение логической задачи - увлекательная , но несложная задача. Их мозг как луч прожектора сразу освещает все хитроумные построения, и к правильному ответу он приходит необычайно быстро. Замечательно, что при этом он и не могут объяснить, как они пришли к решению. "Ну это же очевидно, ясно", - говорят они. "Ведь если ... " - и они начинают легко распутывать клубок противоречивых высказываний. "Действительно, все ясно", - говорит слушатель, огорченный тем, что он сам не увидел очевидного рассуждения. Согласитесь, что такое же ощущение часто возникает при чтении детективов. Итак, мы узнаем, как разными способами можно решать логические задачи. Оказывается таких приемов несколько, они разнообразны и каждый из них имеет свою область применения.
Математическая логика
Лабораторная работа, 16 Февраля 2013
Задача:
Встречаются два друга:
-Как доехал?
-Заплатил 5 монет.
Определить достоинства монет, которые в сумме дают размер проездного билета на той или иной вид транспорта.
Ответ дать для следующих случаев:
Все монеты одинаковые.
Старших монет большинство.
Младших монет большинство.
Мышление и математическая логика
Статья, 05 Марта 2013
Математика является наукой, в которой все утверждения доказываются с помощью умозаключений, то есть путем использования законов человеческого мышления. Изучение законов человеческого мышления является предметом логики.
Как самостоятельная наука логика оформилась в трудах греческого философа Аристотеля (384-322 г.г до н.э.). Он систематизировал известные до него сведения, и эта система стала впоследствии называться формальной или Аристотелевой логикой.
Формальная логика просуществовала без серьёзных изменений более двадцати столетий. Естественно, что развитие математики выявило недостаточность Аристотелевой логики и потребовало дальнейшего её развития.
Контрольная работа по математической логике
Контрольная работа, 03 Сентября 2013
Работа содержит условия и решения задач по математической логике.
Элементы математической логики. Высказывания и предикаты
Лекция, 19 Февраля 2013
Понятия, которые изучаются в начальном курсе математики, обычно представляются в виде четырех групп. В первую включаются понятия, связанные с числами и операциями над ними: число, слагаемое и др. Во вторую входят алгебраические понятия: выражение, равенство, уравнение и пр. Третью составляют геометрические понятия: прямая, отрезок, треугольник и т.д. Четвертую группу образуют понятия, связанные с величинами и их измерением.
Контрольная работа по "Математическая логика и теория алгоритмов"
Контрольная работа, 18 Января 2012
1.1 Для приведенных формул логики высказываний построить соответствующие им логические функции в виде таблиц истинности, определить общезначимость, выполнимость (невыполнимость) и число моделей формулы:
г) x & (y Ú Øx) & ((Øy ® x) ® y);
Разработака электронного учебника по дисциплине «Дискретная математика и математическая логика»
Статья, 13 Декабря 2011
Электронный учебник (ЭУ) - это обучающая программа, осуществляющая дидактический цикл процесса обучения, обеспечивающая интерактивную учебную деятельность и контроль уровня знаний. ЭУ призваны автоматизировать все основные этапы обучения - от изложения учебного материала до контроля знаний и выставления итоговых оценок.
К основным качествам ЭУ относятся: полнота и непрерывность изложения материала, реализация новых дидактических схем работы с использованием современных информационных средств, комплексное применение мультимедийных технологий, навигационные возможности.