- •1 Понятие «моделей»
- •§1 Поиск соответствия объектов природы с их математическими аналогами
- •1.1 Формы объектов в системе координат.
- •§2 Математическая логика и формирование на ее основе электронных компонентов эвм
- •2.1 Основания математической логики
- •Маленький двоично-десятичный словарик.
- •§3 Основы Булевой алгебры
- •3.2 Формулы
- •3.3 Равенства
- •3.4 Постулаты (лат. Postulatum ― требуемое).
- •§4 Функциональная интерпретация
- •§5 Техническая интерпретация (на контактных схемах)
- •Практическое задание
Практическое задание
Записать ряд чисел:
а) в десятичном представлении;
б) в римской интерпретации;
в) в двоичной форме.
Контрольные вопросы.
1. Приведите примеры случайных и простых моделей.
2. Определите основные особенности, связанные с моделированием.
3. Какие приемы используют для создания научной модели?
4. Какова роль математических знаний в моделировании?
5. Определите основные этапы построения моделей?
6. Что представляет понятие "математическая формализация"?
7. Определите суть понятия математический аппарат. Приведите пример его использования. Какое значение он имеет при построении модели?
8. По каким признакам говорят об "ошибочной модели"? Приведите пример.
9. Опишите основные проблемы поиска соответствия математических аналогов природным объектам. Пример такого поиска.
10. Определите суть понятия оптимизация. Приведите пример ее использования.
11. Оцените вклад английского математика и логика Дж. Буля в науку.
12. Какой вклад в науку внес своими работами Де Морган?
13. Почему применение Булевой алгебры не ограничивается алгеброй логики?
14. Какие системы счисления удобно использовать для цифровой обработки информации?
15. Приведите основные знаки Алфавита Булевой алгебры. Дайте определение формулы, метазнака.
16. В чем заключается значение индуктивного определения?
17. Дайте понятие равенства, аксиом, неинтерпретированного исчисления.
18. Приведите основные понятия функциональной интерпретации.
Перечень ссылок.
1. Гильдерман Ю.И. Вооружившись интегралом… — М.: Наука, Сибирское отделение, 1980. — 192 с. с ил. (Научно-популярная серия)., — C. 11—16.
2. Глазер Р. Биология в новом свете. Пер. с нем. К.М.Близник и С.В.Беневоленского. Под ред. Ю.Г.Капульцевича. — М.: Мир, 1978. — 174 с. с ил. (В мире науки и техники)., — с. 45.
3. Глазер Р. Биология в новом свете. Пер. с нем. К.М.Близник и С.В.Беневоленского. Под ред. Ю.Г.Капульцевича. — М.: Мир, 1978. — 174 с. с ил. (В мире науки и техники)., — c. 49—51.
4. G.Boole. The Mathematical Analysis of Logic. Cambridge and London, 1847.
5. G.Boole. An Investigation of the Laws of Thought. London, 1854.
6. Корн Г. и Корн Т. Справочник по математике (для научных работников и инженеров). Определения, теоремы, формулы. — Изд. 4-е./Перевод со 2-го американского переработанного издания И.Г.Арамановича, А.М.Березмана, А.И.Вайнштейна, Л.З.Рушимского, Л.Я.Цлафа. Под общ. ред. И.Г.Арамановича. — М.: "Наука", Гл. ред. физ.-мат. лит., 1977. – 832 с. с илл., — C. 384—385.
7. Vainovskis E. Pusvaditaju radioelektronika. — Riga: "Zvaigzne", 1985. — 210 lpp., il., — Lpp. 200—202.
8. Бирюков Б.В. и Тростников В.Н. Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики. — М.: Знание, 1977. — 192 с. (Наука и прогресс)., — C. 48—77.
9. Новиков П.С. Элементы математической логики. — М.: Наука, 1973. — С. 42.
