Функциональное программирование 24-25 - История изменений

Edashkov: /* Домашнее заданее */

2024-12-05T21:13:01Z

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

← Предыдущая версия		Версия от 21:13, 5 декабря 2024
Строка 100:		Строка 100:
	\|-		\|-
	\| [https://drive.google.com/file/d/13XvUC48ga4xjTPbVl1isVI0GIxFT0Y_u/view?usp=drive_link ДЗ 4] \|\| 07.12		\| [https://drive.google.com/file/d/13XvUC48ga4xjTPbVl1isVI0GIxFT0Y_u/view?usp=drive_link ДЗ 4] \|\| 07.12
			\|-
			\| [https://drive.google.com/file/d/14On7LzhyaasXiKm619EtKy7lqD_g9SF1/view?usp=drive_link ДЗ 5] \|\| 20.12
	\|}		\|}

	<!--		<!--

	\|-
	~~\| [https://drive.google.com/file/d/14On7LzhyaasXiKm619EtKy7lqD_g9SF1/view?usp=drive_link ДЗ 5] \|\| 20.12~~

Edashkov: /* Домашнее заданее */

2024-11-23T11:27:46Z

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

← Предыдущая версия		Версия от 11:27, 23 ноября 2024
Строка 99:		Строка 99:
	\| [https://drive.google.com/file/d/1UuZWdkEQsKpS1xDVXK1WqOy1tWP1KlJC/view?usp=drive_link ДЗ 3] \|\| 19.11		\| [https://drive.google.com/file/d/1UuZWdkEQsKpS1xDVXK1WqOy1tWP1KlJC/view?usp=drive_link ДЗ 3] \|\| 19.11
	\|-		\|-
	\| [https://drive.google.com/file/d/13XvUC48ga4xjTPbVl1isVI0GIxFT0Y_u/view?usp=drive_link ДЗ 4] \|\| .12		\| [https://drive.google.com/file/d/13XvUC48ga4xjTPbVl1isVI0GIxFT0Y_u/view?usp=drive_link ДЗ 4] \|\| 07.12
	\|}		\|}

Edashkov: /* Домашнее заданее */

2024-11-23T11:26:41Z

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

← Предыдущая версия		Версия от 11:26, 23 ноября 2024
Строка 98:		Строка 98:
	\|-		\|-
	\| [https://drive.google.com/file/d/1UuZWdkEQsKpS1xDVXK1WqOy1tWP1KlJC/view?usp=drive_link ДЗ 3] \|\| 19.11		\| [https://drive.google.com/file/d/1UuZWdkEQsKpS1xDVXK1WqOy1tWP1KlJC/view?usp=drive_link ДЗ 3] \|\| 19.11
			\|-
			\| [https://drive.google.com/file/d/13XvUC48ga4xjTPbVl1isVI0GIxFT0Y_u/view?usp=drive_link ДЗ 4] \|\| .12
	\|}		\|}

	<!--		<!--

	\|-
	~~\| [https://drive.google.com/file/d/13XvUC48ga4xjTPbVl1isVI0GIxFT0Y_u/view?usp=drive_link ДЗ 4] \|\| 11.12~~
	\|-		\|-
	\| [https://drive.google.com/file/d/14On7LzhyaasXiKm619EtKy7lqD_g9SF1/view?usp=drive_link ДЗ 5] \|\| 20.12		\| [https://drive.google.com/file/d/14On7LzhyaasXiKm619EtKy7lqD_g9SF1/view?usp=drive_link ДЗ 5] \|\| 20.12

Edashkov: /* Домашнее заданее */

2024-11-04T17:18:03Z

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

← Предыдущая версия		Версия от 17:18, 4 ноября 2024
Строка 96:		Строка 96:
	\|-		\|-
	\| [https://drive.google.com/file/d/1IK0SZGj78veayMS6_1BS7lT9HncbNwTY/view?usp=drive_link Д3 2] \|\| 01.11 23:59		\| [https://drive.google.com/file/d/1IK0SZGj78veayMS6_1BS7lT9HncbNwTY/view?usp=drive_link Д3 2] \|\| 01.11 23:59
			\|-
			\| [https://drive.google.com/file/d/1UuZWdkEQsKpS1xDVXK1WqOy1tWP1KlJC/view?usp=drive_link ДЗ 3] \|\| 19.11
	\|}		\|}

	<!--		<!--
	\|-
	~~\| [https://drive.google.com/file/d/1UuZWdkEQsKpS1xDVXK1WqOy1tWP1KlJC/view?usp=drive_link ДЗ 3] \|\| 30.11~~
	\|-		\|-
	\| [https://drive.google.com/file/d/13XvUC48ga4xjTPbVl1isVI0GIxFT0Y_u/view?usp=drive_link ДЗ 4] \|\| 11.12		\| [https://drive.google.com/file/d/13XvUC48ga4xjTPbVl1isVI0GIxFT0Y_u/view?usp=drive_link ДЗ 4] \|\| 11.12

Edashkov: /* Домашнее заданее */

2024-10-16T01:17:16Z

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

← Предыдущая версия		Версия от 01:17, 16 октября 2024
Строка 94:		Строка 94:
	\|-		\|-
	\| [https://drive.google.com/file/d/1MBSr_Ryb9Xw7HxYUU1vC6WfMHF_YJh9f/view?usp=sharing ДЗ 1] \|\| 09.10 23:59		\| [https://drive.google.com/file/d/1MBSr_Ryb9Xw7HxYUU1vC6WfMHF_YJh9f/view?usp=sharing ДЗ 1] \|\| 09.10 23:59
			\|-
			\| [https://drive.google.com/file/d/1IK0SZGj78veayMS6_1BS7lT9HncbNwTY/view?usp=drive_link Д3 2] \|\| 01.11 23:59

	\|}		\|}

	<!--		<!--
	\|-
	~~\| [https://drive.google.com/file/d/1IK0SZGj78veayMS6_1BS7lT9HncbNwTY/view?usp=drive_link Д3 2] \|\| 01.11 23:59~~
	\|-		\|-
	\| [https://drive.google.com/file/d/1UuZWdkEQsKpS1xDVXK1WqOy1tWP1KlJC/view?usp=drive_link ДЗ 3] \|\| 30.11		\| [https://drive.google.com/file/d/1UuZWdkEQsKpS1xDVXK1WqOy1tWP1KlJC/view?usp=drive_link ДЗ 3] \|\| 30.11

Edashkov: /* Домашнее заданее */

2024-09-29T13:13:50Z

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

← Предыдущая версия		Версия от 13:13, 29 сентября 2024
Строка 88:		Строка 88:


	~~<!--~~
	{\| class="wikitable"		{\| class="wikitable"
	\|-		\|-
	! Набор задач !! colspan="11" \| Срок сдачи		! Набор задач !! colspan="11" \| Срок сдачи
	\|-		\|-
	\| [https://drive.google.com/file/d/1MBSr_Ryb9Xw7HxYUU1vC6WfMHF_YJh9f/view?usp=sharing ДЗ 1] \|\| 13.10 23:59		\| [https://drive.google.com/file/d/1MBSr_Ryb9Xw7HxYUU1vC6WfMHF_YJh9f/view?usp=sharing ДЗ 1] \|\| 09.10 23:59
			\|}

			<!--
	\|-		\|-
	\| [https://drive.google.com/file/d/1IK0SZGj78veayMS6_1BS7lT9HncbNwTY/view?usp=drive_link Д3 2] \|\| 01.11 23:59		\| [https://drive.google.com/file/d/1IK0SZGj78veayMS6_1BS7lT9HncbNwTY/view?usp=drive_link Д3 2] \|\| 01.11 23:59
Строка 102:		Строка 105:
	\|-		\|-
	\| [https://drive.google.com/file/d/14On7LzhyaasXiKm619EtKy7lqD_g9SF1/view?usp=drive_link ДЗ 5] \|\| 20.12		\| [https://drive.google.com/file/d/14On7LzhyaasXiKm619EtKy7lqD_g9SF1/view?usp=drive_link ДЗ 5] \|\| 20.12
	\|}

	'''Срок сдачи задания устанавливается семинаристом группы.'''		'''Срок сдачи задания устанавливается семинаристом группы.'''

Edashkov: /* Текущая успеваемость */

2024-09-15T17:59:33Z

Текущая успеваемость

← Предыдущая версия		Версия от 17:59, 15 сентября 2024
Строка 15:		Строка 15:
	== Текущая успеваемость ==		== Текущая успеваемость ==

	[Таблица].		[https://docs.google.com/spreadsheets/d/1TRg6E9I-arH81yIzJG73gBf29otro-x1D9icfMcqiuU/edit?usp=sharing Таблица].

	== Setting up ==		== Setting up ==

Edashkov: /* Оценки */

2024-09-15T17:50:24Z

Оценки

← Предыдущая версия		Версия от 17:50, 15 сентября 2024
Строка 254:		Строка 254:
	[https://mitpress.mit.edu/9780262660716/ Basic Category Theory for Computer Scientists by Benjamin C. Pierce]		[https://mitpress.mit.edu/9780262660716/ Basic Category Theory for Computer Scientists by Benjamin C. Pierce]

	== Оценки ==		== Оценки и пересдача ==
	~~<!--~~
	Итоговая оценка получается так:		Итоговая оценка получается так:

	Итог = ОКРУГЛ (2 * ПР + 2 * КР + 3 * ДЗ + 3 * Э).		Итог = ОКРУГЛ (min(10, 0.15 * Сам + 0.23 * КР + 0.27 * ДЗ + 0.5 * Экз)).

	Округление производится ~~к ближайшему целому, притом что полуцелые значения округляются вверх~~.		Округление производится по правилам арифметики. Автоматы по курсу не предусмотрены.
	~~-->~~
			Первая и вторая пересдачи экзамена проводятся в случае получения итоговой неудовлетворительной оценки аналогично собственно экзамену. Действуют правила ПОПАТКУС.

Edashkov: /* Самостоятельная работа (мини-проект) */

2024-09-15T17:49:03Z

Самостоятельная работа (мини-проект)

← Предыдущая версия		Версия от 17:49, 15 сентября 2024
Строка 127:		Строка 127:
	== Самостоятельная работа (мини-проект) ==		== Самостоятельная работа (мини-проект) ==

	~~<!--~~		При желании студенты согласовывают с семинаристом задачу для индивидуальной самостоятельной работы. При этом предполагаются решение достаточно сложной задачи по программированию и самостоятельное получение студентом недостающих сведений. Самостоятельная работа должна быть сдана до 15-го декабря.
	При желании студенты согласовывают с семинаристом ~~проект~~ для индивидуальной работы. ~~Также допускается работа в группах до трех человек. Проект представляет собой~~ решение достаточно сложной задачи по программированию и ~~предполагает~~ самостоятельное получение недостающих сведений. ~~Проекты должны~~ быть ~~сданы за день~~ до ~~защиты (до 23:59), то есть как минимум до 20~~ декабря. За ~~проект~~ выставляется ~~(дробная)~~ оценка ПР от ~~0 до 1 балла~~.
			За самостоятельную работу выставляется оценка Сам в зависимости от сложности выбранной задачи и достигнутого продвижения.

	==== Некоторые темы для проектов ====		==== Некоторые темы для проектов ====
Строка 163:		Строка 164:

	===== Какой сложности и объёма должен быть проект? =====		===== Какой сложности и объёма должен быть проект? =====
	Зависит от ~~Вашего~~ уровня. Подбирайте задачу, которую ~~Вам~~ самим интересно решать и которую Вы успеете доделать (или сделать осмысленный кусок) к дедлайну.		Зависит от вашего уровня. Подбирайте задачу, которую вам самим интересно решать и которую вы успеете доделать (или сделать осмысленный кусок) к дедлайну.

	===== Можно ли брать одну и ту же тему проекта? =====		===== Можно ли брать одну и ту же тему проекта? =====
Строка 210:		Строка 211:
	* <code>QuickCheck</code> — фреймворк для property-based тестирования.		* <code>QuickCheck</code> — фреймворк для property-based тестирования.
	* <code>HUnit</code> — фреймворк для юнит-тестов.		* <code>HUnit</code> — фреймворк для юнит-тестов.

	~~-->~~

	== Материалы ==		== Материалы ==

Edashkov: /* Итоговый экзамен */

2024-09-15T17:46:46Z

Итоговый экзамен

← Предыдущая версия		Версия от 17:46, 15 сентября 2024
Строка 118:		Строка 118:
	КР = 10 * (сумма полученных баллов за все задачи) / (количество задач в контрольной работе).		КР = 10 * (сумма полученных баллов за все задачи) / (количество задач в контрольной работе).

	== ~~Итоговый экзамен~~ ==		== Экзамен ==
			Письменный экзамен проводится в конце курса. Допускается использование собственных записей студента и явно разрешенных локальных справочных систем. Каждая задача экзамена оценивается дробным значением от 0 до 1 балла. Экзамен оценивается числом:

	~~<!--~~		Экз = min (10, (взвешенная сумма баллов, полученных за все задачи)).
	Письменный экзамен проводится в конце курса. Допускается использование собственных записей студента и явно разрешенных локальных справочных систем. Каждая задача оценивается ~~0, ¼, ½~~ , ~~¾ или 1 баллом~~. ~~Экзамен оценивается числом:~~

	~~Э = (сумма полученных баллов за все задачи) / (количество выданных~~ задач).		При этом веса задач положительны и устанавливаются таким образом, что в сумме дают не менее 10.

	~~-->~~

	== Самостоятельная работа (мини-проект) ==		== Самостоятельная работа (мини-проект) ==