Библиотека Рефераты Курсовые Дипломы Поиск
Библиотека Рефераты Курсовые Дипломы Поиск
сделать стартовой добавить в избранное
Кефирный гриб на сайте www.za4et.net.ru

Философия Философия

Математическая логика

Ручка "Шприц", желтая.
Необычная ручка в виде шприца. Состоит из пластикового корпуса с нанесением мерной шкалы. Внутри находится жидкость желтого цвета,
31 руб
Раздел: Оригинальные ручки
Мыло металлическое "Ликвидатор".
Мыло для рук «Ликвидатор» уничтожает стойкие и трудно выводимые запахи за счёт особой реакции металла с вызывающими их элементами.
197 руб
Раздел: Ванная
Брелок LED "Лампочка" классическая.
Брелок работает в двух автоматических режимах и горит в разных цветовых гаммах. Материал: металл, акрил. Для работы нужны 3 батарейки
131 руб
Раздел: Металлические брелоки

Математическая логика Вадим Руднев Ее еще называют символической логикой. Математическая логика  - это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой. Этим достигается, во-первых, краткость, во-вторых, ясность, в-третьих, точность. Приведем пример. Известный силлогизм. Большая посылка: "Все люди смертны". Малая посылка: "Сократ - человек". И вывод: "Следовательно, Сократ смертен". Мы можем заменить имена "Сократ", "человек" и свойство "быть смертным" буквами, соответственно С, х и у. Слово "все" называется квантором всеобщности - о нем мы скажем ниже. Оно обозначается так называемой гротесковой перевернутой буквой А: У Итак, запишем символически большую посылку: У(х)(у), то есть для всех индивидов х соблюдается свойство у - все люди смертны. Теперь запишем символически малую посылку С(х), то есть индивид С обладает свойством х, - Сократ смертен. И вывод: С(у), то есть индивид обладает свойством у. Сократ смертен. Теперь запишем весь силлогизм в виде импликации (логического следования): У (х)(у)аС(х)->С(у) То есть, "если все люди смертны и Сократ человек, то Сократ смертен". Если записывать словами, то надо использовать более 60 символов (букв), а если символически, то нужно всего 12 символов, в 5 раз меньше. Если нужно решать сложную задачу, экономия становится очевидной. Так или иначе, но только в конце ХIХ в. немецкий логик Готтлоб Фреге сформулировал символическое исчисление, и лишь в начале XХ в. Бертран Рассел и Альфред Уайтхед в трехтомном труде "Pri cipia Ma hema ica" построили стройную систему математической логики. В М. л. два типа символов - переменные, которые обозначают объекты, свойства и отношения; и связи, символизирующие логические отношения между предметами и высказываниями. Для наших целей достаточно различать следующие связки: а - конъюнкция, соединение; читается как союз "и", во многом соответствует ему по смыслу; У - дизъюнкция, разделение; читается как союз "или"; -> - импликация, следование; "если. то."; ~ - отрицание; "неверно, что."; = - эквивалентность; "то же, что и." В основе любой логической системы лежат несколько недоказуемых очевидных аксиом, так называемых законов логики. В обычной двузначной логике, то есть в такой логике, высказывания которой имеют два значения (истина и ложь), выделяют четыре основных закона. 1. Закон тождества: р = р; то есть любое высказывание эквивалентно самому себе. Тождество объекта самому себе - вообще исходное начало для любого мышления. Но не во всякой логике это является законом. Например, в контексте алетических модальностей (см. модальности) мы можем сказать: "Возможно, что дождь идет" и "Возможно, что дождь не идет" - и это не будет противоречием. В обычной логике пропозиций предложения "Идет дождь" и "Не идет дождь" будут противоречиями. 2. Закон двойного отрицания: р = ~~р; то есть утверждение эквивалентно его двойному отрицанию. "Дождь идет" = "Наверно, что Дождь не идет". 3. Закон исключенного третьего: (р У ~р); то есть либо высказывание истинно, либо оно ложно - третьего не дано (применимость закона исключенного третьего ограничена конечными множества объектов; см.

об этом многозначные логики). 4. Закон противоречия: ~(р а ~р); то есть неверно, что высказывание может быть одновременно истинным и ложным. Следует ввести еще два понятия, одно из которых мы уже ввели в самом начале статьи. До сих пор мы говорили о высказывании как о чем-то нерасчлененном, но у высказывания есть субъект и предикат. Часть М. л., занимающаяся отношениями между субъектом и предикатом высказываний, называется теорией квантификации. Свойство или отношение, которое выражает предикат, может быть присуще всем субъектам данного множества или только некоторым из них. Например, высказывание "Собаки бывают черными" означает, что некоторое количество собак из всего множества собак имеет свойство "быть черным". Символ, на который мы заменим слово "некоторые", называется квантором существования, или экзистенциальным квантором, и обозначается гротесковой обращенной буквой Е 3 3 (х)(у) - некоторые собаки черные. Но существуют свойства, характерные для всех собак. Например, у всех собак (разумеется, живых) есть голова. Символ, на который мы поменяем слово "все", это уже известный нам квантор всеобщности, или универсальный квантор: У(х)(у) - все собаки по природе обладают головой. В заключение сформулируем основной закон квантифицированной логики: У(х)(у) ->3 (х,у) То есть если данным свойством обладают все объекты, то им обладают и некоторые объекты. Кажущаяся тривиальность законов логики оправдывается дальнейшим ходом мышления. Как писал Людвиг Витгенштейн, "Если вы знаете, что у вас есть руки, дальнейшее гарантируется". Список литературы Клини С. Математическая логика. - М., 1974. Черч А. Введение в математическую логику. - М., 1959.

