Информация о курсе ДМ-2 (правила оценивания) - История изменений

Vyalyi в 13:14, 2 сентября 2018

2018-09-02T13:14:38Z

← Предыдущая версия		Версия от 13:14, 2 сентября 2018
Строка 77:		Строка 77:
	Второе домашнее задание: сдать на неделе 1-6 октября.		Второе домашнее задание: сдать на неделе 1-6 октября.

	Третье домашнее задание 16 октября.		Третье домашнее задание: сдать на неделе 15-20 октября.

	Четвертое домашнее задание 13 ноября.		Четвертое домашнее задание: сдать на неделе 5-10 ноября.

	Пятое домашнее задание 27 ноября.		Пятое домашнее задание: сдать на неделе 19-24 ноября.

	Шестое домашнее задание 4 декабря ~~(на это задание будет дана одна неделя)~~.		Шестое домашнее задание: сдать на неделе 3-8 декабря.

	Коллоквиум пройдет с 11 по 15 декабря.		Коллоквиум пройдет на неделе с 10 по 15 декабря.

	Экзамен - ~~21 декабря~~		Экзамен - в зимнюю сессию, дата будет объявлена дополнительно.

Vyalyi в 13:08, 2 сентября 2018

2018-09-02T13:08:10Z

← Предыдущая версия		Версия от 13:08, 2 сентября 2018
Строка 26:		Строка 26:
	* Функции, предикаты. Формулы первого порядка. Определение истинности формулы.		* Функции, предикаты. Формулы первого порядка. Определение истинности формулы.

	* ~~Метод~~ резолюций.		* Исчисление резолюций.

	* Общезначимые формулы. Предваренная нормальная форма. Сколемизация.		* Общезначимые формулы. Предваренная нормальная форма. Сколемизация.
Строка 62:		Строка 62:
	Допускается оценка 0 в тех случаях, когда студент не сдавал домашних заданий (или не решил ни одной задачи на экзамене). Оценка 0 также ставится в случаях доказанного списывания на экзамене.		Допускается оценка 0 в тех случаях, когда студент не сдавал домашних заданий (или не решил ни одной задачи на экзамене). Оценка 0 также ставится в случаях доказанного списывания на экзамене.

	Те, кто не смог прийти на экзамен и коллоквиум по болезни, могут его		Те, кто не смог прийти на экзамен или на коллоквиум по болезни, могут его
	сдать отдельно. Не набравшие в конце второго модуля нужное количество баллов (4) могут пересдать экзамен, а если и это не поможет, то сдавать экзамен комиссии. В последнем случае накопленная оценка аннулируется и оценка, полученная на экзамене, и является окончательной.		сдать отдельно. Не набравшие в конце второго модуля нужное количество баллов (4) могут пересдать экзамен, а если и это не поможет, то сдавать экзамен комиссии. В последнем случае накопленная оценка аннулируется и оценка, полученная на экзамене, и является окончательной.

Строка 73:		Строка 73:


	Первое домашнее задание 18 сентября.		Первое домашнее задание: сдать на неделе 17-22 сентября.

	Второе домашнее задание 2 октября.		Второе домашнее задание: сдать на неделе 1-6 октября.

	Третье домашнее задание 16 октября.		Третье домашнее задание 16 октября.

Vyalyi в 12:01, 9 ноября 2017

2017-11-09T12:01:45Z

← Предыдущая версия		Версия от 12:01, 9 ноября 2017
Строка 87:		Строка 87:
	Коллоквиум пройдет с 11 по 15 декабря.		Коллоквиум пройдет с 11 по 15 декабря.

	Экзамен - ~~в декабрьскую сессию (дата станет известна позже)~~		Экзамен - 21 декабря

Vyalyi в 14:37, 2 сентября 2017

2017-09-02T14:37:00Z

