Содержание

7. Простейшие вычисления

Основы логики

Составные предложения

Законы логики

Импликация и эквивалентность

Преобразование выражений

Калькуляторы

Приемы работы

Электронные таблицы

Редактирование

Форматирование

OpenOffice Calc

Форматирование

Диаграммы

8. Системы компьютерной алгебры

Работа с выражениями

Уравнения и неравенств

Пределы и ряды

Дифференцирование и интегрирование

Логические выражения

Выражения

Уравнения

Программы

9. Модели и программирование

Моделирование

Компьютерное моделирование

Клеточные автоматы

Парадигмы программирования

Директивное

Декларативное

Объектно-ориентированное

10. Логическое программирование

Логика и Пролог

Термы и объекты

Запросы к базе данных

Унификация

Рекурсия

Базы знаний

Логические задачи

Работа с числами

Примеры программ

11. Введение в ООП

Язык программирования Ruby

Объекты и методы

Переменные и константы

Ввод данных

Операторы ветвления

Библиотеки

Примеры программ

12. Программирование и интернет

От Ruby к Java

Переменные и типы

Массивы и ввод данных

Операторы ветвления и циклы

Библиотеки классов и примеры программ

Понятие об аплетах

Элементы языка JavaScript