Wiki - Факультет компьютерных наук - Вклад [ru]

Математическая логика

2021-09-07T13:43:04Z

Р®Р»СЏ Р’Р°СЃРёР»РµРІСЃРєР°СЏ:

== О курсе ==

Курс для студентов 2 курса в 1-2 модулях.

'''Лектор:''' Дашков Евгений Владимирович

'''Семинаристы:'''
{| class="wikitable"
|-
! Группа !! Преподаватель !! Учебный ассистент || classroom || Чат в телеграм || Консультации
|-
| 1 || Оноприенко Анастасия Александровна || [https://t.me/vslvskyy Василевская Юлия] || g6m5meu ||
||
|-
| 2 || Дашков Евгений Владимирович || Лямзин Алексей || || ||
|-
| 3 || Оноприенко Анастасия Александровна || Березовский Валерий || || ||
|-
| 4 || Запрягаев Александр Александрович || [https://t.me/AtgshkaSan Шитов Александр] || 3zbutmx || [https://t.me/joinchat/OEXzV66uIoEwYjQy Группа 4] ||
|}

=== Полезные ссылки ===

Телеграм-чат курса: https://t.me/joinchat/M0dUGBBjmuJAEs3JmWbU2A

== План курса ==

=== Лекции ===

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

=== Коллоквиум ===

=== Экзамен ===

=== Итоговая оценка за курс ===

Итог = Округление(min(10, 0.3 * ДЗ + 0.35 * К + 0.35 * Э))

ДЗ –– средняя оценка за домашние задания

К –– оценка за коллоквиум
Э –– письменный экзамен.

Округление арифметическое.

Автоматы не предусмотрены.

== Литература ==

Математическая логика

2021-09-07T13:41:26Z

Р®Р»СЏ Р’Р°СЃРёР»РµРІСЃРєР°СЏ:

== О курсе ==

Курс для студентов 2 курса в 1-2 модулях.

'''Лектор:''' Дашков Евгений Владимирович

'''Семинаристы:'''
{| class="wikitable"
|-
! Группа !! Преподаватель !! Учебный ассистент || classroom || Чат в телеграм || Консультации
|-
| 1 || Оноприенко Анастасия Александровна || [https://t.me/vslvskyy Василевская Юлия] || g6m5meu ||
||
|-
| 2 || Дашков Евгений Владимирович || Лямзин Алексей || || ||
|-
| 3 || Оноприенко Анастасия Александровна || Березовский Валерий || || ||
|-
| 4 || Запрягаев Александр Александрович || [https://t.me/AtgshkaSan Шитов Александр] || 3zbutmx || [https://t.me/joinchat/OEXzV66uIoEwYjQy Группа 4] ||
|}

=== Полезные ссылки ===

Телеграм-чат курса: https://t.me/joinchat/M0dUGBBjmuJAEs3JmWbU2A

== План курса ==

=== Лекции ===

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

=== Коллоквиум ===

=== Экзамен ===

=== Итоговая оценка за курс ===

Итог = Округление(min(10, 0.3 * ДЗ + 0.35 * К + 0.35 * Э))

ДЗ –– средняя оценка за домашние задания

КР –– оценка за коллоквиум
Э –– письменный экзамен.

Округление арифметическое.

Автоматы не предусмотрены.

== Литература ==

Математическая логика

2021-09-07T13:31:57Z

Р®Р»СЏ Р’Р°СЃРёР»РµРІСЃРєР°СЏ:

== О курсе ==

Курс для студентов 2 курса в 1-2 модулях.

'''Лектор:''' Дашков Евгений Владимирович

'''Семинаристы:'''
{| class="wikitable"
|-
! Группа !! Преподаватель !! Учебный ассистент || classroom || Чат в телеграм || Консультации
|-
| 1 || Оноприенко Анастасия Александровна || [https://t.me/vslvskyy Василевская Юлия] || ||
||
|-
| 2 || Дашков Евгений Владимирович || Лямзин Алексей || || ||
|-
| 3 || Оноприенко Анастасия Александровна || Березовский Валерий || || ||
|-
| 4 || Запрягаев Александр Александрович || [https://t.me/AtgshkaSan Шитов Александр] || 3zbutmx || [https://t.me/joinchat/OEXzV66uIoEwYjQy Группа 4] ||
|}

=== Полезные ссылки ===

Телеграм-чат курса: https://t.me/joinchat/M0dUGBBjmuJAEs3JmWbU2A

== План курса ==

=== Лекции ===

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

=== Коллоквиум ===

=== Экзамен ===

=== Итоговая оценка за курс ===

Итог = Округление(min(10, 0.3 * ДЗ + 0.35 * К + 0.35 * Э))

ДЗ –– средняя оценка за домашние задания

КР –– оценка за коллоквиум
Э –– письменный экзамен.

Округление арифметическое.

Автоматы не предусмотрены.

== Литература ==

Алгебра на ПМИ 2020/2021 (основной поток)

2021-04-02T21:45:31Z

Р®Р»СЏ Р’Р°СЃРёР»РµРІСЃРєР°СЏ:

Telegram-канал: [https://t.me/joinchat/1iz-LkYA2PsxN2Iy ссылка]

= Преподаватели и учебные ассистенты =

{| class="wikitable" style="text-align:center"
|-
! Группа !! БПМИ203 !! БПМИ205 !! БПМИ206 !! БПМИ207 !! БПМИ208 !! БПМИ209 !! БПМИ2010 !! БПМИ2011 !! БПМИ2012
|-
|| Лектор ||colspan="9"| [http://www.hse.ru/org/persons/112929840 Роман Авдеев]
|-
|| Семинарист || [http://www.hse.ru/org/persons/209508745 Дима Трушин] || [http://www.hse.ru/org/persons/112929840 Роман Авдеев] || [http://www.hse.ru/org/persons/65856498 Михаил Федоров] || [http://www.hse.ru/org/persons/63679989 Сергей Гайфуллин] || [http://www.hse.ru/org/persons/112929840 Роман Авдеев] || [http://www.hse.ru/org/persons/224876117 Антон Шафаревич] || [http://www.hse.ru/org/persons/304055991 Юлия Зайцева] || [https://www.hse.ru/org/persons/314158003 Михаил Хрыстик] || [http://www.hse.ru/org/persons/310667694 Артём Максаев]
|-
|| Ассистент || Никита Морозов || Максимилиан Громовой || [https://t.me/vslvskyy Юлия Василевская] || Елизавета Руденко || [https://t.me/cdraugr Володя Кузнецов] || Ирина Голобородько || Владимир Смурыгин || Арина Голубицкая || Ваге Оганнисян
|}

= Расписание консультаций =

{| class="wikitable"
|-
! !! Преподаватель/ассистент !! понедельник !! вторник !! среда !! четверг !! пятница
|-
| <center>1</center> || Роман Авдеев || || || || ||
|-
| <center>2</center> || Дима Трушин || || || || ||
|-
| <center>3</center> || Михаил Федоров || || || || ||
|-
| <center>4</center> || Сергей Гайфуллин || || || || ||
|-
| <center>5</center> || Антон Шафаревич || || || || ||
|-
| <center>6</center> || Юлия Зайцева || || || || ||
|-
| <center>7</center> || Михаил Хрыстик || || || || ||
|-
| <center>8</center> || Артём Максаев || || || || ||
|-
| <center>9</center> || Никита Морозов || || || || ||
|-
| <center>10</center> || Максимилиан Громовой || || || || ||
|-
| <center>11</center> || Юлия Василевская || style="text-align:center;" colspan="5" | По договорённости, пишите в [https://t.me/vslvskyy тг]
|-
| <center>12</center> || Елизавета Руденко || || || || ||
|-
| <center>13</center> || Володя Кузнецов || style="text-align:center;" colspan="5" | По договорённости, пишите в лс.
|-
| <center>14</center> || Ирина Голобородько || || || || ||
|-
| <center>15</center> || Владимир Смурыгин || || || || ||
|-
| <center>16</center> || Арина Голубицкая || || || || ||
|-
| <center>17</center> || Ваге Оганнисян || || || || ||
|}

= Порядок формирования оценок =

Итоговая оценка вычисляется следующим образом:

Oитоговая = 0,3 * Одз + 0,2*Ок/р + 0,5*Оэкз.

Округление производится только для итоговой оценки. Способ округления — арифметический.

= Краткое содержание лекций =

= Листки с задачами =

Листок с задачами к лекции N содержит в себе N-е домашнее задание.

= Контрольная работа =

= Экзамен =

Формат экзамена: устный, по билетам

= Ведомости текущего контроля =

{| class="wikitable" style="text-align:center"
|-
! [https://docs.google.com/spreadsheets/d/18Xuc1kmXHrZnjUovMsHHkpMokykGTqBTu5Pulvrahx0/edit#gid=1697515667 203] !! [https://docs.google.com/spreadsheets/d/18Xuc1kmXHrZnjUovMsHHkpMokykGTqBTu5Pulvrahx0/edit#gid=816668604 205] !! [https://docs.google.com/spreadsheets/d/18Xuc1kmXHrZnjUovMsHHkpMokykGTqBTu5Pulvrahx0/edit#gid=458782119 206] !! [https://docs.google.com/spreadsheets/d/18Xuc1kmXHrZnjUovMsHHkpMokykGTqBTu5Pulvrahx0/edit#gid=1181982027 207] !! [https://docs.google.com/spreadsheets/d/18Xuc1kmXHrZnjUovMsHHkpMokykGTqBTu5Pulvrahx0/edit#gid=2074432488 208] !! [https://docs.google.com/spreadsheets/d/18Xuc1kmXHrZnjUovMsHHkpMokykGTqBTu5Pulvrahx0/edit#gid=1003272547 209] !! [https://docs.google.com/spreadsheets/d/18Xuc1kmXHrZnjUovMsHHkpMokykGTqBTu5Pulvrahx0/edit#gid=658286564 2010] !! [https://docs.google.com/spreadsheets/d/18Xuc1kmXHrZnjUovMsHHkpMokykGTqBTu5Pulvrahx0/edit#gid=834516625 2011] !! [https://docs.google.com/spreadsheets/d/18Xuc1kmXHrZnjUovMsHHkpMokykGTqBTu5Pulvrahx0/edit#gid=1692194870 2012]
|}

= Литература =

* Э.Б. Винберг. Курс алгебры. М.: Факториал Пресс, 2002.
* А.И. Кострикин. Введение в алгебру. Основы алгебры. М.: Наука. Физматлит, 1994.
* А.И. Кострикин. Введение в алгебру. Основные структуры алгебры. М.: Наука. Физматлит, 2000.
* Сборник задач по алгебре под редакцией А.Н. Кострикина. Новое издание. М.: МЦНМО, 2009.
* Р. Лидл, Г. Нидеррайтер. Конечные поля (2 тома). М.: Мир, 1988.
* И.В. Аржанцев. Базисы Грёбнера и системы алгебраических уравнений. М.: МЦНМО, 2003.