Формализация задач на программирование

  • {o} — тема по Linux

  • <!> ­— необязательная тема

  1. План решения задачи
    1. Формализация
    2. Оценка полноты
    3. Моделирование
    4. Алгоритмы + структуры данных = программа (решение)
  2. Формализация игры в крестики-нолики
    1. Позиция
    2. Играющий
    3. Ход
    4. Правила хода
    5. Течение игры (игроки ходят по очереди
    6. Конец игры: Выигрыш (одного из игроков)
    7. Конец игры: Ничья
  3. Построение дерева игры, последовательная разметка выигрышности позиций, начиная с концевых. Выигрышность позиции нужно учитывать независимо от того, по какому пути мы к ней пришли.
  4. Формализация задачи про разбитое окно:
    1. Переменные
    2. Свойства (предикаты)
    3. Высказывания
    4. Гипотезы
    5. Условие задачи в терминах формализации
    Останется Перебрать все гипотезы и проверить условия задачи.

Домашнее задание

  • {i} — теоретическое задание

  • {*} — новая тема

  1. Почитать про ничейную смерть, И-ИЛИ деревья, базы шахматных окончаний.

  2. Дорешать задачи предыдущего задания


CategoryClass CategoryVmsh

LecturesVMSH/2011-04-27 (last edited 2011-05-03 18:05:50 by FrBrGeorge)