← Предыдущая версия		Версия от 14:37, 2 сентября 2017
Строка 43:		Строка 43:
	Оценки за каждое ДЗ будут выставляться примерно через неделю после дедлайна.		Оценки за каждое ДЗ будут выставляться примерно через неделю после дедлайна.
	Сдача домашних заданий после их срока невозможна.		Сдача домашних заданий после их срока невозможна.
	Коллоквиум (устный) и экзамен (письменный) оцениваются по десятибалльной системе. На коллоквиуме не разрешается пользоваться никакими записями. На экзамене разрешается пользоваться любыми бумажными источниками и нельзя никакими электронными.

	Коллоквиум (устный) и экзамен (письменный) оцениваются по десятибалльной системе.		Коллоквиум (устный) и экзамен (письменный) оцениваются по десятибалльной системе.
	На коллоквиуме не разрешается пользоваться никакими записями. На экзамене разрешается пользоваться любыми бумажными источниками и нельзя никакими электронными.		На коллоквиуме не разрешается пользоваться никакими записями. На экзамене разрешается пользоваться любыми бумажными источниками и нельзя никакими электронными.
	~~На коллоквиуме и~~
	~~экзамене можно пользоваться своими рукописными конспектами (не копиями чужих).~~
	Коллоквиум состоит из двух теоретических вопросов (один по линейному		Коллоквиум состоит из двух теоретических вопросов (один по линейному
	программированию, другой по логике) и одной задачи, которые оцениваются в 3, 3 и 4 баллов		программированию, другой по логике) и одной задачи, которые оцениваются в 3, 3 и 4 баллов

Vyalyi в 14:35, 2 сентября 2017

2017-09-02T14:35:22Z

← Предыдущая версия		Версия от 14:35, 2 сентября 2017
Строка 44:		Строка 44:
	Сдача домашних заданий после их срока невозможна.		Сдача домашних заданий после их срока невозможна.
	Коллоквиум (устный) и экзамен (письменный) оцениваются по десятибалльной системе. На коллоквиуме не разрешается пользоваться никакими записями. На экзамене разрешается пользоваться любыми бумажными источниками и нельзя никакими электронными.		Коллоквиум (устный) и экзамен (письменный) оцениваются по десятибалльной системе. На коллоквиуме не разрешается пользоваться никакими записями. На экзамене разрешается пользоваться любыми бумажными источниками и нельзя никакими электронными.

			Коллоквиум (устный) и экзамен (письменный) оцениваются по десятибалльной системе.
			На коллоквиуме не разрешается пользоваться никакими записями. На экзамене разрешается пользоваться любыми бумажными источниками и нельзя никакими электронными.
			На коллоквиуме и
			экзамене можно пользоваться своими рукописными конспектами (не копиями чужих).
			Коллоквиум состоит из двух теоретических вопросов (один по линейному
			программированию, другой по логике) и одной задачи, которые оцениваются в 3, 3 и 4 баллов
			соответственно. Эти задачи берутся из заранее опубликованного списка задач (с точностью до выбора конкретных чисел), подобных тем, что были в домашних заданиях.
			Экзамен состоит из 8 задач с указанием количества баллов за каждую
			задачу. Эти баллы в сумме дают 10 баллов. Задачи нужно решить за две пары.


	Формула итоговой оценки		Формула итоговой оценки
Строка 51:		Строка 62:
	Или, более просто, вес коллоквиума в итоговой оценке – 40%, экзамена – 40%, всех домашних заданий – 20%.		Или, более просто, вес коллоквиума в итоговой оценке – 40%, экзамена – 40%, всех домашних заданий – 20%.

	~~'''Обратите внимание:''' одним из вопросов коллковиума~~ (~~примерно 40% общей оценки) будет решение~~ задачи ~~из открытого списка задач, более-менее совпадающего с задачами, которые разбирались~~ на ~~семинарах и предлагались для домашних заданий~~. ~~Поэтому фактический вес решения ДЗ больше, чем кажется~~ на ~~первый взгляд~~.		Допускается оценка 0 в тех случаях, когда студент не сдавал домашних заданий (или не решил ни одной задачи на экзамене). Оценка 0 также ставится в случаях доказанного списывания на экзамене.

	~~Допускается оценка 0 в тех случаях~~, ~~когда студент~~ не ~~сдавал домашних заданий~~ (~~или~~ не ~~решил ни одной задачи на экзамене)~~. ~~Оценка 0 также ставится в случаях доказанного списывания~~ на экзамене.		Те, кто не смог прийти на экзамен и коллоквиум по болезни, могут его
			сдать отдельно. Не набравшие в конце второго модуля нужное количество баллов (4) могут пересдать экзамен, а если и это не поможет, то сдавать экзамен комиссии. В последнем случае накопленная оценка аннулируется и оценка, полученная на экзамене, и является окончательной.

			====Правила округления====

	В вычислениях текущие оценки и промежуточные величины не округляются. Результат вычисляется точно и округляется только в момент выставления накопленной и итоговой оценок. Округление при выставлении итоговой оценки арифметическое, а при выставлении накопленной оценки используется следующее правило округления: между 1 и 5 округление вниз, между 5 и 6 округление арифметическое, а в остальных случаях округление вверх. Т.е. 3,92 округляется до 3, 5,48 – до 5, 5,54 – до 6, 7,12 – до 8.		В вычислениях текущие оценки и промежуточные величины не округляются. Результат вычисляется точно и округляется только в момент выставления накопленной и итоговой оценок. Округление при выставлении итоговой оценки арифметическое, а при выставлении накопленной оценки используется следующее правило округления: между 1 и 5 округление вниз, между 5 и 6 округление арифметическое, а в остальных случаях округление вверх. Т.е. 3,92 округляется до 3, 5,48 – до 5, 5,54 – до 6, 7,12 – до 8.