Заступает новая смена, снова то же: "Больному можно держать только одну книгу". Снова иду доказывать. Наконец: "Вам разрешили держать 5 книг. Остальные сдайте!" Снова иду разговаривать на ту же тему. Дело в том, что я все же добился своеобразного права на умственную работу. Во-первых, я занялся немецким языком. А это значит: две книги - учебник, четыре книги - словари (немецко-русские и русско-немецкие), одна книга "Русско-немецкий разговорник", как минимум одно литературное произведение на немецком языке. Итого восемь книг. Кроме того, я решил заняться математической логикой - еще одна книга, и снова проработать "Капитал" - тоже том. Затем одно литературное произведение на русском языке и минимум один журнал из четырех, выписывающихся мною. Таким образом, в камере мне нужно 12 книг по самому минимальному расчету. И вот снова доказываю, разъясняю то, что очевидно само собою. - Зачем Вам два учебника? - Это не два учебника - это один, в двух томах. - Ну, а зачем два тома? Один изучите, сдадите, получите второй. - Видите ли, изучать мне не надо ни одного. Я их уже изучал

1. Математическая Логика

2. Математическая логика в младших классах

3. Математическая логика. Язык SQL

4. Конспекты лекций по математической логике

5. Математическая логика

6. Логико-математические игры в работе со старшими дошкольниками как средство формирования логического мышления
7. Математические методы и модели в конституционно-правовом исследовании
8. Значение логики

9. Математические методы и языки программирования: симплекс метод

10. Разработка математической модели и ПО для задач составления расписания

11. Решение математических задач в среде Excel

12. Теория вероятности и математическая статистика

13. Математическая кунсткамера /кое-что из истории геометрии/

14. Математическое моделирование прыжка с трамплина

15. Математическая статистика

16. Математическая статистика

Степлер пластиковый №24 "Debut", на 20 листов, черный.
Материал корпуса: пластик. Размер скоб: №24. Количество листов: 20. Цвет: черный.
331 руб
Раздел: Степлеры, скобы
Набор цветных карандашей Trio, 18 цветов, утолщенные.
В наборе 18 цветных утолщенных карандашей, пластиковый футляр. Карандаши утолщенной трехгранной формы особенно удобны для детской руки,
783 руб
Раздел: 13-24 цвета
Мольберт "Ника растущий", со счетами (синий).
Двусторонний мольберт для детей прекрасно подойдет для обучения и для развлечения. Одна сторона мольберта - магнитная доска для работы с
1790 руб
Раздел: Буквы на магнитах

17. Математические методы в организации транспортного процесса

18. Лабораторные работы по экономико-математическому моделированию

19. Шпаргалки по математическому анализу для 1-го семестра в МАИ

20. Краткая методичка по логике

21. Система хищник-жертва: экологические и математические аспекты

