    Сейчас на сайте: 1 посетителей (1 зарегистрированных, 0 гостей) |   426057681  574055213 |  Партнерам |  Авторам |  Покупателям |
Логика как наука о мышлении, ее предмет и задачи
| контрольные работы, Логика Объем работы: 19 стр. Год сдачи: 2011 Стоимость: 300 руб. Просмотров: 695 | Не подходит работа? |
Оглавление
Введение
Литература
Заказать работу
СОДЕРЖАНИЕ
1. Мышление и язык. Естественные и искусственные языки..…………………..2
2. История логики и формализация мышления. Язык исчисления предикатов….13
Упражнение 1..……………………………………………………………… ……17
Упражнение 2..……………………………………………………………….……17
Упражнение 3..…………………………………………………………………….17
Список использованных источников..…………………………………………..18
1. Мышление и язык. Естественные и искусственные языки..…………………..2
2. История логики и формализация мышления. Язык исчисления предикатов….13
Упражнение 1..……………………………………………………………… ……17
Упражнение 2..……………………………………………………………….……17
Упражнение 3..…………………………………………………………………….17
Список использованных источников..…………………………………………..18
Упражнение 1.
Вставьте в скобки слово-омоним, которое соответствует понятиям, стоя-щим за скобками:
Упражнение 2
Запишите на языке исчисления предикатов следующие высказывания:
1. "Все члены шенгенского союза являются европейскими государствами"
2. "Некоторые зачеты являются дифференцированными"
3. "Ни один из переводов Шекспира не принадлежит X"
4. "Некоторые грибы не являются съедобными"
Упражнение 3
Приведите примеры следующих символических выражений:
∀х (S(x) → P(x)),
∀х (S(x) → ˥P(x)),
∃х (S(x) ˆ P(x)),
∃х (S(x) ˆ ˥P(x)).
Вставьте в скобки слово-омоним, которое соответствует понятиям, стоя-щим за скобками:
Упражнение 2
Запишите на языке исчисления предикатов следующие высказывания:
1. "Все члены шенгенского союза являются европейскими государствами"
2. "Некоторые зачеты являются дифференцированными"
3. "Ни один из переводов Шекспира не принадлежит X"
4. "Некоторые грибы не являются съедобными"
Упражнение 3
Приведите примеры следующих символических выражений:
∀х (S(x) → P(x)),
∀х (S(x) → ˥P(x)),
∃х (S(x) ˆ P(x)),
∃х (S(x) ˆ ˥P(x)).
1. Бартон В.И. Логика. Учебное пособие. Мн., 2008. – 120 с
2. Берков В.Ф., Яскевич Я.С., Павлюкевич В.И. Логика. Мн.,2008. – 189 с
3. Берков В.Ф. Логика: Элементарный курс. Учебное пособие. Мн., 2009. – 196 с
4. Трушко М.Н. Логика. Учебно-практическое пособие. Мн., 2010 (система дистанционного обучения). – 198 с
5. Трушко М.Н. Логика. Практикум. Мн., 2007. – 250 с
2. Берков В.Ф., Яскевич Я.С., Павлюкевич В.И. Логика. Мн.,2008. – 189 с
3. Берков В.Ф. Логика: Элементарный курс. Учебное пособие. Мн., 2009. – 196 с
4. Трушко М.Н. Логика. Учебно-практическое пособие. Мн., 2010 (система дистанционного обучения). – 198 с
5. Трушко М.Н. Логика. Практикум. Мн., 2007. – 250 с
После офорления заказа Вам будут доступны содержание, введение, список литературы*
*- если автор дал согласие и выложил это описание.