Тема  1. Программирование по контракту

Домашнее задание 1. Обработка ошибок

1. Разработайте классы Checked*, выполняющие соответствующие операции с проверкой на переполнения и неверные аргументы.
2. Добавьте в программу, вычисляющую выражения, обработку ошибок, в том числе:
   • ошибки разбора выражений;
   • ошибки вычисления выражений.
3. Для выражения 1000000*x*x*x*x*x/(x-1) вывод программы должен иметь следующий вид:

   x       f
   0       0
   1       division by zero
   2       32000000
   3       121500000
   4       341333333
   5       overflow
   6       overflow
   7       overflow
   8       overflow
   9       overflow
   10      overflow
   

   Результат division by zero (overflow) означает, что в процессе вычисления произошло деление на ноль (переполнение).
4. При выполнении задания следует обратить внимание на дизайн и обработку исключений.
5. Человеко-читаемые сообщения об ошибках должны выводиться на консоль.
6. Программа не должна «падать» с исключениями (как стандартными, так и добавленными).
7. Код должен находиться в пакете expression.exceptions.

Репозиторий курса

Домашнее задание 2. Бинарный поиск

1. Реализуйте итеративный и рекурсивный варианты бинарного поиска в массиве.
2. На вход подается целое число x и массив целых чисел a, отсортированный по невозрастанию. Требуется найти минимальное значение индекса i, при котором a[i] ≤ x.
3. Для main, функций бинарного поиска и вспомогательных функций должны быть указаны, пред- и постусловия. Для реализаций методов должны быть приведены доказательства соблюдения контрактов в терминах троек Хоара.
4. Интерфейс программы.
   • Имя основного класса — search.BinarySearch.
   • Первый аргумент командной строки — число x.
   • Последующие аргументы командной строки — элементы массива a.
5. Пример запуска: java search.BinarySearch 3 5 4 3 2 1. Ожидаемый результат: 2.