Vyalyi в 14:20, 2 сентября 2017

2017-09-02T14:20:58Z

← Предыдущая версия		Версия от 14:20, 2 сентября 2017
Строка 40:		Строка 40:
	6 домашних заданий, коллоквиум и экзамен.		6 домашних заданий, коллоквиум и экзамен.
	Всего будет 6 заданий и каждое оценивается по десятибалльной системе (10 означает решение всех задач ДЗ). Оценка за домашние задания равна доле решенных задач, умноженной на 10.		Всего будет 6 заданий и каждое оценивается по десятибалльной системе (10 означает решение всех задач ДЗ). Оценка за домашние задания равна доле решенных задач, умноженной на 10.
	На решение каждого ДЗ дается 14 дней, решение ДЗ нужно сдавать семинаристу до начала семинара.		На решение каждого ДЗ дается 14 дней (возможны исключения в конце курса), решение ДЗ нужно сдавать семинаристу до начала семинара.
	Оценки за каждое ДЗ будут выставляться примерно через неделю после дедлайна.		Оценки за каждое ДЗ будут выставляться примерно через неделю после дедлайна.
	Сдача домашних заданий после их срока невозможна.		Сдача домашних заданий после их срока невозможна.
Строка 46:		Строка 46:

	Формула итоговой оценки		Формула итоговой оценки
	Оитог = 0,~~7·Онакопленная~~ + 0,~~3·Оэкз~~,		Оитог = 0,6·Онакопленная + 0,4·Оэкз,
	Где Онакопленная =(3/7)Окол1+ (2/7)(Одз1 + Одз2)		Где Онакопленная =(2/3)Окол1+ (1/6)(Одз1 + Одз2)

	Или, более просто, вес коллоквиума в итоговой оценке – 30%, экзамена – 30%, всех домашних заданий – 40%.		Или, более просто, вес коллоквиума в итоговой оценке – 40%, экзамена – 40%, всех домашних заданий – 20%.

			'''Обратите внимание:''' одним из вопросов коллковиума (примерно 40% общей оценки) будет решение задачи из открытого списка задач, более-менее совпадающего с задачами, которые разбирались на семинарах и предлагались для домашних заданий. Поэтому фактический вес решения ДЗ больше, чем кажется на первый взгляд.

	Допускается оценка 0 в тех случаях, когда студент не сдавал домашних заданий (или не решил ни одной задачи на экзамене). Оценка 0 также ставится в случаях доказанного списывания на экзамене.		Допускается оценка 0 в тех случаях, когда студент не сдавал домашних заданий (или не решил ни одной задачи на экзамене). Оценка 0 также ставится в случаях доказанного списывания на экзамене.
Строка 56:		Строка 58:


	====Контрольные мероприятия и их сроки====		====Контрольные мероприятия и их сроки (примерное расписание)====


	Первое домашнее задание 19 сентября.		Первое домашнее задание 18 сентября.

	Второе домашнее задание 3 октября.		Второе домашнее задание 2 октября.

	Третье домашнее задание 17 октября.		Третье домашнее задание 16 октября.

	Четвертое домашнее задание 14 ноября.		Четвертое домашнее задание 13 ноября.

	Пятое домашнее задание 28 ноября.		Пятое домашнее задание 27 ноября.

	Шестое домашнее задание 5 декабря (на это задание будет дана одна неделя).		Шестое домашнее задание 4 декабря (на это задание будет дана одна неделя).

	Коллоквиум пройдет с 12 по 16 декабря.		Коллоквиум пройдет с 11 по 15 декабря.

	Экзамен - ~~27 декабря~~ (дата ~~предварительная~~).		Экзамен - в декабрьскую сессию (дата станет известна позже)

