Функциональное программирование (мат-мех СПбГУ)
- Если у вас есть любые вопросы или замечания, пожалуйста, пишите: ur.liam|inumis#ur.liam|inumis
- Новости сайта будут также появляться в группе Функциональное программирование (4 курс, 2016). Там же вы можете, если хотите, оставлять свои замечания, предложения и вопросы.
10 ноября
- Пример экзаменационной работы с комментариями, на какую тему какой вопрос examSample.pdf
- Просто для справки: список тех, кому экзамен уже поставлен в зачетку.
7 октября
- Слайды 14 занятия fplect14.pdf.
6 октября
- Список участников курса, которые уже набрали >=80 баллов.
- Те, кто есть в этом списке, могут получить оценку в зачетке (те, у кого больше 100 баллов - 5, те, у кого меньше 100 баллов - 4, если хотят) завтра, 7 декабря, или перед 1 парой или в последние 5 минут пары.
- Или, конечно, вы можете получить эту подпись на любой досрочной сдаче или на экзамене
- Можно просто прислать зачетку, лично приходить не обязательно
- Если вам кажется, что вас нет в этом списке по ошибке, обязательно напишите.
5 октября
- Новая таблица дополнительных баллов. Учтены листочки последнего занятия.
1 декабря
- Слайды 13 занятия fplect13.pdf.
- Вопросы к экзамену. Там же информация о том. как будет проходить экзамен, и о том, какие льготы будут за набранное количество баллов.
14 ноября
- Слайды 12 занятия fplect12.pdf.
- Про занятия и досрочные попытки экзамена
- Последнее занятие будет 7.12. Там же я проставлю в зачетку оценки тем, кто набрал 100 баллов. А также тем, кто набрал 80 баллов и согласен на 4.
- Я бы предложил устроить еще две попытки досрочной сдачи экзамена. (И тем же можно будет дописать контрольную работу.) Это будет в Петергофе, тоже, думаю в 01. Насчет времени, давайте вы подумайте и предложите две даты, или хотя бы одну, для первой попытки. Я, в общем, могу в любое время.
21 ноября
- Результаты контрольной и переписывания. Если что-то непонятно, пишите или подходите.
- Для тех, кто не дописал контрольную, по прежнему действует выгодное предложение
17 ноября
- Слайды 11 занятия fplect11.pdf.
9 ноября
- Слайды 10 занятия fplect10.pdf.
3 ноября
- Слайды 9 занятия fplect9.pdf.
30 октября
- Варианты контрольной (kr_16_sample.pdf). В первом варианте небольшие замечания про типичные ошибки.
- Выгодное (как мне кажется) предложение: Те, у кого не сделано на контрольной три задачи или больше, могут сделать дома часть нерешенных задач (3, 6 или 9) из задач 1-11 и прислать мне. За это я засчитаю по своему выбору соответственно 1,2 или 3 задачи (то есть одну из трех).
- Но дополнительное условие: на переписывании я могу попросить воспроизвести решение одной из решенных задач по памяти. И если человеку это не удастся, все зачтенные задачи отменяются.
29 октября
- Результаты контрольной. Если что-то непонятно, пишите или подходите.
- Завтра еще будут вывешены, для интересующихся, варианты контрольной с некоторыми комментариями.
26 октября
26 октября
- Очень, очень короткое 7 виртуальное занятие fplect8.pdf. И про него три новые задачи в системе тестирования.
21 октября
- Список тех, кому не надо будет писать контрольную 26.10. Если вам кажется, что вас нет в этом списке по ошибке, обязательно напишите.
19 октября
- Слайды 7 занятия fplect7.pdf.
15 октября
- Кто сколько набрал дополнительных баллов. Если вам кажется, что ваши баллы записаны неправильно, пишите, ошибки вполне возможны.
12 октября
- Слайды 6 занятия fplect6.pdf
- 26 октября контрольная! Подробности в слайдах
5 октября
- Слайды 5 занятия fplect5.pdf и новые задачи в системе тестирования.
1 октября
- Уточнение в описании того, как можно пройти и засчитать курс stepic
28 сентября
- Слайды 4 занятия fplect4.pdf и новые задачи в системе тестирования.
25 сентября
- Некоторые люди, я знаю, хотели бы прослушать курс Stepic - https://stepik.org/course/Функциональное-программирование-на-языке-Haskell-75 Кроме того, хотелось бы возместить моральный урон тем, кто хотел прослушать курс Glasgow, а он теперь не засчитывается. Поэтому давайте пусть курс stepic тоже можно будет пройти и получить за это баллы. Но, поскольку он сейчас не активен, но условия его прохождения будут немного специальные и об этом написано тут
21 сентября
- Слайды 3 занятия fplect3.pdf и новые задачи в системе тестирования.
- Про курс Glasgow
- Для тех, кто собирался сдавать курс Glasgow. Мне очень жаль, но получается, что я не буду его засчитывать. Чувствую себя виноватым, но все таки это не я виноват, это курс какой то странный. Фактически они его просто засчитывают всем желающим, никакого контроля.
14 сентября
- Слайды 2 занятия fplect2.pdf и новые задачи в системе тестирования.
13 сентября
- Оказывается, скоро начнется и еще один онлайн курс по ФП - про OCaml, Université Paris Diderot ( https://www.fun-mooc.fr/courses/parisdiderot/56002S02/session02/about )Желающие могут и его пройти и получить баллы.
10 сентября
- Дополнительные задачи выложены в систему тестирования.
- Они немного посложнее. Но в этот раз, мне кажется, не очень сложные. Первая - это просто немного более объемная задача, в ней, видимо, надо написать несколько функций и т.д. И еще надо немного подумать о том, чтобы не написать неоптимально. Вторая - это упражнение на немного более сложную рекурсию.
- Для них срок 2 недели, т.е. из надо послать до 24.09 включительно
- В доп.задачах, если они решены, но не очень эффективно, я могу попросить что-то исправить.
9 сентября
- Про замечания в системе тестирования:
- Если ваше решение получило статус "не зачтено", то почти точно я добавил в текст решения комментарий, типа подсказки. Имеет смысл его посмотреть.
- Если ваше решение получило статус "зачтено с замечаниями", тоже, значит, в коде я добавил комментарий. Не обязательно про то что не так, м.б. например там написано "замечательное решение!" :) Т.е. тоже имеет смысл посмотреть.
7 сентября
- Слайды 1 занятия fplect1.pdf
- Домашние задачи выложены в систему тестирования.
GHC и WinHugs и как ими пользоваться:
- Самая распостраненый способ уставновить Haskell - это Haskell Platform (http://www.haskell.org/platform). Работает для Windows, Linux и Mac. Для курса будет достаточно минимального варианта установки.
- В Haskell Platorm есть простые среды разработки GHCi и WinGHCi. Вот краткая инструкция о том, как начать с ними работать.
Литература и ссылки:
page revision: 287, last edited: 10 Dec 2016 12:38