Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Повідомлення домашнього завдання




Загальний висновок

Логіка – наука про закони мислення. Зародження логіки можна віднести до 6 ст. до н.е. (Фалес, Парменід, Піфагор). Загальні принципи логічних міркувань розвинув Платон. Основоположником логіки як цілісної науки є Арістотель.

Математична логіка є наукою про закони математичного мислення. Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою логіко-математичних мов. При цьому в першу чергу цікавляться питаннями несуперечливості математичних теорій, їх розв’язності та повноти. Творцем формальної логіки є Арістотель, а першу завершену систему математичної логіки на базі строгої логіко-математичної мови – алгебру логіки, – запропонував

Дж.Буль (1815-1864). Математична логіка – різновид формальної логіки, тобто науки, що вивчає умовиводи з погляду їхньої формальної будівлі.

Основним поняттям у математичній логіці є висловлення. Висловлення поділяють на прості (елементарні) та складені. Значення істинності простих висловлень визначають за змістом, спираючись на відомі знання. Щоб встановити значення істинності складених висловлень, треба знати їх логічну структуру та зміст операцій над висловленнями. За допомогою простих висловлень можна складати більш складні, з’єднуючи прості висловлення сполучниками «і», «чи», «або».

Запитання для узагальнення студентам

– Що називається висловленням? Наведіть приклади висловлень, встановіть їх значення істинності.

– Дайте означення простих і складених висловлень, предиката. Наведіть власні приклади.

– Що називається кон’юнкцією висловлення? Побудуйте таблицю істинності.

– Що називається диз’юнкцією висловлення? Побудуйте таблицю істинності.

– Дайте означення заперечення висловлення. Поясність два способи побудови заперечення висловлення, наведіть приклади.

– Дайте означення імплікації висловлення, побудуйте таблицю істинності.

– Що називається еквіваленцією висловлень? Побудуйте таблицю істинності, наведіть приклади висловлень, що мають структуру еквіваленції.

– Що називається предикатом?

– Які бувають предикати?

– Що називається квантором?

– Перелічіть квантори загальності і існування, поясніть встановлення істинності і хибності висловлень з кванторами.

  1. Кухар, В. М. Теоретичні основи початкового курсу математики [Текст]: навч. посібник для педучилищ / В. М. Кухар, Б. Л. Білий. – К.: Вища школа, 1987. – С. 47-53, вправа 1 (C. 48).
  2. Стойлова, Л. П. Основы начального курса математики [Текст]: учеб. пособие для учащихся педучилищ / Л. П. Стойлова, А. М. Пишкало. – М.: Просвещение, 1988. – С. 15 -24

(§ 2, п. 5, 6, 7, 8, вправи 4 (C.17), 6 (C.19), 2 (C. 20)).




Поделиться с друзьями:


Дата добавления: 2014-01-04; Просмотров: 270; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.009 сек.