22. Математическое моделирование электропривода
23. Математическое моделирование
24. Подготовка к школе. Развитие речи, логического мышления и познавательных способностей дошкольников с элементами обучения грамоте и использованием математического материала

25. Особенности интеллекта учеников специализированных классов (гуманитарного и математического)

26. Математическое моделирование технологических операций механической обработки поверхностей деталей лезвийными инструментами (Учебное пособите по курсу: математическое моделирование технологических операций-4834)

27. Исследование методов охлаждения садки колпаковой печи с помощью математического моделирования

28. Психология математических способностей

29. Предмет формальной логики

30. Логика (Контрольная)

31. Логика (Контрольная)

32. Физико-математические основа радиоэлектронных систем

Настольная игра "Остров обезьян".
В зависимости от количества участников выбирайте нужное число обезьянок для путешествия по лианам за фруктами. Их должно быть на одну
518 руб
Раздел: Игры с фигурками
Подушка-накладка на ремень безопасности.
Мягкая и удобная подушка для автомобиля Roxy-Kids позволит ребенку комфортно отдохнуть во время долгого автомобильного
313 руб
Раздел: Безопасность ребенка
Бейдж с магнитом, 54x90 мм.
Просто крепится к любой одежде при помощи двойного магнита, не повреждая ткань. Сделан из плотного ПВХ со сменным вкладышем. Внимание!
364 руб
Раздел: Бейджи, держатели, этикетки

33. Логика

34. Основы формальной логики (учебно-методическое пособие для студентов вечернего и заочного отделения)

35. Экономико-математические методы моделирования в землеустройстве

36. Математические модели естествознания

37. Сравнение основных законов мышления в формальной логике

38. Логика Аристотеля
39. Ответы на вопросы по логике
40. Законы формальной логики в аспекте категории закона

41. Природа математических абстракций

42. Модальная логика

43. Логика составления бизнес-плана

44. Анализ проблем использования математических моделей для снижения уровня неопределенности принятия УР

45. Математическое моделирование экономических систем

46. Методы алгебраических и дифференциальных уравнений для анализа и качественного исследования социально-экономических явлений (По дисциплине: Математические методы моделирования процессов управления в социальной сфере)

47. Математические модели в программе логического проектирования

48. Роль математических методов в экономическом исследовании

Комплект постельного белья 1,5-спальный "Disney" (с наволочкой 50х70 см).
Добро пожаловать в мир популярных персонажей, супергероев и сказочных существ. Постельное белье для мальчиков и девочек украсит интерьер и
2232 руб
Раздел: Детское, подростковое
Шары Ньютона "Эврика", большие.
Движение – это жизнь! Небольшая настольная кинетическая скульптура в собранном виде демонстрирует закон сохранения энергии, открытый
390 руб
Раздел: Антистрессы
Рюкзак школьный, цвет темно-синий (арт. RB-861-2/2).
Рюкзак школьный, два отделения, объемный карман на молнии на передней стенке, боковые карманы из сетки, откидное жесткое дно,
1730 руб
Раздел: Без наполнения

49. Экономико-математическое моделирование транспортных процессов

50. Конспект лекций по курсу ЭММ (Экономико-математические методы и модели)

51. Математическое программирование и моделирование в экономике и управлении

52. Определения основных понятий 1-9 глав книги: "Рынок: микро-математическая экономика экономическая модель"

53. Логика в судебной практике

54. Логика русского языка
55. Вариант билетов по логике
56. Законы логики

57. Контрольная по логике в задачах

58. Контрольная работа по логике (УниВД)

59. Логика - популярное пособие с задачами

60. Логика вопросов и ответов

61. Логика контрольная 5

62. Логика контрольная 7

63. Логика умозаключения

64. Логико-методологические дефекты в структуре закона права

Мягкий пол универсальный, зеленый, 33x33 см (9 деталей).
Данный вид напольного покрытия прекрасно совмещается с ковриками-пазлами "Морские животные", "Листья" и
729 руб
Раздел: Прочие
Набор из 2 тарелок "Avent", от 6 месяцев.
Набор тарелок "Avent" состоит из большой и маленькой глубоких тарелок. Тарелки "Avent" украшены веселыми и красочными
873 руб
Раздел: Тарелки
Настольная игра "Соображарий. Два".
«Соображарий. Два» — продолжение настольного суперхита, который стал неотъемлемой частью вечеринок и семейных посиделок. Игроков
490 руб
Раздел: Игры со словами

