Тема:Невыразимость условия конечности (связности, чётности-нечётности и др.) на языке первого порядка.
Работа выполняется с помощью игр Эренфойхта.
Я начала делать, но возникают проблемы. Нужно доказать 4 условия. Прикрепляю фаил с черновой работой. Аналогично первому условию нужно доказать остальные 3. Для каждого из случаев необходимо написать алгоритмы выигрышной стратегии Повторителя, умеренно короткие и доступные пониманию. А так же нужно доказать, что написанный алгоритм действительно описывает выигрышную стратегию Повторителя. Так же есть теория по играм Эренфойхта. Тоже прикреплю. Методички нет.
Сроки выполнения работы - чем быстрее, тем лучше. Главное, чтобы было написано доступным языком.
Если вы готовитесь к презентации или защите диплома, то нужно учесть возможные нюансы. Например, что если вы создали презентацию в PowerPoint, а на университетском компе воспринимается только формат pdf?В этом случае лучше иметь два вида готовой презентации. И в нашей статье мы расскажем о том, как…
Читать дальшеВы уже написали диплом, подготовили рецензию, позаботились о технической стороне вопроса – соответствии правилам оформления научного труда. Дело осталось за малым: решить, как написать доклад на защиту диплома.Есть много информации о том, . А здесь мы постараемся рассмотреть все важные вопросы сост…
Читать дальше