Vyalyi в 14:14, 2 сентября 2017

2017-09-02T14:14:20Z

← Предыдущая версия		Версия от 14:14, 2 сентября 2017
Строка 26:		Строка 26:
	* Функции, предикаты. Формулы первого порядка. Определение истинности формулы.		* Функции, предикаты. Формулы первого порядка. Определение истинности формулы.

	* ~~Выразимые предикаты~~. ~~Выразимость в арифметике~~.		* Метод резолюций.

			* Общезначимые формулы. Предваренная нормальная форма. Сколемизация.

	* Невыразимые предикаты: автоморфизмы. Элиминация кванторов.		* Невыразимые предикаты: автоморфизмы. Элиминация кванторов.
Строка 32:		Строка 34:
	* Элементарная эквивалентность. Игры Эренфойхта.		* Элементарная эквивалентность. Игры Эренфойхта.

	* ~~Общезначимые формулы~~. ~~Предваренная нормальная форма. Проверка общезначимости: идея системы доказательств.~~		* Выразимые предикаты. Выразимость в арифметике.

	* Метод резолюций.

	===Отчётность по курсу и критерии оценки===		===Отчётность по курсу и критерии оценки===

Vyalyi в 11:54, 12 декабря 2016

2016-12-12T11:54:10Z

← Предыдущая версия		Версия от 11:54, 12 декабря 2016
Строка 43:		Строка 43:
	Оценки за каждое ДЗ будут выставляться примерно через неделю после дедлайна.		Оценки за каждое ДЗ будут выставляться примерно через неделю после дедлайна.
	Сдача домашних заданий после их срока невозможна.		Сдача домашних заданий после их срока невозможна.
	Коллоквиум (устный) и экзамен (письменный) оцениваются по десятибалльной системе. На коллоквиуме и		Коллоквиум (устный) и экзамен (письменный) оцениваются по десятибалльной системе. На коллоквиуме не разрешается пользоваться никакими записями. На экзамене разрешается пользоваться любыми бумажными источниками и нельзя никакими электронными.
	экзамене ~~можно~~
	пользоваться ~~своими рукописными конспектами (не копиями чужих)~~.


	Формула итоговой оценки		Формула итоговой оценки

Vyalyi в 16:57, 6 декабря 2016

2016-12-06T16:57:02Z

← Предыдущая версия		Версия от 16:57, 6 декабря 2016
Строка 47:		Строка 47:
	пользоваться своими рукописными конспектами (не копиями чужих).		пользоваться своими рукописными конспектами (не копиями чужих).

	~~Оценки за коллоквиум~~ и ~~экзамен входят~~ в ~~общую оценку с коэффициентами 0~~.3, а ~~оценка за домашние задания - с коэффициентом 0~~.4.
			Формула итоговой оценки
			Оитог = 0,7·Онакопленная + 0,3·Оэкз,
			Где Онакопленная =(3/7)Окол1+ (2/7)(Одз1 + Одз2)

			Или, более просто, вес коллоквиума в итоговой оценке – 30%, экзамена – 30%, всех домашних заданий – 40%.

			Допускается оценка 0 в тех случаях, когда студент не сдавал домашних заданий (или не решил ни одной задачи на экзамене). Оценка 0 также ставится в случаях доказанного списывания на экзамене.

			В вычислениях текущие оценки и промежуточные величины не округляются. Результат вычисляется точно и округляется только в момент выставления накопленной и итоговой оценок. Округление при выставлении итоговой оценки арифметическое, а при выставлении накопленной оценки используется следующее правило округления: между 1 и 5 округление вниз, между 5 и 6 округление арифметическое, а в остальных случаях округление вверх. Т.е. 3,92 округляется до 3, 5,48 – до 5, 5,54 – до 6, 7,12 – до 8.


	====Контрольные мероприятия и их сроки====		====Контрольные мероприятия и их сроки====

Vyalyi в 10:58, 2 сентября 2016

2016-09-02T10:58:13Z

@@ Строка 8: / Строка 8: @@
 формулы логики высказываний и логики предикатов, определение истинности, выразимость средствами
 логики предикатов, исчисление резолюций.
 ===Отчётность по курсу и критерии оценки===