65. Шпаргалка по логике

66. Логика как предмет

67. Как писать математические тексты

68. История становления и развития математического моделирова-ния

69. Математические суждения и умозаключения

70. Познание природы и логика
71. Математическая интуиция
72. Математический анализ

73. Математический анализ

74. Билеты по математическому анализу

75. Лекции по математической статистике

76. Математическая модель взаимодействия подсистем производства сельхозпродуктов в районных АПК

77. Математическая теория захватывания

78. Математические модели естествознания

79. Математические модели электромеханических систем в пространстве состояний

80. Математические примеры

Игра настольная "Шакал".
Стратегическая игра для 2-4 игроков, главная задача которой — найти клад на острове и доставить его на свой корабль. Секрет механики
1290 руб
Раздел: Классические игры
Спиннер трехлучевой "Цветомузыка", с bluetooth (белый).
Компактная стильная игрушка для взрослых и детей, предназначенная для вращения на пальцах. Состоит из подшипников, благодаря которым
465 руб
Раздел: Спиннеры
Набор из 100 шариков.
Набор цветных шариков это веселая забава для вашего малыша. Он с удовольствием будет резвиться в манеже или бассейне с ними. Эта игрушка
962 руб
Раздел: Шары для бассейна

81. Математический анализ

82. Математический факультатив как ведущая форма профессиональной дифференциации в преподавании математики в средней школе

83. Метод математической индукции

84. Минимизация функций алгебры логики

85. План-конспект урока Математическое моделирование при решении экологических задач

86. Применение информатики, математических моделей и методов в управлении
87. Формулы по математическому анализу
88. Математическое ожидание и дисперсия для интервальных и пропорциональных шкал. Доверительные интервалы

89. Формирование логико-информационных и речевых коммуникативных умений студента в процессе изучения математики

90. Математическое моделирование потребностей регионов в педагогических кадрах

91. Математическое моделирование нестационарного электрического поля анодной защиты

92. Математическое моделирование в медицине

93. Математические модели и методы обоснования управленческих решений и сферы их применения в практике управления

94. PR, пропаганда и математические обоснования

95. Логика Космоса (физика античной Греции)

96. Математические начала натуральной философии

Набор капиллярных ручек "Triplus 334", 42 цвета.
Количество цветов: 42 ярких цвета. Эргономичная форма для удобного и легкого письма. Пишущий узел завальцован в металл. Защита от
2653 руб
Раздел: Капиллярные
Звуковой плакат "Таблица умножения".
Представляем Вашему вниманию уникальную новинку — развивающие звуковые плакаты, которые содержат стихотворения, занимательные и
576 руб
Раздел: Электронные и звуковые плакаты
Табурет "Престиж" с ободом.
Табурет на 4-х опорах с ободом, диаметр трубы 20 мм. Прочный каркас. Защитные вставки на ножках. Удобное хранение. Мягкое сиденье.
599 руб
Раздел: Стулья

97. Математическое моделирование системных элементов

98. Логика странно летающих объектов

99. Математическое моделирование при активном эксперименте

100. Экзаменационные билеты с вопросами за весенний семестр 2001 года по: математическое моделирование экономических систем


Поиск Рефератов на сайте za4eti.ru Вы студент, и у Вас нет времени на выполнение письменных работ (рефератов, курсовых и дипломов)? Мы сможем Вам в этом помочь. Возможно, Вам подойдет что-то из ПЕРЕЧНЯ ПРЕДМЕТОВ И ДИСЦИПЛИН, ПО КОТОРЫМ ВЫПОЛНЯЮТСЯ РЕФЕРАТЫ, КУРСОВЫЕ И ДИПЛОМНЫЕ РАБОТЫ. 
Вы можете поискать нужную Вам работу в КОЛЛЕКЦИИ ГОТОВЫХ РЕФЕРАТОВ, КУРСОВЫХ И ДИПЛОМНЫХ РАБОТ, выполненных преподавателями московских ВУЗов за период более чем 10-летней работы. Эти работы Вы можете бесплатно СКАЧАТЬ.