Задание 13. Прочитайте текст. Выпишите из текста предложения с изученными конструкциями.
Логикой мы называем науку о законах и формах мышления. Она является частью философии. Математическая логика – это наука, которая исследует математические доказательства. Математическая логика возникла в 19 веке. Ее создателем был англичанин Д. Буль, а усовершенствовали Ч. Пирс, Б. Рассел, А.Н. Колмогоров, А.А. Мальцев. Она относится к логике в целом, однако, с учетом специальных потребностей математики.
Математическая абстракция является одной из особенностей математического мышления. Сложные системы математической абстракции, их взаимосвязи и сущность – все это содержится в логической математике, а именно – в доказательствах математических теорем. Классическим примером такого доказательства является создание геометрии Евклидом.
Слова не всегда одинаково, однозначно и точно выражают мысли и понятия. Унификация и уточнение понятий и методов умозаключений в некоторых отраслях математики стало безусловной необходимостью. Поэтому в современной математике применяется метод формализации доказательств.
Формулировки теорем записываются в виде формул с помощью специальных символов, используемых наряду с известными математическими знаками. Доказательство теоремы сводится к выведению представляющей ее формулы. Некоторые математики пытались выразить все математические дисциплины без применения словесных доказательств, только с помощью символов и формул.
Из сказанного следует, что идея создания знаков, которые бы заменили слова – имеющие иногда разное значение – беспокоила ученых уже давно. (С. Коваль)
Задание 14. Определите синтаксическую роль выписанных конструкций.
Задание 15. Приведите собственные примеры на каждое значение изученных конструкций.
Задание 16. Задайте друг другу вопросы по содержанию текста.
Задание 17. Определите тему и основную мысль текста (КЗ). Дайте название тексту.
Задание 19. Передайте содержание текста, используя изученные конструкции.