Результаты поиска

Материал из eSyr's wiki.

По запросу «С++»

Перейти к: навигация, поиск

Для получения более подробной информации о поиске на страницах проекта, см. справочный раздел.

Ниже показаны 500 результатов, начиная с № 1.

Просмотреть (предыдущие 500) (следующие 500) (20 | 50 | 100 | 250 | 500)

Нет совпадений в названиях статей

Совпадения в текстах статей

Bruce Eckel, The State of The Java Union (21 427 байтов)
12: С большим энтузиазмом на нед...
14: ...ока явных результатов нет .Сказываются принятые ранее ...
22: ... места переписывались на С, С++. <...> При компиляции в байт...
24: ...шем при распараллеливании. Стало понятно, что те подход...
33: Синтаксис. Синтаксис имеет значение! То...
UNИX, осень 2007, 01 лекция (от 05 октября) (20 405 байтов)
1: ...ь 2007, 02 лекция (от 12 октября)|Следующая лекция]]
11: ...низован спецкурс кафедры АСВК с разным названием, и наз...
13: Спецкурсы по UNIX переросли в ...
15: # Слово «Linux» достаточно на сл...
32: ...ывается аббревиатура СОПО (Свободное Открытое ПО). По-ру...
Базы Данных, 01 лекция (от 01 сентября) (7075 байтов)
1: ...ых, 02 лекция (от 07 сентября)|Следующая лекция]]
4: [[Image:Kuznecov.jpg|thumb|400px|Кузнецов Сергей Дмитриевич]]
7: ''Лектор:'' Кузнецов Сергей Дмитриевич
11: ...ылка для скачивания--> 5B K-891 С. Д. Кузнецов «Основ...
12: ...ля скачиваний--> 5В М-272 А. С. Марков, К. Ю. Лисов...
Базы Данных, 02 лекция (от 07 сентября) (22 160 байтов)
1: ...ых, 03 лекция (от 14 сентября)|Следующая лекция]]
3: ...е сравнение архитектур [[БЭСМ-6]] и [[IBM-360]].
7: ...айловая система) и данными (СУБД). И каждая из них имеет с...
11: ...енное применение. В США и СССР два аспекта военной техни...
21: ...ектора, величайшая заслуга США в том, что они внесли биз...
Базы Данных, 03 лекция (от 14 сентября) (33 501 байт)
1: ...ых, 04 лекция (от 15 сентября)|Следующая лекция]]
5: ...овной причиной появления ФС стали 4 требования, которые...
10: # Синхронизация совместной ра...
12: '''Сoncurrency''' — трудно перев...
14: Сейчас в мире смысл слова ФС утрачивается. Это делается...
Базы Данных, 04 лекция (от 15 сентября) (15 983 байта)
1: ...ых, 05 лекция (от 21 сентября)|Следующая лекция]]
5: Следующим шагом являетмся н...
10: ...M]]) – одна из заслуженных СУБД. Уже в [[1974]] году считала...
12: ...омка только одного предка. С одной стороны, иерархия &ndas...
16: *Сетевая организация.
Базы Данных, 06 лекция (от 22 сентября) (15 463 байта)
1: ...ых, 07 лекция (от 28 сентября)|Следующая лекция]]
11: ==Структурная часть==
31: Существенная особенность ти...
44: ...ципиальной отличием БД от ФС является то, что данные яв...
69: С этой точки зрения определ...
Базы Данных, 07 лекция (от 28 сентября) (16 471 байт)
1: ...ых, 08 лекция (от 29 сентября)|Следующая лекция]]
6: <div class="comment">Страшнее зверя, чем многозна...
41: <div class="comment">С термином «ключ» связ...
49: Существует операция эквисое...
62: ...огая, которая существует в СУБД. И поэтому мультимножес...
Базы Данных, 08 лекция (от 29 сентября) (17 192 байта)
1: ...ных, 09 лекция (от 05 октября)|Следующая лекция]]
35: ...м такая очень простенькая ИС рассматривалась — ка...
37: ...компьютерных дам полюбила Советский союз, когда ещё он ...
103: ===Схема рассмотрения===
111: Следующая тема — исчис...
Базы Данных, 09 лекция (от 05 октября) (20 587 байтов)
1: ...ных, 10 лекция (от 06 октября)|Следующая лекция]]
13: Самая интересная операция&nbs...
63: * Сначала рассмотрим ситуацию...
89: ...-- Если есть общие атрибуты. Сделаем перерыв, подумайте, ...
121: Слу_Ном Слу_Имя Слу_Отд
Базы Данных, 10 лекция (от 06 октября) (23 217 байтов)
747: ...m">СЛУЖАЩИЕ{СЛУ_НОМ, СЛУ_ИМЯ, СЛУ_ЗАРП,
756: ...0cm">(СЛУЖАЩИЕ JOIN ПРОЕКТЫ WHERE (СЛУ_НОМ =
757: ...О_ЗАРП > 11500)) PROJECT (СЛУ_ИМЯ, СЛУ_НОМ)
764: Сейчас люди говорят раньше н...
777: ...LE="margin-bottom: 0cm">RANGE СЛУЖАЩИЙ IS СЛУЖАЩИЙ
Базы Данных, 11 лекция (от 12 октября) (20 306 байтов)
32: С одной стороны, эта штука
72: ...я для аттрибутов и столцов. С другой стороны, когда
84: СЛУЖАЩИЕ
88: ...ttom: 0cm">СЛУЖАЩИЕ (СЛУ_НОМ: 2934, СЛУ_ИМЯ:
89: 'Иванов', СЛУ_ЗАРП: 22400,00, ПРО_НОМ: 1)
Базы Данных, 12 лекция (от 13 октября) (12 072 байта)
4: {СЛУ_НОМ, СЛУ_ИМЯ} -> {СЛУ_НОМ}
18: ...ношению {СЛУ_НОМ, СЛУ_ИМЯ} -> {СЛУ_НОМ}
19: Отношение СЛУ_НОМ -> {СЛУ_ЗАРП, ОТД_НОМ} определяет...
20: 1.СЛУ_НОМ -> СЛУ_ЗАРП
21: 2.СЛУ_НОМ -> ОТД_НОМ
Базы Данных, 13 лекция (от 19 октября) (16 802 байта)
10: Самый простой вид – функц...
42: ...="margin-bottom: 0cm">Есть отношение СЛУЖАЩИЕ_ПРОЕКТЫ
43: ...cm">{СЛУ_НОМ (возможный ключ), СЛУ_ИМЯ,
44: СЛУ_ЗАРП, ПРО_НОМ, ПРОЕКТ_РУК ...
45: ...: 0cm">{FD} {СЛУ_НОМ – СЛУ_ИМЯ, СЛУ_НО –
Базы Данных, 14 лекция (от 20 октября) (24 626 байтов)
11: ...">СЛУЖАЩИЕ_ПРОЕКТЫ {СЛУ_НОМ, СЛУ_УРОВ,
12: СЛУ_ЗАРП, ПРО_НОМ, СЛУ_ЗАДАН}
15: СЛУ_УРОВ – разряд, Уровень
17: СЛУ_ЗАДАН – задание
33: СЛУ_НОМ
Базы Данных, 15 лекция (от 26 октября) (13 035 байтов)
22: ...="margin-bottom: 0cm">Есть отношение СЛУЖ_ПРО_ЗАДАН
23: {СЛУ_НОМ., ПРО_НОМ, СЛУ_ЗАДАН}
24: Служащий может учавствовать...
38: СЛУ_НОМ
44: СЛУ_ЗАРП
Базы Данных, 16 лекция (от 27 октября) (28 577 байтов)
9: СУБД, иногда эти ТД определя...
10: возможностей появляется в СУБД, тем сложнее проектиров...
28: r: СЛУЖ_ПРО_ЗАДАН
36: СЛУ_НОМ
42: СЛУ_ЗАДАН
Базы Данных, 17 лекция (от 02 ноября) (15 474 байта)
15: <LI>Сущность
16: <LI>Связь
35: Связь
36: Связь (так, как это было у Ора...
45: Связь бинарна.
Базы Данных, 18 лекция (от 03 ноября) (29 854 байта)
32: ...низмы семантика включения. Семантика
52: Суть мевханизма насл в том &nd...
92: .... Связи – необязательно. С родной стороны удобная
93: схема, С другой возникают трудност...
116: ...ожет на демократа-фашиста. Сро
Базы Данных, 19 лекция (от 09 ноября) (11 587 байтов)
10: ...ой определяются остальные. Считается, что она сама
91: Свойство, выраж атрибутом, я...
103: Сигнатура операции – имя
107: Самая большая неприятность ...
113: Связи:
Базы Данных, 20 лекция (от 16 ноября) (11 439 байтов)
8: Связи-ассоциации
12: Связи-ассоциации
85: Свойства OCL, заимствованные ...
122: Структурные ТД
192: ...argin-bottom: 0cm; text-decoration: none">context Служащие
Базы Данных, 21 лекция (от 17 ноября) (17 055 байтов)
31: context Служащий inv:
69: СУБД это будет реализовыват...
90: ...tom: 0cm">Внутренне устройство СУБД
105: ...т общих методов построения СУБДЖ. Как ни
118: делалась после Стистем Р, и писалась она, ка...
Базы Данных, 22 лекция (от 23 ноября) (22 996 байтов)
1: ...нных, 23 лекция (от 24 ноября)|Следующая лекция]]
3: ...ое время будем считать, что СУБД работает в однопольз ре...
10: ...редставления, которые есть СКЛ-запросы, которые видятся...
17: ...в., вот на интерфейсе СКЛ-РСС имён нет, там используется ...
25: До Системы Р у них была БД, в кот...
Базы Данных, 23 лекция (от 24 ноября) (18 074 байта)
1: ...нных, 24 лекция (от 30 ноября)|Следующая лекция]]
7: ...тво программирования, т. 3 «Сортировка и поиск»
9: ...еревьев прошла в два этапа. Сначала, с чего всё начанало...
67: # Промежуточные. Строятся таким вот образом:
80: При проектировании СУБД приходится иногда прин...
Базы Данных, 24 лекция (от 30 ноября) (20 448 байтов)
1: ...ных, 25 лекция (от 07 декабря)|Следующая лекция]]
15: ...бы это всёреализовалось, в Сситем Р ыбли логические бло...
42: ...ает ключи по пространству. С тем, чтобы вероятность поп...
46: # Создание списков в каждой яч...
52: Ричард Столлман определил облик 20 в...
Базы Данных, 25 лекция (от 07 декабря) (17 260 байтов)
1: ...ных, 26 лекция (от 08 декабря)|Следующая лекция]]
18: ...оотв образом информацию (в Систем Р, которая была менйф...
20: В Систем Р определялись два о...
48: След таблицу совместимости ...
54: ...онов, чтобы не возникла 11. В Систем Р поняли, что природа ...
Базы Данных, 26 лекция (от 08 декабря) (17 501 байт)
1: ...ных, 27 лекция (от 14 декабря)|Следующая лекция]]
10: Сейчас лектор расскажет ещё ...
14: Считается хорошим тоном во м...
16: ...ь транзакции одновременно? Следовательно, нужно иметь т...
21: ...ми и строками в нём не могу. Соотв, должны быть блокировк...
Базы Данных, 27 лекция (от 14 декабря) (12 847 байтов)
1: ...ных, 28 лекция (от 15 декабря)|Следующая лекция]]
32: СУБДЖ всё грамотно делать, п...
34: Самая частая причина – выкл...
46: ...опрос, откуда взять минуса. Самый простой вариант – у ка...
60: ...ли потеряли буфера памяти. Соответственно, задача восс...
Базы Данных, 28 лекция (от 15 декабря) (17 843 байта)
1: ...кабря)|Предыдущая лекция]] | Следующая лекция
10: ...ую лектор вчера нарисовал. С точки зрения координации.
12: ...ло протокол Write Ahead Lock (Пиши Сначала в Журнал). Если бы сн...
21: ...записи 2 к 1. Мы специально в СУБД делаем громадный буффе...
23: Скоро мы будем иметь БД в каж...
Базы Данных, билеты (1999 год) (3239 байтов)
1: ...опросы к экзамену по курсу С. Д. Кузнецова «Базы...
3: ...амяти на магнитных дисках. Структуры файлов на дисках.
4: # Файловые систем. Способы организации архиво...
5: # Файловые системы. Способы авторизации доступа...
7: # Основные функции СУБД.
Базы Данных, билеты (2003 год) (3613 байтов)
1: ...опросы к экзамену по курсу С. Д. Кузнецова «Базы...
3: ...труктуры файлов на дисках. Способы организации архиво...
4: # Файловые системы. Способы авторизации доступа...
6: ... СУБД, типовая организация СУБД.
7: # Ранние СУБД. Системы, основанные на инвер...
Базы Данных, билеты (2004 год) (3912 байтов)
1: ...опросы к экзамену по курсу С.Д.Кузнецова "Базы данных"
3: ...труктуры файлов на дисках. Способы организации архиво...
4: # Файловые системы. Способы авторизации доступа...
6: ... СУБД, типовая организация СУБД.
22: # Семантические модели данных...
Базы Данных, билеты (2005 год) (5071 байт)
1: ...опросы к экзамену по курсу С. Д. Кузнецова «Базы...
3: ...труктуры файлов на дисках. Способы организации архиво...
4: # Файловые системы. Способы авторизации доступа...
6: ... СУБД, типовая организация СУБД.
22: # Семантические модели данных...
Базы Данных, билеты (2006 год) (5064 байта)
1: ...опросы к экзамену по курсу С. Д. Кузнецова «Базы...
3: ...труктуры файлов на дисках. Способы организации архиво...
4: # Файловые системы. Способы авторизации доступа...
6: ... СУБД, типовая организация СУБД.
22: # Семантические модели данных...
Базы Данных, любимые вопросы лектора (13 081 байт)
16: ** Самый дурацкий ответ – и там...
19: ** Странные ответы: на двух кон...
22: ** На самом деле, в СКЛ с любой реализации, если ...
39: ...-либо операцию на уровне РСС, нужно, вообще говоря, выпо...
54: ... называть БД, СУБД называть СУБД
Введение в теорию построения оптимизирующих компиляторов, 01 лекция (от 19 сентября) (21 720 байтов)
25: Си, будем рассматривать вход...
29: Самые важные архитектуры: IA32...
48: специфика языка. С другой стороны, при движен...
81: ...о-независимая оптимизация. Свёртка
111: платформ, и он разный. Соответственно, back-end, заточе...
Введение в теорию построения оптимизирующих компиляторов, 02 лекция (от 26 сентября) (24 325 байтов)
15: КС-грамматика: O(n^3), O(n^2)/ Это
43: ...осомотренная часть дальше. Состояние автомата, то есть ...
62: ...орачиваем входную цепочку. Сам по себе разбор, то есть о...
86: С-код
103: С-код
Введение в теорию построения оптимизирующих компиляторов, 03 лекция (от 10 октября) (15 035 байтов)
8: ...анавливается неправильно. Следствием
10: ...едставляет синтакс разбор. Синт
86: ... это или объявление. То же в С++: a(b).
143: С парсерами странная ситуац...
155: проблемы. Старые версии бизона просто ...
Введение в теорию построения оптимизирующих компиляторов, 04 лекция (от 24 октября) (18 809 байтов)
4: Сегодня продолжим изучение ...
16: ...ия семантического анализа. Семант анализ будет заключа...
27: ...ля извращённых языков типа С++)
47: <LI>Сделать более явным поток
312: Свойства доминирования:
Введение в теорию построения оптимизирующих компиляторов, 05 лекция (от 31 октября) (16 812 байтов)
5: доминирование, про граф ... . Сегодня примерно про то же с...
8: Структурный анализ
41: <LI>См. Рис 4 – сложное условие...
71: Следующий вопрос:
80: Следующий этап:
Введение в теорию построения оптимизирующих компиляторов, 06 лекция (от 07 ноября) (24 105 байтов)
439: Сверху эффективная высота р...
448: Следовательно, время работы ...
468: ...екоторое количество путей. Соотв, на каждом из этих путе...
Введение в теорию построения оптимизирующих компиляторов, 07 лекция (от 14 ноября) (20 430 байтов)
4: Сегодня будет некоторое пре...
73: С учётом этого программа буд...
157: Соответственно, предположим...
166: фи-функции. Соотв, нам потребуется не пр...
232: С помощью такого алгоритма м...
Введение в теорию построения оптимизирующих компиляторов, 08 лекция (от 21 ноября) (14 192 байта)
131: Соответственно, две перем не...
147: ...каются другие определения. Соответственно,
176: Соглашения по вызовам функц...
199: Склецйка регистров:
221: её степени минимальна. Стоимость сброса – то, нас...
Введение в теорию построения оптимизирующих компиляторов, 09 лекция (от 05 декабря) (12 841 байт)
1: ...ров, 10 лекция (от 12 декабря)|Следующая лекция]]
5: Список имеет важное сельско...
32: Самый простой способ анализ...
42: Следующий способ: анализ али...
46: Если мы рассмотрим Си, то такое поведение огово...
Вычислительные Системы (4125 байтов)
5: == Структура курса ==
6: <div style="font-size:90%">См. также [[Вычислительные си...
10: ...я БЭСМ-6 больше, чем число БЭСМ-6.</div>
17: .... Параллельные вычисления. СПб, «БХВ – Петербург», 2002
19: .... Организация ЭВМ и систем. СПб, «Питер», 2007
Вычислительные Системы, 01 лекция (от 03 сентября) (3628 байтов)
1: ...мы, 02 лекция (от 10 сентября)|Следующая лекция]]
3: ... шли заказы, и был прогресс. Сейчас же плодятся программ...
9: ...е развития параллелизма в ВС. Будут рассмотраны архитек...
15: ... узком это те особенности ВС, которые непосредственно с...
17: ...а с фиксированной запятой. Считалось, что всё очень хор...
Вычислительные Системы, 02 лекция (от 10 сентября) (22 731 байт)
1: ...мы, 03 лекция (от 17 сентября)|Следующая лекция]]
8: ...ныне широко используемыми. Сейчас эта система вполне на...
12: # Смоляная яма
27: # Серебряной пули нет — сущно...
32: ...той области. Также книг по ОС и Архитектуре есть очень м...
Вычислительные Системы, 03 лекция (от 17 сентября) (6391 байт)
1: ...мы, 04 лекция (от 24 сентября)|Следующая лекция]]
61: ...ые качественные резульаты. Считается, что моделировани...
81: ...ер команд уже есть в БЭСМ-6. Сергей Алексеевич называл э...
85: {{Вычислительные Системы}}
Вычислительные Системы, 05 лекция (от 08 октября) (13 982 байта)
1: ...емы, 08 лекция (от 15 октября)|Следующая лекция]]
3: ... не так сильно. Проигрывает Сайбер в плане сложности уст...
6: ...происходит регенерация, ...) Сколько нужно блоков памяти,...
12: ...рные, но также и скалярные. Состоит из конвейерных ФУ. Е...
16: Сейчас векторно-конвейерные...
Вычислительные системы, вопросы по курсу (4072 байта)
2: ...оманд и потоками данных в ВС
3: ...ма обработки информации в ВС
4: ...уктур универсальных ЭВМ (БЭСМ-6). CISC и RISC архитектуры
13: ...динения процессоров. SP-2, МВС</li>
19: <li>Состав средств аппаратной п...
Искусственный Интеллект (5906 байтов)
5: * Сайт — http://al.cs.msu.su/malk/ai
9: ...ле октября лектор поедет в Севастополь.
18: Сегодня будет всего одна лек...
31: == Структура курса ==
Искусственный Интеллект, 01 лекция (от 04 сентября) (24 217 байтов)
1: ...кт, 02 лекция (от 11 сентября)|Следующая лекция]]
5: Будут эпиграфы. Сначала ко всему курсу, пото...
28: # Самая естественная интерпре...
32: ... дрезину и поехали на ней». Сравнение очень правильное, ...
41: Сначала было сложно и пользо...
Искусственный Интеллект, 02 лекция (от 11 сентября) (66 429 байтов)
1: ...кт, 03 лекция (от 12 сентября)|Следующая лекция]]
4: <div class="comment">Сегодня лектор попытается и...
15: ...ану лектор должен уехать в Севастополь.
27: ...ить новую версию, и выложит Севастополь 2005. Это будет на ...
35: Существуют подходы, где не д...
Искусственный Интеллект, 03 лекция (от 12 сентября) (7811 байтов)
1: ...кт, 04 лекция (от 18 сентября)|Следующая лекция]]
7: # М. Ю. Семёнов «Язык Лисп для персо...
9: == Собственно Лисп ==
16: ** Символы — некие идентификат...
17: ** Строки
Искусственный Интеллект, 04 лекция (от 18 сентября) (29 403 байта)
1: ...кт, 05 лекция (от 19 сентября)|Следующая лекция]]
15: Сегодня лектор расскажет в п...
17: ...дем. Возможно, что лектор в Севастополь вообще не поеде...
26: Создание интеллектуальной с...
42: * Симв данные есть
Компьютерные Сети, вопросы/Глава 1 (19 716 байтов)
4: * [+] Сокращение расстояний и сти...
7: == Стандартизующими организац...
44: * [+] Сервис с установлением соед...
45: * [-] Сервис с разрывом соединени...
46: * [+] Сервис без установления сое...
Компьютерные Сети, вопросы/Глава 2 (23 582 байта)
13: == Стандарт Е1 предназначен для...
19: * (-) Способ маршрутизации вызова...
195: * (+) ТС
221: == Силитон – это специальная ф...
225: == Сложность алгоритма переста...
Компьютерные Сети, вопросы/Глава 5 (5301 байт)
10: ...ередачи пакетов зависит от СПД
20: * [ ] Стоимость передачи между уз...
41: == Сколько может быть подсетей ...
75: {{Курс Компьютерные Сети}}
Компьютерные Сети, вопросы/Глава 6 (11 689 байтов)
14: ... счетчик часов 10-разрядный. С какой скоростью (раз/сек) д...
21: * (-) Сетевого
40: * (+) Сообщение, с которым работае...
41: * (-) Сущность, реализующая функц...
66: * [-] Сетевой уровень не устанавл...
Компьютерные Сети, вопросы/Глава 3 (21 605 байтов)
5: * (+) Сервис без соединения без ув...
6: * (-) Сервис с соединением без уве...
7: * (+) Сервис без соединения с увед...
10: * (-) С соединением, подтверждени...
13: * (-) С соединением, без подтвержд...
Конструирование Компиляторов, 02 лекция (от 19 февраля) (11 807 байтов)
1: ...ров, 03 лекция (от 26 февраля)|Следующая лекция]]
18: ...ваться теорема, что любая КС-грамматика порождается гр...
22: ...инейным, то он же является КС. Язык является уровнем i, ес...
26: '''Теорема'''. Каждый КС-язык может быть порождён н...
27: ...казательство'''. У нас есть КС-грамматика.
Конструирование Компиляторов, 03 лекция (от 26 февраля) (18 075 байтов)
1: ...торов, 04 лекция (от 05 марта)|Следующая лекция]]
88: ...о строк ограничено kn. Соответственно, найдётся та...
102: ...ярный перечислимый тип). На Си это
Конструирование Компиляторов, Алгоритмы решения задач (84 891 байт)
38: !rowspan="2"|Состояние ДКА
40: !colspan="3"|Символы, по которым осуществ...
59: !rowspan="2"|Состояние ДКА
61: !colspan="3"|Символы, по которым осуществ...
92: !rowspan="2"|Состояние ДКА
Конструирование Компиляторов, Определения (17 061 байт)
1: ... Михаил (оригинал), Комаров Сергей (обработка)
19: == Сентенциальная форма ==
20: '''Сентенциальная форма''' — по...
38: Существует теорема, которая ...
107: ...сли он не входит ни в одну [[#Сентенциальная форма|сентен...
Конструирование Компиляторов, Теоретический минимум (2007) (29 675 байтов)
39: == Соотношение между языками, п...
48: == Соотношение между языками, п...
113: ...ением детерминированного. Существует теорема, гласяща...
178: == Сформулировать соотношение ...
185: ...жду языками, порождаемыми КС-грамматиками, и языками, до...
Математическая Логика, 01 лекция (от 24 сентября) (21 873 байта)
1: ...ка, лекция 02 (от 25 сентября)|Следующая лекция]]
23: ...ые знания, были осмеиванны. Свифт в Гулливере осмеял эту...
29: ... ∀R обладает свойством Q; С обладает свойством Q ↔ C о...
44: ...ксперт, можем получать из ЭС практически автоматически...
63: Вывод налицо. Соответственно, хотелось бы ...
Математическая Логика, 01 семинар (от 26 сентября) (10 374 байта)
1: ...ка, 02 семинар (от 10 октября)|Следующий семинар]]
21: ...е сказано противоположное. Следовательно, правильной б...
25: С подобными тонкостями мы бу...
41: Сразу (не вдаваясь в суть фра...
63: Структура этой фразы достат...
Математическая Логика, 02 лекция (от 25 сентября) (9203 байта)
1: ...ка, 03 лекция (от 26 сентября)|Следующая лекция]]
3: '''Слайды:''' http://mathcyb.cs.msu.su/paper/zakh...
7: Сегодня будет он рассмотрен,...
18: * Предметные константы. Символы, которые играют роль...
51: * Сложная формула — (φ {&|&or...
Математическая Логика, 03 лекция (от 26 сентября) (10 914 байтов)
1: ...ика, 04 лекция (от 02 октября)|Следующая лекция]]
3: '''Слайды:''' http://mathcyb.cs.msu.su/paper/zakh...
8: .... Проблема общезначимости. Семантические таблицы.
25: Сами по себе модели не так ин...
35: * Даша любит Сашу
ООАиП, 04 лекция (от 05 октября) (16 110 байтов)
1: ...АиП, 05 лекция (от 12 октября)|Следующая лекция]]
26: * Стать самым крупным поставщ...
38: * Срок реализации
44: * Совокупность бизнес-акторов...
45: * Совок б-п
Основы Кибернетики (11 132 байта)
3: * '''Лектор''': Ложкин Сергей Андреевич
5: * '''Сайт кафедры''': http://mathcyb.cs.msu.su
7: = Содержание курса =
12: # Синтез, сложность и надёжнос...
32: # Синтез управляющих систем, н...
Основы Кибернетики, 01 лекция (от 09 февраля) (12 857 байтов)
1: ...ики, лекция 02 (от 16 февраля)|Следующая лекция]]
14: С этими гранями связано поня...
157: Существенно зависят от 2 пер...
177: Сила операций: отрицание, ко...
207: Совершенная ДНФ <=> ранг кажд...
Основы Кибернетики, 02 лекция (от 16 февраля) (13 445 байтов)
1: ...ики, 03 лекция (от 23 февраля)|Следующая лекция]]
31: Сумма тупиковых соответству...
52: Строгое равенство тоже нево...
73: Задача. Сформулировать аналогично д...
101: Утверждение 4.1. Совершенная ДНФ ФАЛ f &in; P2(n) ...
Основы Кибернетики, Алгоритмы решения задач (2389 байтов)
4: ## По заданной таблице или КС и списку ее неисправностей...
6: ...вивалентным формулам или КС построить эквивалентное п...
10: ...ть реализующую ее СФЭ или КС.
12: ... ей самокорректирующуюся КС.
Основы Кибернетики, Алгоритмы решения задач/Задачи на ДНФ (27 841 байт)
27: ===== Сокращённая ДНФ =====
28: '''Сокращённая ДНФ''' — дизъюнк...
54: ...ДНФ для функции ''f'' = (0110 1111). С использованием единичного...
147: Строим карту: 
224: Сокращённая ДНФ для данной ф...
Основы Кибернетики, Алгоритмы решения задач/Задачи на синтез схем (23 941 байт)
1: ...ть реализующую ее СФЭ или КС. ==
8: ==== Получение СФЭ ====
9: Строим как-нибудь подвыраже...
11: ==== Получение КС ====
38: ==== Получение СФЭ ====
Основы Кибернетики, Алгоритмы решения задач/Задачи на тесты (13 265 байтов)
1: == По заданной таблице или КС и списку ее неисправностей...
29: ...занная с ней цель контроля. Сопоставим ''i''-й строке матр...
31: Сопоставим паре (''M'',''N'') матр...
35: '''Следствие:''' Каждая элемента...
85: 3. Следовательно, тупиковыми д...
Основы Кибернетики, Алгоритмы решения задач/Задачи на эквивалентные преобразования и структурное моделирование (9948 байтов)
1: ...вивалентным формулам или КС построить эквивалентное п...
29: ** ''t''ОС: ''x''1 & ''x''2 ∨ ...
96: ...ультате должна получиться СФЭ с минимальной глубиной.</...
101: ...imized height ec.png|thumb|160px|Итоговая СФЭ]]
107: ...|Упорядоченные ЭК итоговой СФЭ]]
Основы Кибернетики, Определения (4142 байта)
23: === Сокращенная дизъюнктивная н...
25: ==== Сокращённая ДНФ ====
26: '''Сокращённая ДНФ''' — дизъюнк...
Основы Кибернетики, экзаменационные вопросы 3 потока (10 043 байта)
4: ...зовут лектора? — профессор Сергей Андреевич Ложкин (http:/...
11: **2. Сокращенная дизъюнктивная н...
19: ...(СФЭ). Оценка числа формул и СФЭ в базисе Б0={&,۷,ך} ([1:гл.2,§§...
22: ...бразований формул в классе СФЭ. Моделирование эквивале...
23: ...онирования многополюсных КС ([1:гл.2,§§5,6]).
Основы кибернетики, Теормин (63 531 байт)
8: ...au;) — ''неуплотняемая'', если С представляет собой максим...
16: '''Следствие'''. Ширина ОС: ''x''1 & ''x''2 ∨ ...
48: * Совокупность всех различных...
70: '''Утверждение'''. Совершенная <span title="дизъюнкт...
Параллельная Обработка Данных, 03 лекция (от 18 сентября) (21 553 байта)
1: ...ых, 04 лекция (от 25 сентября)|Следующая лекция]]
13: '''Пример.''' Суммирование элементов масс...
39: ...омпьютер. Например решение СЛАУ.
41: ...о, и порядок их исполнения. С одной стороны, казалось бы,...
46: ... тоже очень серьезный этап. Сравните код, генерируемый GN...
Параллельная Обработка Данных, 05 лекция (от 02 октября) (11 843 байта)
1: ...ных, 06 лекция (от 09 октября)|Следующая лекция]]
12: ...ность (до 100 000 процессоров). С общей памятью — проще п...
20: Сейчас, по большому счету, ис...
26: ...sp;— вычислительная ячейка. Сейчас идет с процессорами PA...
27: Скорость обмена данными меж...
Параллельная Обработка Данных, 06 лекция (от 09 октября) (13 591 байт)
1: ...ных, 07 лекция (от 16 октября)|Следующая лекция]]
5: Составляются из блоков, кажд...
11: Сейчас Intel переориентировал...
14: Сегодня подробней рассмотри...
25: ...), обещают четырехядерные). Сетевой интерфейс, связанны...
Параллельная Обработка Данных, 08 лекция (от 23 октября) (12 684 байта)
1: ...ных, 09 лекция (от 30 октября)|Следующая лекция]]
6: С направлением распрощались...
43: Сделав хитрую схему мы добил...
45: Секция межпроцессорного вза...
46: Секция ввода-вывода.
Портал:Linux (1403 байта)
6: * [[Настройка печати в ОС Linux]]
12: * [[Спецкурс по Linux, весна 2007]]
Практика мультипарадигмального программирования, 02 лекция (от 19 февраля) (10 644 байта)
1: ...ния, 03 лекция (от 26 февраля)|Следующая лекция]]
31: есть expr. Склеивает все аргументы и во...
46: ...фметические операции как в Си. Числа бывают с плавающей ...
94: то будет совсем похоже на Си.
117: == Списки ==
Практика мультипарадигмального программирования, 03 лекция (от 12 марта) (9801 байт)
1: ...вания, 04 лекция (от 19 марта)|Следующая лекция]]
12: ...манду, написанную на Си или Си++. Так обычно и делают: соз...
74: Что такое mangling — в С++ есть перегрузка функций. ...
88: ... Что он собой представляет: Сишное приложение с встроен...
133: ... котором можно менять язык. С символами нацкодировок вс...
UNИX, весна 2008, 04 семинар (от 30 мая) (58 836 байтов)
8: = Системы хранения данных =
11: 
19: С чего вдруг лектор рассказы...
23: ...ь окунуться в то, что такое СХД, конкретно SAN, и очень мно...
33: === Содержание ===
Практика мультипарадигмального программирования, 04 лекция (от 19 марта) (14 671 байт)
1: ...вания, 05 лекция (от 26 марта)|Следующая лекция]]
3: = Встраиваемый пример ЛИСПа =
5: Существует один пример встр...
7: ...стина, но на самом деле это Схема. Есть тьма-тьмущая сво...
9: ...едполагается интеграция с Си. Посему будет рассмотрена...
Практика мультипарадигмального программирования, 05 лекция (от 26 марта) (9534 байта)
1: ...ания, 06 лекция (от 02 апреля)|Следующая лекция]]
4: ...угого языка выступает язык Си.
6: ...будь ЛИСП или какую-нибудь Схему, то ему совершенно не н...
8: ...ровать модули на Лиспе и на Си? Это было бы интересно и э...
10: ...рует. Но получается файл на Си, но там такая каша, что с ч...
Практика мультипарадигмального программирования, 06 лекция (от 02 апреля) (10 053 байта)
1: ...ания, 07 лекция (от 09 апреля)|Следующая лекция]]
5: ...и нет. Можем мы сделать их в Си? Да, есть не одна библиоте...
9: ...е вносят новые парадигмы в С++. Во-первых, функция как об...
13: ...жно сделать замыкание, ибо С++ не может работать с имена...
51: Создаём новую функцию как су...
Расписание осеннего семестра 2007 года, 4 курс (36 022 байта)
28: ...ООП: технологии .NET (Березин Сергей Борисович) 685
35: ...ООП: технологии .NET (Березин Сергей Борисович) 685
39: |[[Социология]] (Бубнова М.&nbsp...
41: |Спецсеминар 653
42: ... обр. св. (Фурсов А. С.) 786
Социология, 01 лекция (от 05 сентября) (19 520 байтов)
1: ...ия, 02 лекция (от 19 сентября)|Следующая лекция]]
3: = Социология как наука. Формир...
4: ...циологоа Роберта Мертона «Социология — это очень мо...
10: ...ксность изучения общества. Социология — наука о цело...
12: Социология использует целый...
Социология, 02 лекция (от 19 сентября) (17 530 байтов)
1: ...гия, 03 лекция (от 03 октября)|Следующая лекция]]
9: Так вот. Существует некая фундамента...
11: * Социологические парадигмы
12: ... идти от чатсного к общему. Сюда мы относим:
14: *** Символический интеракциони...
Социология, 03 лекция (от 03 октября) (23 244 байта)
1: ...гия, 04 лекция (от 17 октября)|Следующая лекция]]
3: Сегодня мы закончим с период...
5: ... была теория соц. действия. Согл. данной теории, выделял...
11: ...елерациональное действие. Самым чистым видом данного т...
18: ...дологический приём. Далее. Своя т. з. у У. была на соц. стр...
Спецкурс по Linux, весна 2007, 01 лекция (от 16 февраля) (11 768 байтов)
1: ...сна 2007, 02 лекция (от 02 марта)|Следующая лекция]]
9: = Событие первое. Конференция ...
10: ...не в photoshop а в аналоге photoshop. Самый лучший аналог програм...
14: //Системный администратор – ч...
22: = Событие второе. Школа Linux для...
Спецкурс по Linux, весна 2007, 02 лекция (от 02 марта) (24 802 байта)
1: ...сна 2007, 03 лекция (от 09 марта)|Следующая лекция]]
17: ...атать одокумент, посему в ОС есть утилиты (удобства), ко...
19: ... перегоним этот страшный СССР". Посему, большие финансов...
23: ...орый был продан минобороны США,, и проработал там до сер...
25: ...руктуры, в результате язык С, и на нём написали это всё.
Спецкурс по Linux, весна 2007, 03 лекция (от 09 марта) (15 485 байтов)
1: ...сна 2007, 04 лекция (от 16 марта)|Следующая лекция]]
8: ... на которых ездят студенты. Стоят два студента, машина ч...
27: * Степень подлинуксовости. — ...
31: Третье. Схватить на улице линуксоид...
42: ...ки, с которыми она собрана. Статическая сборка/с библио...
Спецкурс по Linux, весна 2007, 04 лекция (от 16 марта) (16 214 байтов)
1: ...сна 2007, 05 лекция (от 23 марта)|Следующая лекция]]
7: Сегодня ГК не расскажет, как ...
33: * Специальный файл в каталоге ...
39: ...ьютера, по тому, насколько ОС и компьютер могут разобрат...
66: Существует размазанное по в...
Спецкурс по Linux, весна 2007, 05 лекция (от 23 марта) (16 292 байта)
1: ...сна 2007, 06 лекция (от 30 марта)|Следующая лекция]]
8: Самые крупные Люди, занимающ...
11: * Список задач (в прошлом году ...
21: ...имаетесь тем, что ставите ОС ежедневно, то установщик д...
26: * Скорость и качество решения ...
Спецкурс по Linux, весна 2007, 06 лекция (от 30 марта) (16 875 байтов)
1: ...на 2007, 07 лекция (от 06 апреля)|Следующая лекция]]
20: ...а между КС и терминалом: в КС даются команды, и там не ну...
22: ...я все интерфейсы: менюшки... Сейчас в графич интерфейсе с...
26: ... выдать свою матрицу точек. Соответственно, нужно понят...
33: ...оставляющих удобство. Ибо РС --- так организованноек про...
Спецкурс по Linux, весна 2007, 07 лекция (от 06 апреля) (21 158 байтов)
1: ...на 2007, 08 лекция (от 13 апреля)|Следующая лекция]]
17: * Самая старая, существовала е...
19: ОС
24: ...я, либо мы хотим такое, что ОС не обеспечивает. Эта задач...
29: * Среда
Спецкурс по Linux, весна 2007, 08 лекция (от 13 апреля) (21 051 байт)
1: ...на 2007, 08 лекция (от 20 апреля)|Следующая лекция]]
5: Совершенно неожиданно ГК пр...
15: ...документации о 8 томах (см. [[Спецкурс по Linux, весна 2007, 02 л...
39: <div class="comment">Сегодня утром ГК приснилось,...
41: * С профессиональными навыкам...
Спецкурс по Linux, весна 2007, 09 лекция (от 20 апреля) (17 490 байтов)
1: ...на 2007, 10 лекция (от 27 апреля)|Следующая лекция]]
25: * Существующий дистрибутив и ...
27: * Создание нового дистрибутив...
33: ...оторый позволяет сделать ОС на компьютере.
38: * Сборка, deployment. Есть набор, ну...
Спецкурс по Linux, весна 2007, 10 лекция (от 27 апреля) (14 821 байт)
1: ...весна 2007, 11 лекция (от 04 мая)|Следующая лекция]]
8: Сколько уровней в пятиуровн...
10: Сколько протоколов транспор...
23: *: Слово “трафик” можно стере...
38: ...Нужно ли это вообще делать? Существует ли это задача вну...
Спецкурс по Linux, весна 2007, 11 лекция (от 04 мая) (17 288 байтов)
1: ...весна 2007, 12 лекция (от 11 мая)|Следующая лекция]]
32: ...стретить X11R6, последний X11R7. Существует несколько реализ...
45: * Существует переменная окруж...
54: ...нь много, и ими заведует xev. События могут быть не только...
56: ..., например, свою геометрию. Существует некоторый специа...
Спецкурс по Linux, весна 2007, 12 лекция (от 11 мая) (16 431 байт)
1: ... 04 мая)|Предыдущая лекция]] | Следующая лекция
15: ...шется на английском языке. С одной стороны, это удобно р...
20: Сам процесс адаптации ПО сос...
30: Сейчас имеются готовые сред...
57: ... средство для локализации. С одной стороны, там набор со...
Спецкурс по Linux, весна 2007, экзамен (от 18 мая) (8305 байтов)
140: {{Курс Спецкурс по Linux, весна 2007}}
Текущие события (1016 байтов)
Функциональный Анализ, 03 лекция (от 21 сентября) (10 541 байт)
1: ...из, 04 лекция (от 28 сентября)|Следующая лекция]]
27: == Свойства измеримых ф-ций ==
65: Определение 4. Сходимость по мере. Пусть Е --...
67: == Сочетание сходимостей почти...
Функциональный Анализ, 05 лекция (от 05 октября) (15 166 байтов)
1: ...лиз, 06 лекция (от 12 октября)|Следующая лекция]]
7: ...но доказать, что |E[f(x) > 0]| = 0. Сначала, покажем ∀a |E[f(x) > a...
28: Замечание 2. Свойства интеграла 2---5 также...
38: ...усть E имеет конечную меру. Совокупность всех интегриру...
73: Следствие из теоремы для ряд...
Численные Методы (4371 байт)
8: = Содержание курса =
20: .... Впервые это явно высказал Самарский. Обычно эту модель...
30: # Александр Андреевич Самарский, А. В. Гулин, «...
31: # А. А. Самарский, «Введение в числе...
32: # Николай Сергеевич Бахвалов, Николай ...
Численные Методы, 01 лекция (от 12 февраля) (8228 байтов)
7: Система линейных алгебраиче...
20: ..., используя прямые формулы. Сюда относятся: метод Крамер...
30: Другие задачи, связанные с СЛАУ:
34: == Параграф 2. Связь метода Гаусса с разлож...
40: ... с единицами на диагонали = С. это требует (m3−...
Численные Методы, 02 лекция (от 13 февраля) (16 072 байта)
1: ...оды, 03 лекция (от 19 февраля)|Следующая лекция]]
4: == Параграф 2. Связь метода Гаусса с разлож...
73: === Связь метода Гаусса с разлож...
79: ...олучаем систему BСx = f. Система Ax = f (1) своди...
108: Сейчас мы покажем, что разум...
Численные Методы, 03 лекция (от 19 февраля) (14 095 байтов)
1: ...оды, 04 лекция (от 20 февраля)|Следующая лекция]]
41: Сложность — порядка m3</...
69: ...но по нему. Например, метод Самарского сходится на поря...
73: * С какой скоростью
175: ...онической форме. И это ввёл Самарский. Что позволило соз...
Численные Методы, 06 лекция (от 05 марта) (14 453 байта)
1: ...етоды, 07 лекция (от 06 марта)|Следующая лекция]]
125: === Степенной метод ===
128: Степенной метод — метод, кот...
Численные Методы, 07 лекция (от 06 марта) (13 549 байтов)
1: ...етоды, 08 лекция (от 12 марта)|Следующая лекция]]
20: ...lambda;0 + iλ1, то СВ надо искать в виде μ = μ<s...
30: ...атной матрицы СЗ обратны к СЗ исходной матрицы. Тогда:
36: ...ist; {ek}1m из СВ 
50: ...k}1m ОНБ из СВ
Численные Методы, 08 лекция (от 12 марта) (8986 байтов)
1: ...етоды, 09 лекция (от 13 марта)|Следующая лекция]]
6: Свойства матрицы H:
126: * С = U−1AU
140: * С = U−1AU
Численные Методы, 10 лекция (от 19 марта) (15 084 байта)
1: ...етоды, 11 лекция (от 20 марта)|Следующая лекция]]
109: Существует несколько способ...
Численные Методы, 11 лекция (от 20 марта) (12 665 байтов)
1: ...етоды, 11 лекция (от 26 марта)|Следующая лекция]]
4: ...ости квадратурной формулы Симпсона ==
8: По формуле Симпсона:
Численные Методы, 12 лекция (от 26 марта) (13 288 байтов)
1: ...етоды, 13 лекция (от 27 марта)|Следующая лекция]]
16: # Строится итерационный проце...
36: ==== Самый простой метод ====
119: * Скорость сходимости колебле...
Численные Методы, 13 лекция (от 27 марта) (7409 байтов)
1: ...тоды, 14 лекция (от 02 апреля)|Следующая лекция]]
10: == Параграф 4. Сходимость метода Ньютона. О...
61: ...лавный этап — выбор сетки. Существуют методы с изменяю...
77: Схем разностных, которые это...
82: # Существует и единственно ре...
Численные Методы, 14 лекция (от 02 апреля) (11 801 байт)
1: ...тоды, 15 лекция (от 03 апреля)|Следующая лекция]]
39: '''Определение'''. Сеточная ф-ция (8) называется ...
46: ===== Сходимость =====
Численные Методы, 15 лекция (от 03 апреля) (11 951 байт)
1: ...тоды, 16 лекция (от 09 апреля)|Следующая лекция]]
5: === Пункт 3. Симметричная разностная схе...
19: ...етическими неравенствами. Способов очень много методо...
114: Симметричная схема обладает...
Численные Методы, Определения (45 576 байтов)
2: ... алгебраических уравнений (СЛАУ) ==
3: '''Система линейных алгебраиче...
9: == Группы методов решения СЛАУ ==
14: == Прямой метод решения СЛАУ ==
15: '''Прямой метод решения СЛАУ''' — метод, который ...
Численные Методы, вопросы по курсу (7699 байтов)
2: ...я (от 13 февраля)# Параграф 2. Связь метода Гаусса с разлож...
4: ...истем линейных уравнений. (СЛАУ) ([[Численные Методы, 02 л...
5: ...ных методов решения систем СЛАУ. ([[Численные Методы, 03 л...
11: ...етоды, 06 лекция (от 05 марта)#Степенной метод|лекции]], [[Чи...
15: ...ения нелинейных уравнений. Сходимость метода.
Численные Методы, задачи на лекциях (6972 байта)
143: С>0. Доказать, что существует ...
172: ...j = 0. Следовательно С - ВПТФ.
Численные Методы, содержание курса (11 166 байтов)
3: ...ия (от 13 февраля)#Параграф 2. Связь метода Гаусса с разлож...
20: ...ости квадратурной формулы Симпсона]]
26: ...сти сходимости.|Параграф 4. Сходимость метода Ньютона. О...
31: ... Кранка-Никольсена)|Пункт 3. Симметричная разностная схе...
Экономика, 01 лекция (от 11 сентября) (9487 байтов)
1: ...ка, 02 лекция (от 18 сентября)|Следующая лекция]]
17: # Собственный и экономический...
24: <div class="definition">'''Социально-экономическая сис...
28: Существуют 2 подхода к их кла...
34: <div class="definition">'''Собственность''' - отношения ...
Экономика, 02 лекция (от 18 сентября) (19 300 байтов)
1: ...ка, 03 лекция (от 25 сентября)|Следующая лекция]]
15: <div class="definition">'''Себестоимость''' — стои...
17: <div class="definition">'''Стоимость''' — то, во что...
25: Сейчас не тот уровень развит...
43: Самое главное — наличи...
Экономика, 03 лекция (от 25 сентября) (17 541 байт)
1: ...ика, 04 лекция (от 02 октября)|Следующая лекция]]
30: # Стимулирование рационально...
31: # Санирующая – выживает тольк...
39: ...и ограничения конкуренции. Свободный, монополистически...
57: ==Структура рынка капитала==
Экономика, 04 лекция (от 02 октября) (15 474 байта)
1: ...ика, 05 лекция (от 09 октября)|Следующая лекция]]
21: Стоимость меняется, если про...
33: Сегодня завершим рассмотрен...
41: # Средства обращения
42: # Средства платежа
Экономика, 05 лекция (от 09 октября) (15 567 байтов)
1: ...ика, 06 лекция (от 16 октября)|Следующая лекция]]
26: ...ок стремится к равновесию. Существует равновесная цена...
51: # Степень монополизации рынка
54: # Снижение предложение – рост...
71: # Специфические законы – дейс...
Экономика, 06 лекция (от 16 октября) (14 838 байтов)
1: ...ика, 07 лекция (от 23 октября)|Следующая лекция]]
42: Сегодня львиная доля людей в...
91: ...ми заключённых контрактов. Существуют внешние транзакц...
101: # Соотношение собственного и ...
107: ...ования с окружающим миром. С правовой точки зрения под ...
Экономика, 07 лекция (от 23 октября) (17 381 байт)
1: ...ика, 08 лекция (от 30 октября)|Следующая лекция]]
11: # Конкуренция. Сущность и виды
23: ===Сильные стороны конкуренции...
25: ...держек производства и цен. Способствует эффективному и...
26: # Способствует улучшению каче...
Экономика, 08 лекция (от 30 октября) (6482 байта)
1: ...мика, 09 лекция (от 06 ноября)|Следующая лекция]]
21: ...лю производен от спроса на СХ продукцию и застройку
34: ... земля принадлежала госву. Сегодня если мне земля прина...
58: ===Структура финансового рынка...
Экономика, 09 лекция (от 06 ноября) (16 412 байтов)
1: ...мика, 10 лекция (от 13 ноября)|Следующая лекция]]
13: Существуют две формы финанс...
18: ..., что и на остальных рынках. Существует продажная цена, п...
22: Спрос и предложение на ценны...
29: ...ности с уплатой процентов. Ссудный капитал – капитал-т...
Экономика, 10 лекция (от 13 ноября) (5955 байтов)
1: ...мика, 11 лекция (от 20 ноября)|Следующая лекция]]
23: ...тием АО на рубеже 19-20 веков. Современный РЦБ выполняет с...
24: # Сводит покупателя с продавц...
25: # Стабилизирует цены, уравнов...
39: ...льные органы. Для пример, в США это федер правительство,...
Экономика, 11 лекция (от 20 ноября) (5604 байта)
28: 9)Ссудный процент
Экономика, 11 лекция (от 20 октября) (5371 байт)
2: Существует три метода измер...
Экономика, 12 лекция (от 27 ноября) (17 771 байт)
1: ...ика, 13 лекция (от 04 декабря)|Следующая лекция]]
22: ... исследование Кенэ, Маркса, Смита, в то же время макроэк ...
30: ...стенсивно, или интенсивно. Самый кач путь – интенсивны...
35: ...платёжного баланса страны. Существует проблема во всех ...
39: ... определённые инструменты. Система макроэкономических ...
Экономика, 13 лекция (от 04 декабря) (16 418 байтов)
1: ...ика, 14 лекция (от 11 декабря)|Следующая лекция]]
5: Сенгодня рассмотрим вопросы...
13: Когда развалился СССР, определялись отрасли, ко...
38: ==Структура национальной экон...
60: Существует две модели: для о...
Экономика, 14 лекция (от 11 декабря) (15 924 байта)
1: ...кабря)|Предыдущая лекция]] | Следующая лекция
4: В СССР совокупный общественный ...
23: Система национальных счетов...
31: Само определение. СНС – это система взаимосвяза...
33: ... инфляции в стране, и т. д. СНС (система нац счетоводства) ...
Языки Программирования (3680 байтов)
9: ...сылка для скачиваний--> Р. У. Себеста «Основные концеп...
11: * [[С++]]
12: ...laquo;Дизайн и эволюция языка С++»
22: ...аний--> Т. Шилдт, А. Нотон «Справочник по Java»
Языки программирования, 01 лекция (от 05 сентября) (7870 байтов)
1: ...ия, 02 лекция (от 07 сентября)|Следующая лекция]]
13: ...сылка для скачиваний--> Р. У. Себеста «Основные концеп...
15: * [[С++]]
16: ...laquo;Дизайн и эволюция языка С++»
26: ...аний--> Т. Шилдт, А. Нотон «Справочник по Java»
Языки программирования, 02 лекция (от 07 сентября) (27 583 байта)
1: ...ия, 03 лекция (от 12 сентября)|Следующая лекция]]
4: ...ет после выхода FORTRAN, в 1967 в США уже использовалось боле...
29: ...ды выполняется тело цикла. Согласно [http://ru.wikipedia.org/wiki/Ма...
35: ...ый язык программирования. Стандарты FORTRAN выпускались в...
37: ...ся его проблемная область. Самой первой проблемной обл...
Языки программирования, 03 лекция (от 12 сентября) (9001 байт)
1: ...ия, 04 лекция (от 14 сентября)|Следующая лекция]]
9: ...%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F) С] отличает предельная прост...
13: Создание ЯП аналогично соби...
46: ...D1%80%D1%83%D0%BF,_%D0%91%D1%8C%D1%91%D1%80%D0%BD Страуструпу] нравилась всем,...
48: ...ным критерием при создании С с классами была совместимо...
Языки программирования, 04 лекция (от 14 сентября) (9851 байт)
1: ...ия, 05 лекция (от 19 сентября)|Следующая лекция]]
10: ... мере реализовано только в С++. И при обсуждении необход...
12: ...струп|Страуструпа]], Дизайн С++. Вопрос «почему» &...
13: # Семиотическая позиция
14: #*Семиотика — наука о сим...
Языки программирования, 05 лекция (от 19 сентября) (15 400 байтов)
1: ...ия, 06 лекция (от 21 сентября)|Следующая лекция]]
3: ==Связывание==
4: Статическое связывание —...
7: *Данный код на [[С++]]:
25: ...о теоретическим понятием. Сейчас понятие ВМ является ...
Языки программирования, 06 лекция (от 21 сентября) (10 384 байта)
1: ...ия, 07 лекция (от 26 сентября)|Следующая лекция]]
4: ==Глава 1. Скалярный базис.==
43: Синтаксис преобразования т...
68: ...фметика, то они требуется. С авторской позиции язык &...
74: В '''C''' и '''С++''' не были зафиксированы р...
Языки программирования, 07 лекция (от 26 сентября) (11 422 байта)
1: ...ия, 08 лекция (от 28 сентября)|Следующая лекция]]
4: ==Глава 1. Скалярный базис.==
5: ===Пункт 5. Символьные типы данных===
11: ... и писались сами программы. С тех пор проблемы остались ...
45: Сейчас UNICODE поддерживается н...
Языки программирования, 08 лекция (от 28 сентября) (12 386 байтов)
1: ...ния, 09 лекция (от 03 октября)|Следующая лекция]]
4: ==Глава 1. Скалярный базис==
8: ... для описания интерфейсов. Состоит из описания интерфе...
35: ...пазонов нет, В [[Java]] нет, В [[С#]] нет.
37: С математической точки зрен...
Языки программирования, 09 лекция (от 03 октября) (12 770 байтов)
1: ...ния, 10 лекция (от 05 октября)|Следующая лекция]]
3: ==Глава 1. Скалярный базис==
19: ...е имеется в [[Ada]], [[С++]], [[С#]]. Статическими параметры род...
35: В С# ввели аналог — делегат....
37: ...тва выглядит по-разному (!= (Си) # (Модула) <> (Паскаль) /=...
Языки программирования, 10 лекция (от 05 октября) (26 849 байтов)
1: ...ния, 11 лекция (от 10 октября)|Следующая лекция]]
3: ==Глава 2. Составные базисные типы==
10: В [[С#]], [[Java]], [[Ada]] (хотя в ней ест...
54: ...ать произвольный диапазон. Создатели языка ада пошли е...
97: Современные языки запрещают...
Языки программирования, 11 лекция (от 10 октября) (13 363 байта)
1: ...ния, 12 лекция (от 12 октября)|Следующая лекция]]
3: ==Глава 2. Составные базисные типы==
27: ...темного программирования: Сокеты. Есть понятие адрес с...
117: [[Бьерн Страуструп|Страуструп]] — никаких ...
119: Страуструп не хотел до после...
Языки программирования, 12 лекция (от 12 октября) (21 090 байтов)
1: ...ния, 13 лекция (от 17 октября)|Следующая лекция]]
14: === Пункт 1. Структурное программирован...
26: Ситуация, когда програмиста ...
28: Структурное программирован...
41: Современных программитстов ...
Языки программирования, 13 лекция (от 17 октября) (30 023 байта)
1: ...ния, 14 лекция (от 19 октября)|Следующая лекция]]
20: ...и вызывается деструктор. В С++ захват ресурсов – инициа...
24: ...куче библиотек, например в Си, есть объекты, которые в к...
47: === Пункт 3. Составной оператор или бло...
52: Составной оператор – тольк...
Языки программирования, 14 лекция (от 19 октября) (11 213 байтов)
15: Самый больщой недостаток: ка...
35: ... была потеряна семантика. В Си++ семантика
105: В Джава, Си шарп семантика inout
110: В Си шарп есть ключевые слова r...
126: Связанный с этим вопрос –
Языки программирования, 15 лекция (от 24 октября) (28 603 байта)
6: ...нственна. Форма, принятая в Си шарп, основана на динамич...
63: В С++ Страуструп описывает ситуац...
64: стандартизации С++. Хорошо выверенное, локал...
73: Совр ЯП не поддерживают ни к...
100: ...; на них нет сложных систем. Сложные системы строятся на
Языки программирования, 16 лекция (от 26 октября) (18 602 байта)
34: .... Везде через точку, только С++
61: Стандартные и пользовательс...
64: объявлений. С точки зрения реализации ко...
86: С первой точки зрения этот п...
111: Есть ли в Си разделение определния и
Языки программирования, 17 лекция (от 31 ноября) (28 169 байтов)
17: .... Например, описываем пакет Стеки, определяем
18: ...ание имён. Ображение: Стеки.Стек. Класс –
27: ...bottom: 0cm">Основные языки: Си++, Си шарп, Джава,
46: Синтаксис:
47: Сишный
Языки программирования, 18 лекция (от 02 ноября) (24 260 байтов)
8: Специальные функции:
13: <LI>Свойства
15: Спец функ – с одной сторон...
23: У С. Были задумки, что бы были с...
28: С++ с точки зрения наиболее б...
Языки программирования, 19 лекция (от 14 ноября) (23 721 байт)
13: ...ндартных операций. Это С++ и С#. Дельфи и Джава эту возм
23: ...ше всех переопр работает в С++.
28: ... ЯП его нет или ограничено (С#). Там можно
45: ...но просто. Как их переопр. В С шарп –
74: С другой стороны, какие проб...
Языки программирования, 20 лекция (от 16 ноября) (26 492 байта)
60: Сначала определяют имена.
75: В Джаве-Си шарп преобразования
123: Скрытый ТД выглядит почти ка...
143: Сразу возникает тривиальный...
217: В С++ если исправить какой-нибу...
Языки программирования, 21 лекция (от 21 ноября) (9638 байтов)
1: ...ания, 22 лекция (от 23 ноября)|Следующая лекция]]
8: ...цией, Паскаль стандартный. Существенно упрощает язык и ...
16: В чём нелогичность Си: extern ничего не значит. Фун...
17: Самая большая неприятность ...
18: Так как Си использует стандартный з...
Языки программирования, 22 лекция (от 23 ноября) (12 658 байтов)
1: ...ания, 23 лекция (от 28 ноября)|Следующая лекция]]
7: ...асть, как не в конце ноября. Стоит особняком, но вопрос д...
9: С одной стиороны, искл. являю...
25: С совср точки зрения, исключ...
31: Совр практика прогр такова, ...
Языки программирования, 24 лекция (от 30 ноября) (18 189 байтов)
1: ...ния, 25 лекция (от 05 декабря)|Следующая лекция]]
10: ...ля доступа. Есть ещё один. В С++ этого не хватало. Нужны бы...
19: С точки зрения языков, котор...
67: ...бо, либо замещает все, как в С++:
161: ...роме этого случая. Аналог в С++ и джаве – this.
Языки программирования, 25 лекция (от 05 декабря) (11 169 байтов)
1: ...ния, 26 лекция (от 07 декабря)|Следующая лекция]]
7: ...вания на пример C++ и Smalltalk. В С++ наиболее простая и быстра...
31: Ссылка на ТВМ сидит по нулев...
39: Схема реализации в С++ очень эффективна.
41: ...ругой вариант реализации в Смаллток.
Языки программирования, 26 лекция (от 07 декабря) (15 296 байтов)
1: ...ния, 27 лекция (от 12 декабря)|Следующая лекция]]
15: ===С++===
87: ...ейса, в а в С++. Потому, что в С++ есть множественно наслед...
89: ...– проблема конфликта имён. Самая главная проблема – пр...
93: Сделали интерфейс Set. Можем с...
Языки программирования, 27 лекция (от 12 декабря) (11 027 байтов)
1: ...ния, 28 лекция (от 14 декабря)|Следующая лекция]]
9: Си++
11: ...екты из Object, а он уже с RRTI, в С++ только для типов, у которы...
15: С++: dynamic_cast<T*>(e) – динамическо...
17: ...улевой ссылки нет, поэтому Страуструп утверждал, что пе...
Языки программирования, 28 лекция (от 14 декабря) (18 953 байта)
1: ''С++'' 
3: ''С#'' c 2004 
45: ...й же шаблонной функции на ''С++'', считая, что уже имеется V...
90: ...щный механизм – шаблоны в ''С++''. Почему же они более мощн...
92: Шаблоны в ''С++'':
Языки программирования, результаты предварительного экзамена (2916 байтов)
75: |Сикачев П.
89: |Симонян К.
117: |Самусев С.
131: |Ситаев Д.
187: |Шакиров С.
ESyr's Wiki pages:Editing conventions (7584 байта)
5: # Статьи, посвящённые понятия...
20: =====Стуктурное оформление=====
24: Справа должна находиться па...
47: ...ля примера кода — code. Соответственно, подобные ку...
51: ====Ссылки====
ESyr's Wiki pages:Авторское право (200 байтов)
1: Содержимое доступно в соотв...
МФСП, 05 семинар (от 29 сентября) (10 161 байт)
47: Сам процесс проектирования ...
53: #* Спецификация функции
166: {{МФСП}}
Функциональный Анализ, теормин (2917 байтов)
UNИX, осень 2007, 02 лекция (от 12 октября) (25 130 байтов)
1: ...ь 2007, 03 лекция (от 19 октября)|Следующая лекция]]
8: ...х 20 хотят знать, что такое ОС Linux. Один мальчик попался т...
14: ...вляется разумным изучать ОС, программное обеспечение, ...
21: ...которого проблемы с любой ОС.
26: ...ке лектор выложил вопросы. Сначала «Зачем?», потом выбр...
UNИX, осень 2007, 03 лекция (от 19 октября) (16 163 байта)
1: ...ь 2007, 04 лекция (от 26 октября)|Следующая лекция]]
13: Правильный путь: Сначала надо узнать, что так...
31: ...ые задачи решать в других ОС.
33: ...м Линукс только ядро, а не ОС, и из свободных проектов ес...
36: * Сетевые ресурсы. Хорошо, что...
UNИX, осень 2007, 05 лекция (от 02 ноября) (16 535 байтов)
1: ...нь 2007, 06 лекция (от 09 ноября)|Следующая лекция]]
11: ...ьзователь после загрузки ОС, графическая оболочка) изм...
15: === Состав ===
16: Спецсимволами «(x)» могут отм...
20: ... запуском. Системный лоток. Список задач запущенных. Дов...
UNИX, осень 2007, 06 лекция (от 09 ноября) (17 104 байта)
1: ...нь 2007, 07 лекция (от 16 ноября)|Следующая лекция]]
7: ...о с выходом очередного МакОС 10 выяснилось, что Х.Орг над...
12: ...ми, но ему это надо сказать. Существует некоторые функци...
23: * Специфицирование кодировки
44: * Документация. С одной стороны, документаци...
Вычислительные Системы, 08 лекция (от 29 октября) (19 147 байтов)
1: ...темы, 09 лекция (от 05 ноября)|Следующая лекция]]
4: ...ия очень удачно работала БЭСМ6. Тоже самое можно сказать...
8: ... кэш и в оп.Называется Райт Сру(зпись через). Ну, вполне п...
14: ... просто гротескный случай! С лектором лично был интерес...
19: ...).Использовалось в IBM360/370 и ЕС ЭВМ. Интерфейсом в этих маш...
Вычислительные Системы, 10 лекция (от 12 ноября) (17 326 байтов)
1: ...темы, 11 лекция (от 19 ноября)|Следующая лекция]]
6: ...рогу до оператвной памяти. Стали делать шину первого ур...
10: ...е, отображается построчно. Сейчас в основе такие диспле...
12: ...шь и пальчиком прижимаешь. Сам знаешь где, в каком месте...
20: ...му подсоединялась другая ЕС ЭВМ. И так они сопрягались. ...
Вычислительные Системы, 06 лекция (от 15 октября) (7029 байтов)
1: ...емы, 07 лекция (от 22 октября)|Следующая лекция]]
3: ...е пересекаются и защищены. Способы организации преимущ...
5: ...понимать под вирт. памятью. Словари дают трактовку «нер...
7: ...а интересная диссертация «Системы 3D-виртуализации инд...
11: С этими недостатками невозм...
Вычислительные Системы, 07 лекция (от 22 октября) (19 316 байтов)
1: ...емы, 08 лекция (от 29 октября)|Следующая лекция]]
5: Сведения о находждении сегм ...
13: ...баллистикам делать нечего. Стали заниматься роботами, ш...
36: Сделать так, что если нет в т...
48: ...овка дорожкой проходилась. Старались сделать зазор пом...
Параллельная Обработка Данных, 09 лекция (от 30 октября) (4750 байтов)
1: ...нных, 10 лекция (от 06 ноября)|Следующая лекция]]
71: *конфликты в памяти. Самое плохое -- шаг по памяти ...
Параллельная Обработка Данных, 10 лекция (от 06 ноября) (21 966 байтов)
1: ...нных, 11 лекция (от 13 ноября)|Следующая лекция]]
20: ...сс между этими критериями. С точки зрения этих критерие...
22: * Специальные комментарии. Не ...
26: ... с распределённой памятью. Сообщение компов внутри так...
29: ...ванные комплексы программ. Средство самого высокого ур...
Параллельная Обработка Данных, 11 лекция (от 13 ноября) (7538 байтов)
1: ...нных, 12 лекция (от 20 ноября)|Следующая лекция]]
9: * MPI_Ssend - Синхронный вариант блокирую...
50: Зачем это нужно? Сгруппировать вместе все ну...
52: ...ботать так же как и раньше. Смысл в том что мы подготавл...
Вычислительные Системы, 11 лекция (от 19 ноября) (10 002 байта)
1: ...оября)|Предыдущая лекция]] | Следующая лекция
3: ...4900,4832;4906,4870&upoint=e7cb1578d801&tool=grab Схема проезда на maps.yandex.ru]</div>...
7: ... у каждой машины была своя ОС.
9: Структура сообщения: в начал...
13: ...сь ОС, а в 69 году появилась ОС ИПМ (института прикладной ...
UNИX, осень 2007, 07 лекция (от 16 ноября) (15 589 байтов)
1: ...нь 2007, 08 лекция (от 23 ноября)|Следующая лекция]]
6: * Слегка хардкорный. Хочу быть...
10: Сегодня посмотрим, что у это...
21: * Спредшиты. OO Clac, Gnumeric, Google Spread...
23: * Слайды. OO Impress. В плане разумн...
Искусственный Интеллект, лекция от 20 ноября (37 845 байтов)
1: ...теллект, лекция от 27 ноября|Следующая лекция]]
5: Специалисты в области ИИ, на...
9: ...рос на экзамене: Что такое ЭС.
11: ... указать главные свойства ЭС:
12: ...исано на флаге создателей ЭС) задач в труднореализуемых...
UNИX, осень 2007, 08 лекция (от 23 ноября) (17 535 байтов)
1: ...нь 2007, 09 лекция (от 30 ноября)|Следующая лекция]]
9: Современная компьютерная иг...
13: ...роблема, что всё это слабо. С другой стороны, как индиви...
26: Растровый редактор --- GIMP. Совершенно очевидно, что есл...
34: Существуют несколько смотре...
Искусственный Интеллект, лекция от 27 ноября (16 123 байта)
1: ...еллект, лекция от 04 декабря|Следующая лекция]]
10: ...нке Пете, его коммиссарстваСергей Есенин
16: ...бщения назовём пониманием. Смысл может быть разным, нап...
24: ... идиоматических выражений. Сразу стало ясно, что нужно и...
43: ... положилили 4 книги, потом 2. Сколько книг на столе? Если и...
Параллельная Обработка Данных, 04 лекция (от 25 сентября) (9368 байтов)
1: ...ных, 05 лекция (от 02 октября)|Следующая лекция]]
7: ...зводителя. В среднем 70 мкс. Сейчас он уже считается слиш...
9: *Следующее поколение Gigabit Ethern...
11: ==Специализированные коммуни...
17: ...читана на скорость 1 ГБ/сек. Сейчас уже продают 20 ГБ/сек. ...
UNИX, осень 2007, 09 лекция (от 30 ноября) (16 189 байтов)
1: ...ь 2007, 10 лекция (от 07 декабря)|Следующая лекция]]
12: ...ое свойство: есть какая-то ОС, вы скачиваете программный...
15: ...ве. Есть большое хранилище СПО, которое содержит кучу в...
17: ...ше, чем объём дистрибутива (Сизиф --- третий по размерам п...
19: ...ив. Как это делают: берётся Сизиф и делается заморозка. ...
Искусственный Интеллект, лекция от 04 декабря (15 261 байт)
1: ...оября|Предыдущая лекция]] | Следующая лекция
9: ...ворил про всякие моды мифы. Сейячас уже инновации в рекл...
18: Слово «балкон» система не зн...
20: ...тносится к классу «место». Система уточняет у пользова...
23: =Субъект=: мальчик
UNИX, осень 2007, 10 лекция (от 07 декабря) (18 974 байта)
1: ...ь 2007, 11 лекция (от 14 декабря)|Следующая лекция]]
9: ... нужны нескольким пакетам. Существует понятие конфликт...
14: * Собрать собственными силами
16: * Скачать какие-то бинарники, ...
31: ..., которые лезут в систему. «Системы в рамках рабочего ст...
Параллельная Обработка Данных, вопросы к зачету (7306 байтов)
41: 19. Соотношение между понятиями...
102: ... Параллельные вычисления. - СПб.: БХВ-Петербург, 2002. - 608 с.
UNИX, осень 2007, 11 лекция (от 14 декабря) (21 591 байт)
1: ...кабря)|Предыдущая лекция]] | Следующая лекция
12: ...остаточная по определению. Существует та документация, ...
14: С этими боязнями человек при...
15: ...фицированных результатов. Сообщество ориентировано на...
20: ...ть инфо-страницы в другие ИС, но они не получили широког...
UNИX, осень 2007, 1 экзамен (от 21 декабря)/Информация (689 байтов)
UNИX, осень 2007, 2 экзамен (от 11 января)/Информация (614 байтов)
UNИX, осень 2007, 2 экзамен (от 11 января)/Быстрые вопросы (4134 байта)
1: == Свойство безущербного копир...
14: ...чением в файловой системе ОС UNIX.
16: == Сколько программных продукт...
29: ...ческого сервера и клиента. Систуму X Window System, включающую...
Математическая Логика, 05 семинар (от 21 ноября) (19 563 байта)
1: ...ка, 06 семинар (от 05 декабря)|Следующий семинар]]
9: ## С точки зрения человека: есл...
10: ## С точки зрения компьютера: ч...
45: Сын(X, Y) ← Отец(Y, X);
47: Супруг(X, Y) ← Муж(X, Y);
Математическая Логика, 06 семинар (от 05 декабря) (10 083 байта)
1: ...ка, 07 семинар (от 19 декабря)|Следующий семинар]]
145: Спецификация операционной с...
Математическая Логика, 07 семинар (от 19 декабря) (5559 байтов)
1: ...абря)|Предыдущий семинар]] | Следующий семинар
8: Символ «!» обычно обозначает...
Математическая Логика, решение задач/variant 2004 (11 431 байт)
80: С помощью метода семантичес...
107: С помощью метода семантичес...
134: С помощью метода резолюций и...
Linux book/X (3771 байт)
3: ...ер для решения своих задач. Существует несколько способ...
17: # (х) Сводные меню приложений
21: = Ссылки =
22: * [[Спецкурс по Linux, весна 2007, 05 л...
23: * [[Спецкурс по Linux, весна 2007, 06 л...
Компьютерные Сети, вопросы/Глава 4 (23 504 байта)
10: * (-)Сколько угодно
14: * (-) Строго меньше 2000
20: * [-]Символьный
32: == Статическим предоставление...
33: * [+] Статическое предоставление ...
Методы оптимизации, задачи (31 439 байтов)
35: Следовательно, деление «сто...
67: '''Решение.''' Согласно определению, задач...
71: ... k — некоторый коэффициент. Следовательно, временная сл...
78: '''Условие.''' Свести задачу ЛП с ограничен...
121: Следовательно, <math>\Delta \leqslant \...
Методы оптимизации, определения (3483 байта)
12: <div class="definition">'''Слово''' — конечный набор бук...
14: <div class="definition">'''Схема кодирования (кодировк...
Методы оптимизации, 01 лекция (от 08 февраля) (19 625 байтов)
12: * Х. Пападимитриу, К.  Сталиц, «Комбинаторная опти...
96: Схема кодирования (кодировк...
102: * Само кодирование и процесс д...
119: С любым алгоритмом А, которы...
141: Слово о полиномиальных и экс...
РОС, 01 лекция (от 08 февраля) (20 016 байтов)
3: Что такое РОС? РОС — ОС распределённых систем. Луч...
5: ..., многопроц. системе, а не РВС.
7: ...удет рассказана история РВС. Далее будет про архитекту...
9: ...дит к распределённым ФС. РФС и SHMem опираются на механизм...
17: == Что такое ОС ==
ВПнМ (4681 байт)
1: [[Изображение:Savenkov.jpg|320px|thumb|Савенков Константин Олегови...
3: * Лектор — Савенков Константин Олегови...
6: * Сайт курса: http://savenkov.lvk.cs.msu.su/m...
8: * Список вопросов к экзамену: h...
11: == Структура курса ==
ВПнМ, 01 лекция (от 08 февраля) (29 393 байта)
20: ...оверять строгими методами. Сделает небольшой обзор мет...
24: ...ходе разработки программы. Существуют различные модели...
54: Соответственно, для проверк...
56: ... поиск критических ошибок. Соотвтественно, редкие безв...
75: * Статический анализ
ОКФиКВ (3015 байтов)
4: * Семестровый курс, в конце за...
29: ...е вычисления под редакцией Садовничего
ОКФиКВ, 01 лекция (от 13 февраля) (24 260 байтов)
62: Следующий пункт — дифракц...
UNИX, весна 2008, 01 лекция (от 13 февраля) (15 514 байтов)
7: Сначала научимся делать так,...
13: Свежий пример: ...
18: ...ось бы услышать в семестре. Сбор «розовых слонов». Прини...
24: Три года назад ситуация с СПО в России была аховая. Был...
26: ... взять нечего. И что делать? Согласно бумагам в наших шко...
Методы оптимизации, 02 лекция (от 15 февраля) (6222 байта)
5: ...ся в NP, ни то, что он равен NP. Сейчас господствует гипотез...
27: Соврешенно аналогично получ...
39: С определения этого класса п...
51: Соответственно, задача сост...
61: ...о более 500 задач из класса NPС, и все задачи остальные, их ...
РОС, 02 лекция (от 15 февраля) (11 281 байт)
144: ...tsl? Например, для семафоров. С семаформами связана очере...
146: Семафоры
190: Существуют разные реализаци...
191: * С памятью/без памяти
221: {{РОС}}
ВПнМ, 02 лекция (от 15 февраля) (20 778 байтов)
7: * Свойство выполняется. Если м...
9: * Свойство не выполняется. Мы ...
11: ... св-во нарушается в модели. Смотрим, где в описании оно н...
36: * Состояние программы --- какой...
38: ...есно, нужно провести грань. Состояние всегда связано с м...
ВОВКнОUС, 01 лекция (от 15 февраля) (18 577 байтов)
1: [[Image:Salnikov.jpg|thumb|240px|Сальников Алексей Николаеви...
21: Спектр задач, решаемых класт...
35: [[Image:Clustebuilding_01_03.png|800px|Структура кластера]]
39: ...ытаются куда-то стучаться. Стучаться дают только через ...
43: С точки зрения сетевых соеди...
Философия математики, 01 лекция (от 18 февраля) (23 734 байта)
13: ...почти сразу, как появилась. Стоит отметить, что математи...
19: ...обы удивляться математике. Стоит отметить, что они удив...
29: ...шнее сходство рассуждений Спинозы, ему не удалось прид...
31: Сейчас лектор навскидку при...
35: ...зке ставим эти самые точки. Спросим: сколько точек на от...
ВПнМ, 03 лекция (от 22 февраля) (11 606 байтов)
5: = Система верификация Spin =
7: Сейчас будем говорить про во...
21: ...к она должна быть устроена. Соответственно, нам нужна но...
43: ...ие выполнимости оператора. С любым оператором связано п...
49: ...оворлд. Язык очень похож на С.
ВОВКнОUС, 02 лекция (от 22 февраля) (12 180 байтов)
6: ... устройств в составе этой ВС.
15: Существует ещё одна точка зр...
29: Следующий уровень --- многома...
31: ... способу доступа в память ВС можно классифицировать в н...
39: ...ого железа нужно выбирать ВС. Нужно примерно выставить ...
ОКФиКВ, 02 лекция (от 20 февраля) (22 138 байтов)
4: * Принцип суперпозиции. Соотношение неопределённос...
6: Сменили парадигму и приняли ...
14: ...га, и увидим, что так и есть. Сейчас мы это соотношение по...
18: Сформулируем принцип суперп...
100: Сформулируем правило задани...
ВОВКнОUС (1221 байт)
3: * Лектор — Сальников Алексей Николаеви...
6: == Структура курса ==
7: * Устройство ВС с точки зрения железа, кото...
19: == Ссылки ==
23: {{Курс ВОВКнОUС}}
UNИX, весна 2008, 14 лекция (от 14 мая) (15 815 байтов)
3: ...еньше, поэтому делаем хуже. Самое смешное, что если так п...
16: Система установки, чборки па...
23: С помощью rpm можно собрать па...
43: ...испетчер кеширует индексы. Соответственно, есть две ути...
44: Соответственно, диспетчер д...
Философия математики, 02 лекция (от 25 февраля) (30 633 байта)
7: ... текст, это Начала Евклида. Ситуация начала серьёзно ме...
9: ...о строится всё остальное. И Стахея в названии Евклида от...
11: ...ут строгие доказательства. Сейчас мы бы называли часть ...
15: ... где-то рубеж 4 и 3 вв до н. э. Символически, это некая гран...
34: ...реческое слово математика? Самое любопытное следующее ...
Философия математики (11 600 байтов)
5: * '''Сайт''': http://vladshaposhnikov.narod.ru/Philos...
8: * Спецкурс проходил весной 2008 ...
15: ...икновении доказательства. Существовало ли доказательс...
21: ...рхии знаний на этой основе. Статус математики и иерархи...
22: ...рта)|Математика в культуре Средних веков и Возрождения....
ВПнМ, 04 лекция (от 29 февраля) (13 195 байтов)
10: Следующей лекции не будет.
18: ...--- алгоритм Петерсона (см РОСы). Алгоритм Лампорта: испол...
30: * Синхронные --- ёмкость канала...
58: === Синхр. передача ===
60: С точки зрения системы перех...
UNИX, весна 2008, 02 лекция (от 20 февраля) (26 188 байтов)
7: ...ирка, у функции есть опции. Стирка как таковая как раш. з...
34: ...твенным образом это текст. Сейчас практически единстве...
38: ...рочитать глазами и понять. Смысл третьего утвержд: раз ...
44: ... сбылась: мы нашли место в ОС, в котором всё можно предст...
46: ...нтерфейс данных совпадают. Среди прочего мы утверждаем:...
ОКФиКВ, 03 лекция (от 27 февраля) (19 242 байта)
11: * Свободное движение.
34: ...>F=\frac{\partial U}{\partial x} = +\infty</math> Слева и справа действуют бес...
48: ...c{k_na}{2}=\frac{\pi}{2}n,\,n=1,3,5,\dots</math>. Соответственно, cos обращаетс...
56: Ставим граничное условие: ра...
71: ... А где появляются обертона? Скрипач изменяет длину волн...
ВОВКнОUС, 03 лекция (от 29 февраля) (9300 байтов)
3: Сегодняшняя тема: как соедин...
9: ...сылает просто куда-то туда. Само устройство выглядит сл...
11: ...йства мы соединяем в сетку. Способ соединения таких шту...
14: * Средняя степень вершины
15: * Среднее число транзитов
Richard Stallman, Free software: ethics and practice (69 770 байтов)
1: ...е:RMS.jpg|thumb|240px|Ричард Мэттью Столлман]]
UNИX, весна 2008, 04 лекция (от 05 марта) (9879 байтов)
3: ...сов в ИФРАН будет лекция РМС противостояние копирайта ...
5: ...ей жизни, а для продвижения СПО. Для этого два положения:
10: ...лось обратиться к юристам. Сейчас ГПЛ читать невозможн...
14: ...cc, gdb. На сегодняшний день РМС не программирует ни один и...
17: * РМС принадлежит к уходящей иде...
Linux book/Install and configure (65 318 байтов)
5: ...ествует и откуда его брать? Самый простой (но и наименее ...
17: ...ым. Но правильный — третий. Сначала необходимо определи...
40: ** Списки рассылки
42: *: Сообщество на последнем мес...
48: * Сборка из исходных кодов
Linux book (535 байтов)
ОКФиКВ, 04 лекция (от 05 марта) (7068 байтов)
9: ...е вычисления под редакцией Садовничего
13: ... принципы такого движения. С чего же мы начали в прошлый...
19: ...а приводится к первой зоне. Соотвтетсвенно, у нас есть в...
ВПнМ, 05 лекция (от 14 марта) (7866 байтов)
19: ... взаимодействия процессов. Сейчас она неинтресна, но пр...
52: ..., но не достаточно строгое. Строго это делается через пр...
80: ...мы. Есть предача сообщений. Синхронная (рандеву, хэндшей...
ВОВКнОUС, 05 лекция (от 14 марта) (7611 байтов)
7: * sshd. Сервер, демон. Если sshd не зап...
33: ...у подвешены ноды кластера. Свич, компьютер и ноды --- вну...
60: ...ёт их менеджерам очередей. Соответственно, менеджер оч...
66: {{ВОВКнОUС}}
UNИX, весна 2008, 05 лекция (от 12 марта) (19 827 байтов)
5: ...ть два пространства имён, ФС и тест в них, а мы же, когда ...
7: ...и, и он не был похож на язык С, люди путались, синтаксис у...
11: ...ашизм, когда пишут на баше. Среди крутых это считается м...
13: ...ие, постоянные ссылки на ПОСИХ. При этом этот мануал ста...
17: ...продолжим тему интеграции. Сейчас разговариваем о том, ...
ОКФиКВ, 05 лекция (от 12 марта) (12 351 байт)
2: ...е прикладывать напряжение. Сюда прикладываем плюс, а сю...
7: ...одорода --- ядро и электрон. С точки зерения классич. Физ...
8: ...битальное квантовое число. Сейчас скажем, как оно связа...
9: ...авного квантового счисла n. Соответственно, полная функ...
Философия математики, 05 лекция (от 17 марта) (36 998 байтов)
5: Следующий смысловой блок св...
9: ...азывает про его преемника, Схоларха... Однажды к ... пришё...
21: ...офа — выбраться из пещеры. Соответственно, пещера — ми...
23: ...это дословно: платоновский Сократ говорит, если узнику ...
25: ...редмет тяжёлый и странный. Сделаем ещё один отрезок, у П...
UNИX, весна 2008, 06 лекция (от 19 марта) (20 305 байтов)
3: Сегодня две темы.
11: ...твующим в системе. Задача ФС: обеспечить достаточную ин...
13: ...еется в виду любой объект ОС. Здесь берём файлы как наиб...
23: Команда chmod. Сначала умножим три права до...
27: ...которые нельзя привести с ФС, и поэтому пользователь не ...
ВОВКнОUС, 06 лекция (от 21 марта) (10 034 байта)
3: С прошлого раза: в случае, ко...
13: ** Суммарное ограничение на ис...
18: * Сетевой трафик в случае GRID
22: ...ие:Clusterbuilding 08 03 21 02.jpg|thumb|240px|Схема взаимодействия пользо...
26: * Статистика по запускам
Новости/23.03.2008/Digest (939 байтов)
7: * [[ВОВКнОUС]]
8: ** [[ВОВКнОUС, 06 лекция (от 21 марта)]]
9: ** ‎[[ВОВКнОUС, 05 лекция (от 14 марта)]]
10: ** ‎[[ВОВКнОUС, 04 лекция (от 06 марта)]]
Философия математики, 06 лекция (от 24 марта) (22 497 байтов)
7: ...ных отклонений от образца. Соотвенно, если мы говорим о...
17: ...ю и резкую критику Платона. С другой стороны, являлось л...
21: С другой стороны, если посмо...
35: ...рмат, форма, она же целевой. Схоласты могут утверждать, ч...
43: ...ь говорит о бесконечности. Соотвенно, глава есть в арис...
UNИX, весна 2008, 07 лекция (от 26 марта) (20 662 байта)
18: ...ode, а их нумерация в каждой ФС своя)
21: ...роблем есть другой объект ФС: символьная ссылка (такие ф...
23: Символьные ссылки придуманы...
29: ...-- множественных субъектов. Субъекты бывают как уникаль...
39: Соответствующие команды (ес...
Linux book/Before start (22 623 байта)
6: ...вляется разумным изучать ОС, программное обеспечение, ...
18: ...ься с тем, что же это такое. Существует некоторая путанн...
20: === Linux — это ядро ОС ===
25: ...иге «Just for fun». '''''Что такое ОС?''''' Ядро — та часть операци...
33: ...я запуска программ. Это — ОС для системных интеграторо...
Философия математики, 07 лекция (от 31 марта) (26 662 байта)
3: ...оначчи. В целом, очень мало. Сводится всё к обрывкам анти...
5: ...етствии со своими мыслями. С материалом сложнее. Есть о...
7: ...овских эйдосов, сфера идей. Следующий уровень характере...
17: ...ематики является сила зла, Снежная королева. Что с Каем ...
19: ...м могли пребывать облоки ... Священое писание — не прост...
UNИX, весна 2008, 08 лекция (от 02 апреля) (10 669 байтов)
5: Сталкиваться с ним совершен...
9: ...я регекспов. Из awk вырос Perl. Собственно, awk, как и perl --- ЯП.
29: ...ка --- команда исп. после enter. Селект --- изменение выделени...
95: Сложая, странная вещь номер ...
97: ... ТД: строки, буфера, окошки. Сейчас появились числа, спис...
ОКФиКВ, 08 лекция (от 02 апреля) (6918 байтов)
5: ...зводить по ряду моментотв. Составим таблицу, где слева ...
27: ....., s_y = ... . Это тоже оператор. Слева обозн. квант. физ, спра...
41: * Суперпозиционность остс. ре...
43: ... Возм. обработки ошибочных. Сост. Компенсация.
44: Сейчас мы подошли к первому ...
UNИX, весна 2008, 02 семинар (от 04 апреля) (13 922 байта)
15: * Статическое планирование
17: * Статический приоритет --- наз...
22: == Планирование в ОС реального времени ==
23: ...системы, лектор расск. про ОСРВ. Там всё проще, поскольку...
28: === Статич. планирование ===
ВОВКнОUС, 08 лекция (от 04 ноября) (11 864 байта)
3: ...ке (будем считать, что это С/С++), процесс делится на неско...
9: # Сборка (линковка) --- бывает 2 ...
16: Собственно, во всех этих кат...
72: ...ограммы. Даже если это не С/С++.
77: Собственно, ld пользуется тем...
ВОВКнОUС, 07 лекция (от 28 марта) (5532 байта)
54: == Секции man ==
56: # Системные вызовы
91: Способ перемещения путём по...
127: {{ВОВКнОUС}}
ВПнМ, 07 лекция (от 28 марта) (6959 байтов)
6: ...жет быть бесконечный цикл. Смотрим контрпример: видиим,...
8: == Свойства правильности ==
9: Свойства формулируются чере...
48: * Свойство выполн. на модели, е...
49: * Свойство нарушается, если су...
ВПнМ, 08 лекция (от 04 апреля) (7347 байтов)
8: Свойств бывает два вида: без...
12: ...ём в одно из двух этих сост. Св-во наруш.
14: Свойство живучести: как толь...
32: ...с проходов автоматов Бюхи. Соотв., язык авт. Бюхи позв. э...
42: * Стабильность: <> [] p
Философия математики, 08 лекция (от 07 апреля) (38 025 байтов)
5: ...ществовала в средние века. Сейчас пора построить мости...
13: Секуляризация, десакрализац...
19: ... книги — сборник рецептов. Соотвенно, маг этими формула...
41: ...тавили математику древних. Соответственно, Декарт берё...
45: ...ам это называется алгебра. Средневековая Европа ориент...
ОКФиКВ, 09 лекция (от 09 апреля) (18 115 байтов)
3: ...ло состоит так же, как и с x. С y чуть сложнее, тут надо исп...
5: ...елается операция поворота? Спин регулируется магн. поля...
UNИX, весна 2008, 09 лекция (от 09 апреля) (17 930 байтов)
13: ... исключений --- терминал Linux. Соответственно, с этим BS воз...
65: Стартовые сценарии
ВПнМ, 09 лекция (от 11 апреля) (6752 байта)
6: Сегодня мы закончим с TLL, пос...
15: ...ом убирание всего лишнего. Сначала надо читать специфи...
23: ... жёстким или невыполнимым. Стоит ограничиваться предп. ...
25: === Свойства, инвариантные к про...
31: ...х на E(φ), либо ни на одной. Св-ва. зависят не от длины тр...
Философия математики, 09 лекция (от 14 апреля) (28 774 байта)
5: ...т конь — чувственная душа. Соотвенно, если мы хотим, что...
7: Соответственно, если всё на ...
13: * Созданные идеи: можно взять ...
23: ... ними должно быть согласие. Согласно Лейбницу, мы можем ...
25: ...а определяется только чем? Своими восприятиями, которы...
UNИX, весна 2008, 10 лекция (от 16 апреля) (9825 байтов)
7: ...ь много --- автоматные, КС, КНС и любые. Из этого за реальн...
13: ...енариев), и поиск с заменой. Совершенно необязательно те...
20: ..., как вопр. знак в шаблонах. Соответственно, точка являе...
67: ... одна тема: поиск с заменой. Сейчас будет теор. часть, а п...
69: Существует несколько flavors, п...
ВОВКнОUС, 10 лекция (от 18 апреля) (3067 байтов)
8: = Интерфейс С к NetCDF =
36: *** Создавать переменные, разме...
82: Система представляется в ви...
90: {{ВОВКнОUС}}
ВОВКнОUС, 09 лекция (от 11 апреля) (3525 байтов)
3: Следующий раз последний, пот...
31: * Стек
43: Слегка ущербный формат. Он н...
69: ...ть кроме бинарного предст. С-шный код, который его будет...
71: {{ВОВКнОUС}}
UNИX, весна 2008, 11 лекция (от 23 апреля) (13 275 байтов)
25: Строка: xyxz1xyxyzabxyxyxyz
54: Строка: axyxyxyb
141: ...ный невизуальный редактор. Существует с незапамятных в...
142: ...а p, которая выводит строки. Соответственно, g/re/p --- вывес...
144: Совсем немного ... . Представи...
UNИX, весна 2009, 03 лекция (от 11 марта) (44 584 байта)
11: ...ло понятно, о чём идёт речь. Само название довольно стар...
14: ...ерволлов только три штуки. Самый крутой это pf, но ipfw2 тож...
22: ...и от того, какие это пакеты. С точки зрения польз. выгляд...
152: Само название довольно стар...
171: С более высокими уровнями то...
ВПнМ, примеры задач/Задача 3 (11 322 байта)
6: ...нкцией, работающей в цикле. Системные вызовы и ответ на ...
62: === Свойства корректности ===
237: ...риложения к ядру и обратно. Существует несколько вариан...
ВПнМ, примеры задач/Задача 2 (5043 байта)
124: ...ну ветку, то конструкция на С
ВПнМ, примеры задач/Задача 4 (23 876 байтов)
6: # Сформулированное в третьей ...
10: ... Spin, проверить с помощью Spin. Спецификацию приложить в фа...
88: === Свойства корректности ===
370: ...ием ошибки моделирования). Сам контрпример сохранился ...
403: Строка DspVersion[0]
Философия математики, 11 лекция (от 28 апреля) (11 523 байта)
7: ...тематики, речь идёт о Джоне Стюарте Милле. Это 19-й в., это ...
13: ...иями, пытаются их сочетать. С одной стороны, пытаются вы...
15: ...стоянии быть в курсе всего. Становится такой поток науч...
19: Третья линия. Связана с обоснованием анал...
Философия математики, 10 лекция (от 21 апреля) (28 366 байтов)
5: ...ня нет, как меня мыслящего. Соответственно, во что Декар...
11: Посмотрим, что происходит. С этой мыслью дальше? Что у Л...
13: ..."что вокруг чего вращается? Субъект вокруг объекта или н...
22: ...провергнуты быть не могут. Следующий вопрос — почему м...
24: Следовательно, эта наша убеж...
UNИX, весна 2008, 12 лекция (от 30 апреля) (13 029 байтов)
6: * Символ
22: ...свою реализацию регэкспов. С одной стороны, появился gnu r...
62: *** Сорт учитывает локаль
64: *** Сортировка нестабильная, бл...
83: ...ы, которые что-то делают с ФС
UNИX, весна 2008, 13 лекция (от 07 мая) (11 555 байтов)
3: ...твуется из книг тех времён. Сама система была ориентиро...
5: ..., то, из чего формуируется ОС. Поддхзода два:
6: ... виндовса, любая закрытая ОС будет представлять собой м...
7: ...ый хорошо пишет компилятор С, то хорошо, чтобы он бы её и ...
9: ...соклько оно совместимо с ПОСИХ и надеяться на то, что он...
Философия математики, 13 лекция (от 12 мая) (39 521 байт)
1: ...в, о трёх путях математики. Сейчас лектор хотел бы расск...
3: Серьёзное влияние на ситуац...
9: ...о делает через математики. Существует непроверенная ле...
11: ...интенсивно разм. над матем. Существует большое кол-во фр...
29: ... оно ... двойное отрицанияе. Свойством 1+1+1+1 является то, ч...
UNИX, весна 2008, 03 семинар (от 16 мая) (15 441 байт)
3: '''Слайды презентации: ''' [http://mal...
9: Согласно документу, опублик...
19: ...ем иногда его не сбрабывал. Соответственно, шелл остава...
23: ...ть хэш. И когда мы хотим ... . Суть остаётся такой: многокр...
37: == Сертификаты ==
РОС, ответы на задачи (98 020 байтов)
10: ...рываний (сигнализировать ОС об истечении кванта времен...
12: ...тных средств + гипервизор (ОС)).
14: ... сможет делать то же, что и ОС, а именно влезать в чужую п...
222: ...го таких номеров m ровно N-1. Суммарный выигрыш получаетс...
271: ...(MPI_BARRIER) для всех процессов. Сколько времени потребуется...
Конструирование Компиляторов, Проведение Экзамена (8063 байта)
4: Сдача теоретической и практ...
21: ...имая с проверявшим работу. Случаи успешного оспаривани...
58: ...имая с проверявшим работу. Случаи успешного оспаривани...
UNИX, осень 2009, 01 семинар (от 04 сентября) (16 426 байтов)
9: Сначала лектор поговорит пр...
27: ...ылок. на к-рых польх. не был. С точки зрения скрипта, кажд...
35: ...ection denied. Что происходит в js? Срабатывает excception, и если он ...
37: ...ён веб-интерфейс, например. С другой стороны, если исп. htt...
43: ...олнение формы отправления. Сайты можно узнать через упо...
Собрание 5 курса, от 17 сентября 2009 года (14 254 байта)
14: Сдать до 1 октября, наверное. ...
43: == Сессия в 9м семестре ==
45: ...онная, экзаменов поменьше. Студент при получении зачет...
47: Следующая сессия будет коро...
51: ==Сессия в 10м семестре==
UNИX, осень 2009, организационное собрание (от 23 сентября) (13 476 байтов)
12: # Сопровождение пакетов
13: ...о начать собирать пакеты в Сизиф.
29: ...дистрибутивов Альт Линукс. Сейчас у Альт Линукс есть за...
46: ...екторских предпочтений — ''Сопровождение пакетов''.
72: # Сопровождение пакетов
UNИX, осень 2009, 01 лекция (от 30 сентября) (47 668 байтов)
6: Со стороны внешнего человек...
8: Сталкиваемся с интересным ф...
10: ... работы лектора с другими ОС показывает, что деятельнос...
12: ...ли есть базовые знания по ОС, сборке и пр., это будет про...
15: ... сборке пакетов на примере Сизифа, будет также речь о BSD ...
Richard Stallman, Copyright vs Community in the Age of Computer Networks (73 198 байтов)
3: ..._ifran1.png|thumb|240px|Ричард Мэттью Столлман]]
9: .../talks/rms-moscow-2008-copyright-vs-community.ogg США], [http://torrents.thepiratebay.org/4066450/r...
UNИX, весна 2008, 05 семинар (от 11 июля) (33 339 байтов)
12: С точки зрения лектора, знам...
28: ...авляются двумя атрибутами. Суть с том, что есть докумен, ...
38: ... Модульными и жутко умными. Сейчас есть документ, где пр...
55: ...ых библиотеках и клиентах. Сответственно в features устана...
60: * Связывание с ресурсом
UNИX, весна 2008, 06 семинар (от 18 июля) (23 366 байтов)
3: * '''Докладчик:''' Илья Слепнёв
14: * Следить, чтобы это было в раз...
39: ...8 hanoi tower backup architecture.png|thumb|240px|Схема бэкапа "Ханойская башн...
49: ...н начинет наливать на дну. Соотв, для ускорения либо на...
53: Сторадж-демон состоит из дву...
UNИX, весна 2008, 07 семинар (от 15 августа) (18 326 байтов)
1: = Создание ловушек для спама и...
10: * Создание хороших спам-ловуш...
11: * Сертификация
20: ивлад: Список каннич. имён
22: Спам-ловушки: наши собств. ад...
Тигры, 03 лекция (от 18 сентября) (17 452 байта)
5: Сначала рассмотрим игры вид...
105: Составляем уравнение:
217: Строим множество J_1={j:q*_j >0}, ...
284: Достаточность. p* q* --- ОСС. Существует B, p*^B, q*^B, V(B)=V. Небх...
296: Свойства:
МФСП (4313 байтов)
7: * Семинарист АСВК — Петровский Михаил Иго...
12: == Структура курса ==
26: === Ссылки ===
27: ...ица курса на сайте кафедры СП]
28: ...tml Страница курса на сайте ИСП РАН]
UNИX, осень 2008, 03 лекция (от 15 октября) (4127 байтов)
4: Семинар UNИX был организован ...
13: Скоро будет доклад Евгении Л...
20: ...о предоставляется Евгению Сыромятникову.
37: Сейчас происходит сдача все...
44: С летних материалов можно на...
МФСП, 01 лекция (от 03 сентября) (12 477 байтов)
6: * ФСВП
10: * Сопровождение
13: ...е, Интеграция с окружением, Сопровождение, Требование ...
25: * Спецификация
35: ...ческая дисциплина или нет? Сфера применения этих метод...
МФСП, 02 семинар (от 08 сентября) (8733 байта)
3: ...ый драйвер и реализацию на С++, удовлетворяющую специфи...
327: {{МФСП}}
История религии (6254 байта)
6: Сдавать зачёт можно разными ...
12: ...ать книгу и страницы в ней. Список литературы из не мене...
18: == Структура курса ==
31: Справочная литература: можн...
История религии, 01 лекция (от 05 сентября 2008 года) (14 762 байта)
3: ...от чего же спасает религия? Спасает нас от нас, спасает н...
17: ...ды. Он опубликовал брошюру "Священное и мирское", издате...
24: * Сатореологическая функция, ...
27: ...ерших, духи, ангелы, демоны. Скажем, Фауст вызывал дух зе...
30: ... были до недавнего времени. Символы как таковые.
История религии, 02 лекция (от 12 сентября 2008 года) (24 956 байтов)
3: ... т.ч. социально защищённым. Следующая функция: ритуализ...
7: Следующая функция --- социаль...
9: Следующая функция --- космиза...
13: С функциями религии разобра...
15: ...является носитель религии. Согласно этой типологии, мож...
ВПнМ, список вопросов (8199 байтов)
3: = Список экзаменационных вопр...
8: ...инизм. Вычисления и трассы. Свойства линейного времени. ...
9: ...е программ. Графы программ. Статическая и операционная ...
11: ...редование графов программ. Случаи без разделяемых пере...
12: # Параллелизм. Синхронный параллелизм. Ран...
История математики (4188 байтов)
12: * Стройк, «История математики...
История математики, 01 лекция (от 04 сентября 2008 года) (17 623 байта)
10: ...кусы могут отличаться от А. С. Ильинского. Насколько лек...
16: * Стройк. История математики [h...
70: Сейчас пятиминутный перерыв...
74: ... легко, были академики АН СССР, герои соц. труда, лауреат...
78: '''Александров Павел Сергеевич''' Был лектором на ...
История математики, 02 лекция (от 11 сентября 2008 года) (17 682 байта)
3: ...их вычислительных машин (БЭСМ). (ПО первых машин возглав...
5: '''Лев Семёнович Понтрягин'''. 3 сент...
9: ...е, то всё становилось ясно. С. Л. возглавлял сибирское от...
16: * С начала 17 в. Период математи...
19: С середины 20 столетия, по-вид...
Тигры (11 825 байтов)
8: ...росов контрольной работы). Средний балл за контрольные ...
18: ** [http://sirian.su/vmk/9/tiio/ Скачать все видео (зеркало 1)]
19: ** [http://foo.ru/files/cmc/tigr/ Скачать все видео (зеркало 2)]
31: ... сданы или сданы на двойку. С теми людьми, были застукан...
47: ... чем огорчил очень многих ;) Спрашивает строго, но справе...
Тигры, 02 лекция (от 11 сентября) (20 796 байтов)
30: ...тоже строго выпукла по x и y. Следовательно, для неё верно...
68: Сейчас рассмотрим частный с...
109: Сначала проверим, выполнены ...
131: == Смешанные стратегии в антаг...
217: 3. Справедливы следующие равен...
Тигры, 01 лекция (от 04 сентября) (26 386 байтов)
77: Следствие. Если _w_, ~w~ непреры...
87: Сейчас мы докажем, что это и ...
145: отсюда СТ.
147: 2) (x_0, y_0) --- СТ
200: Следующие два примера более ...
Собрание 5 курса, от 15 сентября 2008 года (24 973 байта)
3: = Собрание 5 курса 15.09.2008 =
9: ...ь 2 гуманитарных спецкурса. С одной стороны, это правда, ...
17: Студенты, которые не получаю...
50: ...цу, которую можно отрезать. Сам дневник остаётся на кафе...
58: ...ко от факультета, другие от Сбербанка и прочих). На них н...
МФСП, 03 семинар (от 15 сентября) (6670 байтов)
3: Сейчас: дорешать задачи про ...
159: {{МФСП}}
История религии, 09 лекция (от 31 октября 2008 года) (20 772 байта)
14: ... знсет, стремится им стать. Становиться можно буддой, ес...
18: ...бличный отчёт, адм. доклад. Смысл практики бунь ань в то...
26: ...тся, что запрещено уставом. Ссорятся из-за кошки, профес....
28: ...куб сутру ты проповедуешь? Спросил муммон главного мон...
36: ... легче, чем буддисту будду. Скорее всего жто будет иллюз...
Основы российского права, 01 лекция (от 05 сентября) (29 841 байт)
10: ...хранительные органы (МВД, ФСБ, ряд других силовых струк...
11: ...т из 87 субъектов Федерации. Субъекты --- государственные ...
13: ...ических и юридических лиц. С помощью права государство ...
14: ...их не сможет никто оказать. Суверенитет означает также ...
17: Сегодня в мире любое государ...
Основы российского права, 02 лекция (от 12 сентября) (22 154 байта)
7: Следующий вопрос: вопрос о т...
14: * Судоустройство
29: Совместная компетенция РФ и ...
38: Следующий вопрос: рассмотри...
40: ...ов государственной власти. Сам президент не входит ни в ...
Основы российского права (2475 байтов)
7: * Как зовут лектора: Северин Виталий Андреевич
9: * Структура курса:
13: ... означать зачет автоматом. Список тем рефератов распро...
14: ...основы российского права`, `Северин` и сегодняшнюю дату"
Новости/15.09.2008/Digest (987 байтов)
8: ** [[МФСП|Формальная спецификация ...
История математики, 03 лекция (от 18 сентября 2008 года) (17 205 байтов)
51: Соль его математических пре...
69: ...ость в системе математики. Со своими обоснованиями, со ...
73: Евклид. Начала. 12 книг. Способы изложения были чрез...
79: Сейчас говорят, что аксиомы ...
82: 4. Совмещение равно между собо...
МФСП, 03 лекция (от 17 сентября) (25 876 байтов)
11: * Строгий. Что это означает? Мо...
12: ...может быть, лишат лицензии. Сначала анализ, потом осмотр...
22: ...вообще всё. То есть, ПО это ОС, компилятор и набор ПО, есл...
30: ...и pm) — порядка 10 строчек на С. Как проверить соответстви...
34: ...о установить соответствие. Соответствие устанавливает...
Основы российского права, 03 лекция (от 19 сентября) (45 304 байта)
3: ==Судебная система РФ и правоо...
8: ...уществляется только судом. Создание чрезвычайных судов...
9: ... органов и должностных лиц. Судьи подчиняются только ко...
10: ...рганов) Советом Федерации ФС РФ по представлению презид...
11: ... Неприкосновенность судей. Судьи всех судов неприкосно...
История религии, 03 лекция (от 19 сентября 2008 года) (19 663 байта)
23: След. тип из пртрептических: ...
44: ...тзывается на заов. челвека. Скольк даймонов? Бескнечн мн...
50: ...ием его стал крыжатый меяч. Смг обр. в свю вреу только др...
52: ...ит, эт была сибирская язва. Сибирская язва пришла не из ...
58: Следующ. стадия --- прамоноте...
МФСП, 04 семинар (от 22 сентября) (6658 байтов)
1: =Списки=
3: ...лементы могут повторяться. Список в угловых скобках, по...
24: Список может быть определён ...
80: ===Список чисел Фибоначчи===
191: {{МФСП}}
МФСП, 04 лекция (от 24 сентября) (17 646 байтов)
53: ...тве глобальной переменной Синтаксические способы могу...
64: С первым случаем всё достато...
163: Семантика гр. у композиции т...
177: {{МФСП}}
История религии, 04 лекция (от 26 сентября 2008 года) (16 691 байт)
15: ...в, пломничества, и так длее. Субъектм культа является ре...
19: Средствми культа явл. разл. м...
21: Само здание задёт сакральну...
23: ...об отпр. фигурирует поклон. Смысл пклона — демнстр. свое...
27: ...тв — вверх путём сжигания. Сжигя, вы нвсегда изымаете п...
История математики, 04 лекция (от 25 сентября 2008 года) (13 784 байта)
4: Средние века — эпоха достат...
16: ... знаков. Улугбек, правитель Самарканда. Он был покровите...
20: ... разного рода производств. Стали развиты руды, металлур...
22: ...ду Герберт отправлен папой Сильвестром II. Зрело восста...
26: ...оритмика — счёт на бумаге. Сначала брали вверх абакист...
МФСП, 05 лекция (от 01 октября) (10 933 байта)
1: Средства спецификации в сов...
5: * Сближение с ЯП
9: Сейчас всеобщего языка спец...
16: ...овокупности, очень сложно. С одной стороны, это тема отд...
17: * Тема безопасности. Совсем неспецифицирована, п...
История религии, 05 лекция (от 03 октября 2008 года) (31 514 байтов)
5: ...роизводящего начала(быка). Сохранились обоженные табли...
9: ...и вытесянли дравидов на юг. Сейчас потомки драв обитают ...
14: ...торая струкутурировалась. Сформировался ведический ка...
18: '''Самхиты'''(по времени возникн...
22: 2)''Сама-Веда''. Богослужебные пе...
UNИX, осень 2008, 01 лекция (от 01 октября) (37 897 байтов)
12: * http://uneex.ru/ (Спасибо Е. Сыромятникову за зарегистри...
23: == Стек протоколов ==
28: === Пункт 1. Среда передачи данных ===
37: ...зготовили соответствующую СПД.
40: === Пункт 2. Подключение к СПД ===
UNИX, осень 2008, 02 лекция (от 08 октября) (35 736 байтов)
22: Есть СПД, в которых могут использ...
31: Ссылка на неё есть на uneex.ru.
125: С обнаружением ошибки есть о...
149: ...ания вы бы не пользовались. С точки зрения интерфейсног...
159: ...йства передающего данные в СПД. Интерфейсный уровень ре...
История религии, 06 лекция (от 10 октября 2008 года) (25 732 байта)
34: ...о нэж. еа севере Индии в ... . Становление датируется 6---3 в...
36: ...обо удлиннённая мочка уха. Согл. будд. мифологии, один р...
38: * Серебр. начинает собирать во...
40: ...наче, Б и Ч побеждают мирно. Сидзартза восп. как истинный...
43: * С нишим --- испытывающем недо...
Основы российского права, 05 лекция (от 10 октября) (37 490 байтов)
9: ...бода в осуществлении прав. Субъекты гражданского права...
36: Следующим видом являются ус...
38: Следующий вид — нематериаль...
46: ... и созданы трудом человека. С позиции гражданского прав...
48: ...ся к неделимому имуществу. Суд решает, что квартира пер...
МФСП, 06 семинар (от 06 октября) (9493 байта)
1: ...ебраические спецификации. Сейчас рассмотрим императив...
24: Составные операции:
88: С использованием глобальных...
97: С использованием локальных ...
111: С использованием while:
МФСП, 08 лекция (от 22 октября) (19 421 байт)
32: ... -y- q_i(-x-, -y-) ⇒ u_i(-x-, -y-) ∈ w. Соответственно, когда опред...
53: Соответственно, P_1 ~ P_2 относи...
57: ...у, завершающему оператору. Собственно говоря, можно счи...
59: Соответственно, сейчас надо ...
73: ...о надо писать f(-x-, r_α(-y-)). Соответственно, аналогично ...
UNИX, осень 2008, 04 лекция (от 22 октября) (43 447 байтов)
3: Сегодня по плану интерфейсн...
7: ..., никак не контролируется ОС, а вот что касается интерфе...
10: ... оно нигде не используется. С другой стороны, то, что сей...
12: ...ными концами в интерфейсы. СПД служит для общения, и чер...
17: ...ать на куски и по кусочку в СПД скармливать. Видимо, при...
История математики, 08 лекция (от 23 октября 2008 года) (8152 байта)
25: ...уравнений первого порядка. Собрал воедино и опубликова...
41: ...отом опублиткова книгу ... . Специальный том он посвятил ...
70: С Александром I было решено, ...
93: Со следующей ревизией (1827) Ма...
История религии, 07 лекция (от 17 октября 2008 года) (23 583 байта)
7: Сутра-питака. Корзина учений...
12: ...честв, в частн невечностью. Существуют от 1/16 до /60 долей ...
15: С тз буддизма мир не сотворе...
17: ... примитивный взгляд на мир. Сначала, когда мир только эм...
18: Принца Ситкхартха ужаснул процесс ...
История религии, 08 лекция (от 24 октября 2008 года) (19 629 байтов)
2: * 5 Скандх
5: ** Санджня (распознавание)
6: ** Санскара (круг рождения и см...
11: *** Саутрантика («Вибхаши» Парш...
22: ..., третьего — боддхисаььвы. Сам а-б никак не представлен,...
UNИX, осень 2008, 05 лекция (от 29 октября) (40 784 байта)
4: СПД, она же интерфейсный уро...
8: ...пьютеров, подсоединенная к СПД, возможна передача от лю...
10: ...ствуют часто используемые СПД, другого, а иногда принци...
11: Виртуальные СПД --- VPN, VLAN, на интерфейсном ...
28: Мы имеем СПД, к которой можно подключ...
История математики, 09 лекция (от 30 октября 2008 года) (13 681 байт)
25: След. этапом было изобр. лога...
31: След этапом после изобр. лин...
37: Следующая машина --- машина Л...
47: ...они факт. задавали рисунок. Станок соверш., со вр. он упр. ...
61: Существует легенда, что Бэбб...
История математики, 06 лекция (от 09 октября 2008 года) (21 339 байтов)
3: ...ичины и системы координат. Систему координат Декарт во...
19: Современник и научный сопер...
23: Сильно насолил Ферма той тео...
49: ..., что выдающийся математик. Сам себя математиком не счит...
73: ...рерывно меняемой величины. Скорость изменения называет...
История математики, 07 лекция (от 16 октября 2008 года) (5060 байтов)
3: ...одно на латыни и греческом. С детства гтовился к госслуж...
11: ...рала (выятнул S из слова Sum). Само слово инт. придумал Бер...
12: * Сформ
15: * Сформ. правила диф. пост., пер...
19: Слова: Пост., перем., коорд., а...
МФСП, 09 лекция (от 29 октября) (10 845 байтов)
7: ...ой спецификации в неявную. Спецификации должны быть аб...
78: ... например, круговой список. Структура может быть необяз...
113: Самое длинное решение.
168: {{МФСП}}
UNИX, осень 2008, 06 лекция (от 05 ноября) (47 835 байтов)
6: ...едовательностью различных СПД)
9: ...тор напоминает, что если бы СПД была одна, и она была бы Et...
19: Система там очень простая:
22: * С — 110, три байта на адрес сет...
35: Соответственно, адресация п...
История математики, 10 лекция (от 06 ноября 2008 года) (18 016 байтов)
48: ...жден был покинуть францию. Сначлаа на пару лет в Швейц., ...
84: ...замк. точки, ждейств. числа. Серьёхностью в их отношении ...
История религии, 10 лекция (от 07 ноября 2008 года) (24 370 байтов)
7: Согл. доктрине К, управляет в...
14: ...тительное отн. к родителям. Сяо.
51: ...ть свящ. писание, синтон, .... Согласно писаниям, один из и...
55: ... зеркало, она изумилась, ... . С этого момента большое зерк...
57: ...ородив три мужских бога. Су Сан Мо получил в подарок под...
UNИX, осень 2008, 07 лекция (от 12 ноября) (43 088 байтов)
6: Сегодня запланирован Internet Pro...
20: Есть какая-то СПД, которая как-то передает ...
21: Мы знаем, что эта СПД, возможно, не предназнач...
22: Типичный пример — СПД вообще без разделения па...
25: Поверх такой СПД необходимо дополнительн...
Основы российского права, вопросы и темы (20 481 байт)
8: # Социальное назначение и фун...
10: # Система права.
19: # Федеральное Собрание РФ.
23: # Судебная система и иные прав...
40: # Сущность и формы проявления ...
UNИX, осень 2008, 08 лекция (от 19 ноября) (46 885 байтов)
19: С помощью какой программы мо...
41: Существует ли более-менее ра...
56: Согласно правилу независимо...
132: С упорядочиванием не совсем ...
137: === Сравнение ===
Обработка сигналов (2709 байтов)
3: * '''Название спецкурса:''' Структурные методы обработк...
4: ...й А. Кропотов (ВЦ РАН), Вадим С. Конушин (КГ/ММ), Ольга В. Ба...
5: * Спецкурс проходит по вторни...
33: |Конушин В. С.
40: |Конушин В. С.
История религии, 11 лекция (от 14 ноября 2008 года) (27 074 байта)
5: Сегодня речь пойдёт об иудаи...
15: ...ило порядка 350—370 до 500 лет. Сами иудеи стремятся цифру у...
19: ...ея глашатаем культа Атона. Серьёзнвые гебраисты, в част...
21: ...игли синайского хребта. От Синая Омисей пошёл на север,...
31: ...ровления Давида и его сына Соломона есть период расцве...
Основы российского права, 09 лекция (от 14 ноября) (12 993 байта)
31: Следующий вопрос, который то...
33: Следующий вопрос: вопрос о п...
35: ...риятий вызывает неракания. Служба безопасности ...
История математики, программа курса (3145 байтов)
8: ...ождения. Кардано, Тарталья, Сципион дель Ферро и др.
10: #Счётные машины эпохи техник...
20: #Становление современного ма...
26: #Научная биография С.В. Ковалевской.
История религии, 12 лекция (от 21 ноября 2008 года) (22 867 байтов)
5: ...ечь о раннем христианстве. Самая примерная схема:
14: ...начало вселенским соборам. С 325 года началась эпоха всел...
16: ... '''Никейский''' собор, 325 год. Следующий собор был созван в...
18: Символ веры начинается со сл...
19: ...ёт текст о первой ипостаси Святой Троицы. В христианств...
UNИX, осень 2008, 11 лекция (от 10 декабря) (43 335 байтов)
31: Собственно, их в RFC и объедин...
65: Существует сервис, который п...
152: Степени распределённости бы...
153: ...я сеть. Сеть, имеющая центр. Сеть, рассчитанная на то, что...
198: Сначала ищется во внутренне...
UNИX, осень 2008, 09 лекция (от 26 ноября) (41 540 байтов)
35: Сокеты бывают разные.
83: Сейчас есть практика, когда ...
93: Соединение осуществляется п...
96: С одной стороны, упираемся в ...
130: Существует целый список про...
История математики, 12 лекция (от 20 ноября 2008 года) (22 502 байта)
16: ...но. Он профессор, академик. С очень ярко выраженной, акт....
22: ...ил конспекты своих лекций. Студенты его очень любили, ч...
40: ...ров любого пола за всю ист. Стокг. унив. Родилась в семье...
46: ...на самом деле, формы кольза Сатурна. Третье — привед. аб...
48: ...ончил жизнь самоубийством. Софья стрелялась тоже, но ос...
UNИX, осень 2008, 10 лекция (от 03 декабря) (43 094 байта)
10: Сегодня прикладной уровень T...
24: Существует центральная орга...
38: Существует некая организаци...
63: == Сервисы ==
87: Соответственно, ответ тоже, ...
МФСП, 12 лекция (от 26 ноября) (1371 байт)
13: Сразу применять (skolem!) нельзя...
14: с использованием индукции. Следовательно, сначала прим...
24: Следующая среда — консульта...
26: Ссылки:
29: {{МФСП}}
История религии, 14 лекция (от 05 декабря 2008 года) (20 166 байтов)
3: ... часы, отведённые на ислам. Совр. ислам ост. за рамками.
12: С точки зрения католицизма е...
28: ...а. Тут тоже тонкая разница. С т. з. православных: бог созд...
42: ...адные полные индульгенции. Смысл такой: такой человек с...
74: ...ротив присущ. святых даров. Согл. его концепции, освящ. х...
История религии, 15 лекция (от 12 декабря 2008 года) (31 185 байтов)
9: ...Баптизм → Адвентизм → АСД
11: ...шне простонародным языком. Совр. немецкая библия хоть и ...
13: ...асть нем-герм стран, есть в США и в России. Лютер сохр., х...
15: ...я даром данной благодати. МСогл ему, Бог, понимая, что че...
26: ...еловека право выбора веры. Слово анабаптизм --- "перекре...
Переславль 2009 (601 байт)
1: == Четвертая конференция «Свободное программное обесп...
3: === Ссылки ===
Переславль 2009/Круглый стол (24 092 байта)
5: ...сандр Дербень (Красноярск, Сибирский государственный а...
7: * '''Среда:''' Гетерогенная сеть (Li...
8: ...раткое описание решения:''' Сервер на Linux, подключение кл...
13: ...теров от 5 до 150. Сети класса С. И этот вопрос первый, как с...
52: 1С: работаеют и серверные и по...
Математическая Логика, Проведение Экзамена (2599 байтов)
Собрание 5 курса, от 13 февраля 2009 года (18 937 байтов)
7: ...было время, я посчитал — 397. Среди этих 397 человек только ...
13: * '''С 16 марта по 27 марта''' необхо...
14: ...чётов и от 0 до 2 экзаменов. Сессия пройдёт '''с 4 по 15 мая''...
38: .... курсовых работ и диплома. Соответственно, НК не может ...
52: ...: у баков было три сокр: ЭВМ, С++, SQL. Остальные были развёр...
CUDA, весна 2009, 01 лекция (от 24 февраля) (13 539 байтов)
5: ... разгоняль до 7—8 мегагерц. С тех пор пошёл резкий скачё...
6: ...ходили на след. техпроцесс. Сейчас интел переходит на те...
8: ...ваемся с волновой оптикой. Со всеми её нелинейными эффе...
10: ...роизв. явл. параллельность. Сейчас все произв. выпускают...
14: ...ости лежат в одной линейке. Соответственно, при обновле...
UNИX, весна 2009 (4606 байтов)
5: * Спецкурс проходит по средам ...
8: == Структура курса ==
26: !Сетевой уровень
70: == Ссылки ==
UNИX, весна 2009, 01 лекция (от 25 февраля) (39 790 байтов)
4: ...а ВМиК, нужно сдать Евгению Сыромятникову или Артему Га...
6: ..., читает спецкурс кафедры АСВК.
29: Слово нерусское, используют ...
37: == Сущности, связанные с экрани...
59: ... «Межсетевые экраны», а не «Сетевое администрирование».
UNИX, весна 2009, 10 лекция (от 06 мая) (31 548 байтов)
12: ...ся более разумными вещами. Сделано это вот как: какие де...
37: ...ны и прочее. YaST называется. Соотв., главное, подо что зач...
110: === Специфика ===
200: === Средства, встроенные в дистр...
201: Средства представляют собой...
СППМ (16 833 байта)
1: = Современные проблемы прикла...
3: Сводный курс.
12: ... 1. || 16, 23 марта, 16:20 || П-14 || [[СППМ/ММРБЗ|Математические м...
14: ... 2. || 16, 23, 30 марта, 14:35 || П-14 || [[СППМ/ЧУМ|Некоторые проблемы ...
20: ...5. || 13, 20 апреля, 16:20 || П-14 || [[СППМ/ММ@гум|Математическое м...
UNИX, весна 2009, 02 лекция (от 04 марта) (43 996 байтов)
6: Изображение:Uneex desk 09 03 04 1.jpg|Схема работа линейного фаер...
8: Изображение:Uneex desk 09 03 04 3.jpg|Схема работа линейного фаер...
27: Со всеми возможными возника...
35: ОС общего назначения — линук...
41: ...инение интерфесов в единую СПД.
CUDA, весна 2009, 02 лекция (от 03 марта) (15 791 байт)
27: ...нд. функций: sin, cos, 1/x, 1/sqrt(x)... Следствие из этого: злоуб. тр...
28: ... РАЗДЕЛЕНА НА ДВЕ КУЧИ: РЕГИСТРы. Все регистры объед в ре...
36: Сама Tesla/GF предст. собой масс...
75: Счёдчик команд для всех варп...
77: Нет. Сперва вып. одна команда для ...
CUDA, весна 2009, 03 лекция (от 10 марта) (29 264 байта)
10: ...енция, что объём её растёт. Скорость очень высокая, в ид...
11: ...й необх. инкрементировать. Скорость по ср. с ост. память...
14: ...рим про глобальную память. След. лекция посвязена shared-п...
23: ...боты. Важно исп. shared-память. Сущ. спец. паттерны доступа, ...
37: С чем связана передача укаща...
СППМ/Терминология, 01 лекция (от 21 марта) (13 486 байтов)
10: * Тезаурусы: ИПС
24: ... чаще встречается Джонатан Свифт.
26: ...ликих гениев ост. навсегда. Сдесь великим из великия явл...
27: ...о продукта. Почти во всех ГОСТах есть список недопустим...
31: ..., хороший. И есть ГОСТ по ГИС, это ерунда какая-то, не на...
UNИX, весна 2009, 04 лекция (от 18 марта) (35 814 байтов)
5: ...атель по курсу "Введение в ОС Linux", оплата 500р/час, это веч...
8: Сегодня хотим подчистить то,...
10: ...ильно, но для FreeBSD/Linux верно. С третьей стороны должны быт...
48: Соответственно, всё это пере...
55: * Свойства протокола TCP, в перв...
CUDA, весна 2009, 04 лекция (от 17 марта) (20 818 байтов)
10: * Самая быстрая среди тех, кот...
11: * Сейчас всего 16К на мультипро...
18: ... нити дошли за эту команду. Соответственно, после этого ...
22: ... мы получим: можно всю матр. С' предст. след. образом: берё...
24: ...ве таких матр. 16*16 в память. Следующий момент — при тако...
СППМ/ЧУМ (2162 байта)
2: [[Image:Gurov.jpg|thumb|Сергей Исаевич Гуров]]
7: ...'''Лектор''': к. ф.-м. н., доцент С. И. Гуров
12: * [[СППМ/ЧУМ, 01 лекция (от 16 марта...
13: * [[СППМ/ЧУМ, 02 лекция (от 23 марта...
14: * [[СППМ/ЧУМ, 03 лекция (от 30 марта...
СППМ/ЧУМ, 01 лекция (от 16 марта) (16 932 байта)
11: ... или англоязычных книжках. С другой стороны, тематика ч...
36: * Симметричность: ρ = ρ^d
62: Существуют ли такие объекты ...
181: ...ли все её сеч. додекиндовы. С этим откр. дядюшки Додекин...
198: Далее. След. хар-ки.
СППМ/ММРБЗ (1793 байта)
6: ...ектор''': к. ф.-м. н., доцент А. С. Крылов
8: ** ''[[СППМ/ММРБЗ, 01 лекция (от 16 мар...
9: ** ''[[СППМ/ММРБЗ, 02 лекция (от 23 мар...
13: {{Курс СППМ}}
СППМ/ММРБЗ, 01 лекция (от 16 марта) (12 817 байтов)
8: Соотв., первая лекция будет п...
14: * Суперразрешение (на осн. нес...
21: * Стандартныке методы, которы...
27: ...ами. Разнве бывают сплайны. Суммируются 4 пиксела по x и y
29: Сравнение методов.
СППМ/ЧУМ, 02 лекция (от 23 марта) (14 304 байта)
93: ...ом P связано ЧУМ <Q_p, ≤_p>. Сейчас будет подстановка: &sum...
140: Степень. Есть два ЧУМ, <P, ≤_...
272: {{СППМ}}
СППМ/ММРБЗ, 02 лекция (от 23 марта) (5329 байтов)
9: Сперва поговорим про биомет...
15: ...лич. методы идентификации. Слева предст. разл. документ...
21: Структура радужки может быт...
43: {{СППМ}}
CUDA, весна 2009, 05 лекция (от 24 марта) (4152 байта)
5: Скорость текстурной памяти ...
27: Свёртка.
35: Сепарабельный DCT. В примере н...
UNИX, весна 2009, 05 лекция (от 25 марта) (44 081 байт)
10: ...ить её в us клайне накладно. Система фильтрации в linux наз...
20: ...без учёта сост. соединения. Сущ. ряд случаев, когда этого...
38: ...ING, потом FORWARD, потом POSTROUTING. С этим есть одна единственна...
54: ...ть произв. icmp-пакеты извне. Следовательно, нужен мезани...
77: * Создать цепочку — -N
СППМ/ЧУМ, 03 лекция (от 30 марта) (11 543 байта)
31: ...о, что объём многогр. огр. 1. Строится он вот так: множест...
66: ...о теории получаем 2/15 * 5! = 16. Совпадают.
193: # Р. Стенли. "Перичислительная ко...
194: # Биркгоф, Барти "Современная прикладная алге...
200: {{СППМ}}
CUDA, весна 2009, 06 лекция (от 31 марта) (8692 байта)
1: Сегодняшняя лекция посвязен...
5: Сегодняняя лекция опять буд...
9: ...ерез линейный оператор: ... . Сущ. обр. Ф-преобр. Но они сущ....
14: * Сепарабельность. Вероятно, с...
16: * Свойство отражения
UNИX, весна 2009, 06 лекция (от 01 апреля) (29 729 байтов)
20: * С одной стороны, iptables это так...
29: ...ожно запрограммировать на С"), запр. модуль, решающий оп...
37: ...им засвечивать один из них. С точки зрения польз. это выг...
66: Соверш. отдельная тема, связ...
106: Сегодня будет про фильтраци...
UNИX, весна 2009, 07 лекция (от 08 апреля) (37 704 байта)
5: ... их как-то преобразовывать. С версии 5.3 Freebsd был включен в...
7: ...двух разных юних-подобных ОС, про ipfw/ipfw2 и про iptables в linux. ...
30: С точки зрения отд. пользова...
45: Как это всё управляется? С помощью двух утилит:
49: ...ное место для определения. С другой тсороны, есчли напр...
СППМ/ММ@гум (933 байта)
6: ** ''[[СППМ/ММ@гум, 01 лекция (от 13 ап...
UNИX, весна 2009, 08 лекция (от 15 апреля) (35 532 байта)
8: Ситуация с stateful файрвол.
17: Соответствие состояний.
21: Соединения данного типа мож...
31: С другой стороны, память сей...
43: Стратегия last wins вроде бы дол...
UNИX, весна 2009, 09 лекция (от 22 апреля) (35 260 байтов)
11: ...и может быть оттуда вызван. Смысл состоит не только в то...
13: ...ся оно в момент выполнения. Соответственно, как только м...
38: ...олзоваться необязательно. С другой стороны, первый быс...
86: С другой стороны, помея. паке...
113: Станет теплее, народу будет ...
ВПнМ/Теормин (94 954 байта)
3: ...зображение:Verif1.png|400px|thumb|right|Схема верификации на моделя...
5: '''Состояние программы''' - сово...
22: Состояние называется дост...
24: ...инизм. Вычисления и трассы. Свойства линейного времени. ...
26: '' Лекция 2, Слайды 39-50 ''
ВПнМ, примеры задач/Задача 5 (26 418 байтов)
458: ...ировать "за каким-то B будет С" (но не за всеми!)
497: Сдавал не Коннову
МОТП (1770 байтов)
18: * [http://mmphome.1gb.ru Сайт ММП]
МОТП, Билеты (2009) (80 153 байта)
15: == Решение несовместных СЛАУ ==
18: ...iv class="definition">'''Несовместная СЛАУ''' — система линейных ур...
20: <div class="definition">'''Совместная СЛАУ''' — система линейных ур...
24: ...ормальное псевдорешение ''' СЛАУ <math>Ax = b</math> — вектор <math>...
97: <div class="definition">''' Случайная величина ''' — это ...
МОТП, Задачи на экзамене (20 686 байтов)
188: Первый шаг. С учетом начального приближ...
212: Второй шаг. С учетом нового начального п...
249: ...ы A записана на странице 169. Содержательно эта формула о...
Указатель (3864 байта)
10: ...|Языки программирования]]: [[Сравнение Языков Программир...
16: *** [[Социология]]: [[Социология, ответы на билеты...
18: ...ях]]: [[ВПнМ, список вопросов|Список вопросов к экзамену]],...
Конструирование Компиляторов, Теоретический минимум (2009) (31 256 байтов)
22: ...а 2 (Контекстно-свободная, КС) по Хомскому ==
24: ...а 2 (Контекстно-свободная, КС) - грамматика, где каждое пр...
51: == Соотношение между языками, п...
107: ...ением детерминированного. Существует теорема, гласяща...
177: == Сформулировать соотношение ...
Методы Оптимизации, Теормин (42 605 байтов)
128: === Сильная NP-полнота. Теорема о ...
142: ...ь между существованием ПППС и псевдополиномиальностью...
156: ...== Теорема об отсутствии ПППС для задач оптимизации, соо...
162: ... <math>\Pi</math> не существует ПППС
182: Симплекс-метод -- метод решен...
Парадигмы программирования (3229 байтов)
3: [[Image:Stolyarov.jpg|thumb|right|320px|Столяров Андрей Викторович]]
5: * Лектор — Столяров Андрей Викторович.
14: ...арадигмы программирования/Список экзаменационных вопр...
16: * Сдача экзамена в другое врем...
26: == См. также ==
Парадигмы программирования, 02 лекция (от 01 октября) (12 203 байта)
41: Суперпозиции операций, приш...
72: Способы разные бывают.
74: Следующий уровень --- дин. мас...
76: ... Получится malloc() ровно один. Сколько памяти тратится? В ф...
82: Счетчик у нас уже был, а инте...
UNИX, осень 2009, 02 лекция (от 07 октября) (19 641 байт)
17: Собственно, весь курс посвящ...
23: ...в у него может получиться ОС.
27: ...лед: есть хранилизще (напр., Сизиф), Когда речь идёт о дис...
53: ..., при уст. всех получается ОС, то если не будет в этом пор...
59: ...андарт не очень интересен. Скорее даже наоборот: если в...
Парадигмы программирования, 03 лекция (от 08 октября) (22 619 байтов)
7: ...то? Не очень, например, язык С описывается на десятках ст...
21: * Символ — SYMBOL — тоже s-выраже...
22: * Строка — "This is a string" . Появили...
30: ...м интересно это выражение? Своей гетерогенностью- в люб...
32: ... языке С? Это можно сделать, С это позволяет, там есть стр...
UNИX, осень 2009, 03 лекция (от 14 октября) (20 917 байтов)
7: ...ы он установилс нормально. С этой задачей справляется д...
14: ...ой операционной системе -- ОС автора), autotools (позв. с помощ...
19: ...алога появились бинарники. Следующее, без чего нлеьзя с...
20: ...тим этот подход прельщает. С помощью LD_PRELOAD можно сделат...
21: ...ция в системе: зависимости. С нии труба. Никакой ручной р...
Парадигмы программирования, 04 лекция (от 15 октября) (18 281 байт)
94: ...сте называется замыканием. Совр. версии lisp не теряют эфф...
114: Существует функция set, котор...
История математики, 05 лекция (от 30 сентября 2009 года) (13 896 байтов)
5: ...уется линейкой для решения СЛАУ, количество линеек проп...
9: ...ведской королеве Кристине. Современники считали её сли...
11: ...эпохи часовых механизмов». С. Мореленд (дипломат), не зна...
15: ...гресс, основанные на идеях Слонимского.
17: ..., анализа бесконечно малых. Становится востребованной а...
Научная работа и научные руководители (17 587 байтов)
15: '''Спецсеминары:'''
22: ... математические модели СБИС
36: === Спецсеминар «Компьютерная л...
46: * Создание [[wikipedia:ru:электронны...
68: ===Спецсеминар «Искусственный ...
Парадигмы программирования, 05 лекция (от 22 октября) (19 919 байтов)
3: ...схеме, но самое интересное. Самым зубодробительным може...
7: ...оде глобальных переменных. Сами по себе символы ничего ...
13: ...что в лиспе (исключение- elisp Столлмана).
49: ... функция (в C - main, например). Собственно, всё выч. програм...
122: .... Рекурсия привычнее, но на С мы бы написали примерно то ...
Парадигмы программирования, 07 лекция (от 05 ноября) (13 508 байтов)
27: ...есть неоторое ограничение. Совсем другео дело -- datalog, он ...
31: Структуры данных, данные в я...
35: * Структуры. Это уже дин. данны...
53: ...они унифиц., то идём дальше. Сравниваем арность. Если не ...
71: С другой стороны, есть досто...
UNИX, осень 2009, 04 лекция (от 21 октября) (27 867 байтов)
7: ...ро, деятели, пользователи). С точки зр. сообщ. вокр. дистр...
13: ...ть: обесп. свойства пакета. Соблюсти policy.... В результате ...
16: ...принимать собранный пакет. Создавать сборочные сервера...
47: # Сборочное окружение. Это сил...
62: ...то можно её воспроизвести. С другой стороны, есть некие ...
Собрание аспирантов, от 21 октября 2009 года (10 441 байт)
3: ... могут коснуться вас. МГУ и СПБГУ получили особый стату...
5: ... по смежной специальности. Сейчас у нас активно развива...
7: ...взять индивидуальный план. Стандартная форма планирова...
9: ...лучай, большое напряжение. С другой стороны, можно не пе...
17: Стипендия 1500 рублей для тех, ...
Парадигмы программирования, 08 лекция (от 12 ноября) (13 808 байтов)
7: ...й стороны экономить время. С другой стороны... отсечение...
30: С этим предикатом интересна...
49: ...они реверсивность убивают. Среди них отсечение.
117: С лог. точки зрения всё то же ...
119: ...рем. должны уже иметь знач. Соотв., как только какая-то и...
Парадигмы программирования, 06 лекция (от 29 октября) (20 390 байтов)
54: # [ Строки ]. Далеко не все автор...
64: ...ения имеет. Без них тяжело. Сначала вводятся списки, пот...
66: Примеры лямбда-выражений. Самое простое — просто конс...
150: * Самый левый редекс --- его лям...
151: * Самый внешний редекс --- тот, ...
UNИX, осень 2009, 05 лекция (от 28 октября) (16 898 байтов)
4: # Средства сборки
6: # Составление spec
10: # Сопровождение
13: Сейчас лектор решил сосред. ...
17: Сегодня лектор начал с того, ...
UNИX, осень 2009, 06 лекция (от 11 ноября) (18 273 байта)
6: Сначала лектор хотел бы расс...
10: В плане проекта создания ОС, есть документ, который дек...
12: ** Свободное распространение
19: ...ы проекта -- пользователи и СПО. Проект дебиан спокойно ...
29: ...азработчики ОС --- Debian Developer. Стать таковым непросто, но в...
UNИX, осень 2009, 07 лекция (от 18 ноября) (23 290 байтов)
5: Сегодня будет двве темы, одн...
9: Сегодня лектор хотел бы попр...
11: * Составление спеков.
17: Ситуации бывают разные. Напр...
19: ... можно назвать svn, git, hg, bz, cvs. С другой стороны, нужно знат...
Delphi (1303 байта)
Парадигмы программирования, 10 лекция (от 26 ноября) (13 791 байт)
7: ...ени может иметь разн. рез=т. Соответственно нужно в ЯП ли...
11: .... открывают ленивые вычисл. Самый простейший вариант, вр...
95: Самое интересное, что если у ...
159: С другой стороны, есть хаске...
Парадигмы программирования, 09 лекция (от 19 ноября) (16 626 байтов)
11: ...о тем не менее. В 60-е годы в ИСП РАН, который возглавлял т...
17: ...мог, и его таки вышибли из ИСП, некоторое время он продо...
27: ...а, что угодно, закр. скобка. Скобки наз. структурными. Он...
37: Переменные. Есть три типа. Стандарта рефала нет, есть р...
39: * s-перем. Сопост. одному вимволу: терм...
UNИX, осень 2009, 08 лекция (от 25 ноября) (16 987 байтов)
6: * Сборка
8: * Список файлов
13: ... для прошлого тысячелетия. Со сборочными завис. есть од...
29: ...андартизованная ситуация. Ситуация, когда вы собираете...
76: ...изнь ментейнера меняется в Сизифе, изапланироваться по...
Парадигмы программирования, 11 лекция (от 03 декабря) (13 478 байтов)
3: ...ерез неделю будет экзамен. Список экз. билетов выложен ...
27: ...шинстве своём императиные. С другой стороны, есть Common Lisp...
29: С ОО, поговорим о нём ещё. Бол...
31: ...ются командно-скриптовыми. С точки зрения лектора, клас...
32: * Строка — наше всё. Строка текста как универсал...
Парадигмы программирования/Список экзаменационных вопросов (5336 байтов)
19: ...к Пролог: структуры данных. Сходство и различия между ст...
38: # Событийно-ориентированное п...
UNИX, осень 2009, 09 лекция (от 02 декабря) (17 061 байт)
46: Две команды. Собственно, и всё. Есть ещё о...
63: Соотв. программа наз .gearar, но ...
85: ... сизифе, то он не соберётся. Соответственно, речь идёт о ...
87: ...жны присоед. к шаред таску. Сейчас вроде вешается крити...
Msu cmc/quotes (61 323 байта)
4: ...т с вами ржу — cуть msu_cmc@cjr || С днём рождения, комнатка!
10: ...м || ходэцкель || that'll be the day || С днём рождения, комнатка!
16: ... ДОКАЗЫВАЕТ ПРЕВОСХОДСТВО С НАД ДРУГИМИ, ЖАЛКИМИ ЯЗЫКА...
22: ... ДОКАЗЫВАЕТ ПРЕВОСХОДСТВО С НАД ДРУГИМИ, ЖАЛКИМИ ЯЗЫКА...
28: ...ен перепост. || ТОЛЬКО ИНХАУС ТОЛЬКО NIH || кластер работал...
МФСП: Оформление задач (7028 байтов)
13: v:=i*(x=x+v;i)*2 // (ЗДЕСЬ v не успевает обновиться, ...
23: ...я определена на множестве ВСЕХ входных данных (потому ч...
65: * Не забывать ставить ВСЕ условия прохождений по ве...
70: * [[МФСП, 12 лекция (от 26 ноября)|При...
73: {{Курс МФСП}}
Операционные системы/Многомашинные, многопроцессорные ассоциации (17 424 байта)
8: ...инструкций) и поток данных. Считаем потоки данных и кома...
22: == Системы с общей оперативной ...
25: С ростом числа процесоров ро...
31: ...ольких независимых блоков. Слово «симметричный» в назв...
41: Системы с неоднородным дост...
Операционные системы/Терминальные комплексы, компьютерные сети (15 621 байт)
9: Структура терминального ком...
18: ...оволоконным линиям связи). Со стороны вычислительной с...
22: ...ибо по выделенным каналам. Суть соединения через '''комм...
27: С точки зрения организации п...
28: # '''Симплексные каналы''' - канал...
ПОД (3 поток), Вопросы (5402 байта)
1: == Список вопросов по экзамену ...
24: # Спекулятивное выполнение ко...
25: # Статическое предсказание ус...
29: # [http://www.wl.unn.ru/~ragozin/plan/ss.htm Суперскалярные микропроцес...
34: # Статические коммутационные ...
Операционные системы (9560 байтов)
5: Содержание экзаменационных ...
10: ...ра вычислительной системы|Структура вычислительной си...
12: # См. предыдущий вопрос.
13: # См. предыдущий вопрос.
14: # См. предыдущий вопрос.
Операционные системы/Поколения компьютеров (12 474 байта)
14: ...енсильванский университет США).
18: Средство программирования ...
38: Пример: БЭСМ-6 (предел развития машин в...
42: ...гнитной ленте, перфоленты. Соответственно, появилась с...
44: ...ли или занимались обменом. С появлением таких компьюте...
Операционные системы/Сокеты (36 821 байт)
2: ...модействия они не годятся. Следовательно, возникает не...
6: '''Сокеты''' представляют собой ...
10: ...есс-сервер запрашивает у ОС сокет и, получив его, присв...
13: Сокеты подразделяются на не...
17: Соединение с использованием...
Операционные системы/Файловые системы (43 123 байта)
1: '''Файловая система''' ('''ФС''') – часть операционной си...
3: ...сит область применимости ФС.
5: '''ФС''' – компонент ОС обеспечивающий именованны...
9: ФС совершила революцию. Появи...
11: ОС брала на себя функции разм...
Операционные системы/Базовые средства взаимодействия процессов в ОС UNIX. (14 173 байта)
31: ...изовать пошаговую отладку. С помощью команды PTRACE_SYSCALL во...
65: ... процесса бит трассировки. Сразу же после этого можно з...
66: ... его пошаговое выполнение. Схема пошаговой отладки пок...
Операционные системы/IPC (59 654 байта)
1: ...сорного взаимодействия в ОС Unix.
6: *Семафоры
26: Смысл второго аргумента фун...
28: Следует заметить, что функци...
84: ...ет, и вызов сразу вернет –1. Сообщение при этом останетс...
Операционные системы/Базовые средства взаимодействия процессов в ОС UNIX. Каналы (22 550 байтов)
30: ...ает сигнал SIGPIPE (тем самым ОС уведомляет его о недопусти...
54: === Схема взаимодействия процес...
112: === Совместное использование си...
198: ...FO-файлом (в разных версиях ОС он может иметь разное симв...
203: ...ный флаг (в разных версиях ОС он может иметь разное симв...
Операционные системы/Структура вычислительной системы (17 981 байт)
1: ...Вычислительная система''' (ВС) – результат интеграции ап...
3: Структура вычислительной си...
16: # Степень занятости или испол...
20: Средства программирования, ...
22: # Система команд компьютера.
Операционные системы/Основы архитектуры компьютера (5699 байтов)
5: Суть этого принципа заключа...
15: Схема компьютера фон Нейман...
26: См. также:
Операционные системы/Аппарат прерываний (8585 байтов)
7: ...довательность действий в ВС при обработке прерываний ==
8: ...граммный'', он выполняется ОС.
14: # Сохранение актуального сост...
21: ...е блокировки прерываний и ОС завершает выполнение прог...
22: ...о обработки. В этом случае ОС сохраняет ''все регистры'', ...
Операционные системы/Внешние устройства (21 462 байта)
1: ...арактеристики компьютера. Система внешних устройств к...
7: Схема классификации внешних...
21: ... для архивирования данных. Скорость обработки запросов...
58: ...га с головками над треками. Скорость доступа достаточно...
78: # Синхронное управление ВУ с и...
Операционные системы/Мультипрограммный режим (7092 байта)
6: ...до момента времени t2. С t2 программа 2 также н...
12: ... если ЦП работает в режиме ОС. Если ЦП работает в обычном...
21: ...аемость программы по ОЗУ.''' Сложно перемещать программу...
22: ...ду программами/процессами. Суммарный объем свободных ф...
Операционные системы/Организация регистровой памяти ЦП (8148 байтов)
45: См. также [[Wikipedia:Register window|Registe...
Операционные системы/Виртуальная оперативная память (6612 байтов)
13: ...ти '''базирования''' адресов. Суть его состоит в следующем...
22: Страничная организация памя...
24: См. [[пример организации стра...
Операционные системы/Пример организации страничной виртуальной памяти (8221 байт)
5: ...ше m, а может быть и меньше). Соответственно, структура и...
15: ...момент программы/процесса. Соответствие определяется с...
16: Содержимое строки αi определ...
22: ОС по содержимому внутренних ...
Операционные системы/Операционные системы. Основные компоненты и логические функции (7807 байтов)
1: ...использованием'' ресурсов ВС.
3: Любая ОС оперирует некоторым набор...
7: ...раненных базовых понятий ОС является ''процесс''.
11: ...'', исполняющаяся в рамках ВС и обладающая ''правами на в...
17: ...ем считать, что модельная ОС имеет возможность предвар...
Операционные системы/Операционные системы. Виды ОС (4164 байта)
2: *Пакетная ОС
3: *Системы разделения времени
4: *ОС реального времени
6: == Пакетная ОС ==
9: Стратегия переключения с од...
Операционные системы/Организация сетевого взаимодействия. Модель ISO/OSI (7237 байтов)
2: ...та проблема увеличивалась. Сети создавались как корпор...
14: ...заимодействующими в сети ВС.
21: # '''Сетевой уровень'''. Управлени...
23: # '''Сеансовый уровень'''. Обеспеч...
31: '''Служба''' или '''сервис''' — наб...
Операционные системы/Организация сетевого взаимодействия. Семейство протоколов TCP/IP (15 724 байта)
1: ...дарт военных протоколов ВС США. Разработано в DARPA, котор...
7: ...дартизация доступа к сети. Состоит из подпрограмм дост...
10: ...ень прикладных программ'''. Состоит из прикладных прогр...
12: == Соответствие модели ISO/OSI мод...
24: |5. Сеансовый уровень
Операционные системы/Управление процессами (16 198 байтов)
9: Рассмотрим модельную ОС.
11: ...астности, на данном этапе ОС формирует информацию о пре...
41: == Модель ОС с разделением времени ==
64: ...сом, системной информации ОС, ассоциированной с данным ...
66: ...не выполняемого процесса ОС осуществляет «перенастрой...
Операционные системы/Реализация процессов в ОС UNIX. Определение процесса (11 385 байтов)
1: == Системно-ориентированные оп...
3: ...етные особенности данной ОС).
5: С точки зрения Unix выделяют д...
7: ...ный в ''таблице процессов'' ОС
15: ...иируется с работой ядра Unix. С точки зрения организации д...
Операционные системы/Реализация процессов в ОС UNIX. Базовые средства управления процессами в ОС UNIX (21 729 байтов)
1: ...е в работающем экземпляре ОС UNIX, за исключением первых д...
3: == Системный вызов fork() ==
7: Сыновний процесс наследует ...
44: ...низм замены тела процесса. Семейство системных вызовов...
46: Семейство системных вызовов...
Операционные системы/Взаимодействие процессов. Разделяемые ресурсы (9286 байтов)
9: ...ькими процессами ресурса ВС, когда каждый из процессов ...
26: ...делать разделяемым, когда ОС загружает в некоторую обла...
Операционные системы/Взаимодействие процессов. Некоторые способы реализации взаимного исключения (25 148 байтов)
2: *Семафоры Дейкстры
7: == Семафоры Дейкстры ==
9: Семафоры Дейкстры — формаль...
13: ...нении down на этом семафоре, ОС разблокирует один из них с ...
15: ...ацию взаимного исключения. Семафор, начальное (и максим...
Операционные системы/Взаимодействие процессов. Классические задачи синхронизации процессов (18 442 байта)
Операционные системы/Базовые средства взаимодействия процессов в ОС UNIX. Сигналы (16 755 байтов)
1: ...аимодействие процессов в ОС Unix с помощью ''сигналов''.
3: == Сигналы в ОС Unix ==
5: '''Сигналы''' представляют собо...
7: ...ма ОС. Сигналы, посылаемые ОС, уведомляют о наступлении ...
37: Сигналы являются механизмом...
ПОД (3 поток), Ответы (330 836 байтов)
18: Современное научное предста...
57: ...вые или вишневые косточки. Счеты, которые появились в XV ...
70: * СКЛАД (в современной техноло...
83: ...ктронной счетной машины (МЭСМ - 50 оп./сек. ОЗУ на 63 команд...
86: ... Базилевский, 1953 г.), М-20 (М.К. Сулим 1860 г. <!-- Парень явно оп...
Операционные системы/Примеры реализаций файловых систем. Организация файловой системы OC UNIX (9891 байт)
1: ...беспечении, в организации ОС.
4: #UNIX был первой ОС, разработанной с помощью я...
6: # Древовидная организация ФС. (Древовидная в общем случа...
9: == Организация ФС Unix ==
15: ...анизацию файловой системы. С каталогом ассоциируются в...
Операционные системы/Примеры реализаций файловых систем. Внутренняя организация ФС. (32 339 байтов)
1: == Структура ФС UNIX SYSTEM V ==
5: '''Суперблок''' файловой систем...
23: Содержит:
26: # Число имен каталогов ФС, ассоциированных с данным ...
40: ...омент отражает состояние ФС.
Операционные системы/Управление внешними устройствами. (2238 байтов)
2: См. [[Внешние устройства#Орга...
14: ...тся на уровне ОС, этот КЭШ ОС полностью программноориен...
Операционные системы/Управление внешними устройствами. Буферизация обмена. (5715 байтов)
3: С – время выполнения програ...
5: Схемы буферизации ввода-выв...
8: ...данные по обмену, в другой ОС готовит данные за предыдущ...
37: Среднее время выполнения – 2...
48: Смысл – попытка развязать п...
Операционные системы/Управление внешними устройствами. Организация RAID систем, основные решения, характеристики (15 564 байта)
1: Существуют проблемы с орган...
4: ...бого программного решения. Соответственно, есть необхо...
6: ...й массив недорогих дисков. Со временем понятие RAID систе...
7: ..., которые рассматриваются ОС как единое дисковое устрой...
10: == Семь уровней RAID систем ==
Операционные системы/Внешние устройства в ОС UNIX (26 518 байтов)
3: ... того или иного устройства. Следует отметить, что здесь ...
11: Следует отметить, что файлов...
15: == Содержимое файлов устройств...
17: Содержимое файлов устройств...
24: Система поддерживает две та...
Операционные системы/Управление оперативной памятью (33 861 байт)
2: ...граммным обеспечением ОС. ОС создает для этих целей спе...
3: #'''Стратегия распределения пам...
5: ...ти''' (процесс освобождает, ОС “забирает” окончательно ...
9: Стратегии и методы управлен...
13: *Страничное распределение.
МФСП: Проведение Экзамена (3817 байтов)
22: {{Курс МФСП}}
Социология, ответы на билеты 3 потока 2010 (227 490 байтов)
9: == Становление социологии как ...
10: Социология''' --''' наука о з...
15: ... в интересах малой группы). Считал частную собственност...
45: | Социометрический опрос
48: | Социальный опыт
Собрание 5 курса, от 15 февраля 2010 года (9868 байтов)
2: Сначала - выступление авыпус...
12: ...слительных технологий в СССР, России. Томилин. с 1 марта ...
16: ...удет влиять на оценку на ГОСах и на рекомендацию в аспи...
29: Сначала начнем с предыдущей ...
45: 3). Сессия 10 семестра - 02.05-15.05. Не...
Язык Ада, 02 лекция (от 03 марта) (10 937 байтов)
1: == Системы типов данных ==
4: ...ь не то, что имелось в виду. Семантический разрыв между ...
24: ...звращает текущую скорость. Скорость должна быть безопа...
Язык Ада, 01 лекция (от 24 февраля) (11 072 байта)
5: ...ваться, в отличие от include в C/С++, которая означает включен...
8: ...огда Министерство Обороны США стала замечать, что нара...
15: * 80% - Сопровождения
20: Специфика встроенных систем...
21: * Самая главная – критичное т...
Язык Ада, 06 лекция (от 31 марта) (10 151 байт)
7: ...димся в бесконечном цикле. Сначала прием входа ПРИНЯТЬ,...
10: ..., будем называть открытыми. Среди открытых альтернатив ...
14: ...иначе переходим в else часть. Снова выбор действия произв...
Язык Ада, 03 лекция (от 10 марта) (11 951 байт)
5: ...па есть параметры: вид и тд. Специальное поле записи, вын...
7: ==Ссылочный тип==
11: ... абстрактным типом данных. Смысл абстрактного типа дан...
Язык Ада, 05 лекция (от 24 марта) (10 493 байта)
7: ...ется в контексте родителя. Сначала идет его видимые объ...
10: ==Сборка Адской программы==
21: * Синхронизация процессов, ко...
30: ... имеет спецификацию и тело. Спецификация задачи описыва...
Язык Ада, 07 лекция (от 07 апреля) (10 750 байтов)
2: ...я есть спецификация и тело. Спецификация описывает инте...
4: ..., когда объект освободится. С каждым входом ассоциируют...
8: ...текущих ресурсов осталось. Семафоры могут иметь дискри...
11: ...р устанавливается как ЕСТЬ СИГНАЛ. Если сигнал был посл...
12: ...бъявлен вход reset(обновить). Снова булевская переменна б...
Язык Ада, 08 лекция (от 21 апреля) (6736 байтов)
2: ...иртуальный операций. Тезис С.И.Рыбина состоит в том, что ...
17: С помощью информации о тегов...
Язык Ада, 09 лекция (от 28 апреля) (2437 байтов)
4: * Сформулировать концепцию ст...
6: ...зуется ключевое слово accept. С каждым входом ассоциирова...
ГОС (3806 байтов)
20: Считаем используя правило:
Поступление в аспирантуру РАН (10 021 байт)
7: 2). Сдача вступительных экзамен...
18: ===Специальность===
19: Самый неописанный экзамен в ...
21: Сдается на кафедре иностран...
23: Суть экзамена:
Haskell, 02 лекция (от 05 октября) (12 423 байта)
50: ...ередать их внутрь. В случае С всегда используется аппли...
81: ...ложнее будет с вычитанием. Существует расширение, позв...
107: С использованием пары можем ...
132: ...асть, которая повторяется. Свойство на самом деле, если ...
CUDA, весна 2010 (4485 байтов)
8: ## Существующие многоядерные с...
16: ...умножения матриц и решения СЛАУ.
34: ## Синтез изображения..
64: ==Ссылки==
UNИX, осень 2010, 00 лекция (от 29 сентября) (4641 байт)
11: Следующая задача - не то с лю...
13: ... приводил аналогию с домом. Сначала, когда строите дом, д...
15: Следующий этап - внедрение. О...
23: Сопровождение бывает двух в...
UNИX, осень 2010, 01 лекция (от 06 октября) (13 497 байтов)
17: * Сервисные. Клиенты. С ними разговор другой, им за...
22: ** Сотрудники
25: * Сервисные
43: Средстаа планирования. Resource ...
49: ...почку, неочень эффективно. Сллабое место: вопрос переда...
ИБ, 02 лекция (от 11 октября) (15 398 байтов)
7: ...е безопасности информации. Свойство доступности означа...
13: ...стему подверженной угрозе. Соответственно, те действия,...
21: ...нальна задачи секретности. Системы, организации иденти...
29: ...ого ресурса нарушением ... . Соответственно, определяемы...
35: ...ена моделям безопасности ОС. Это то, где они наиболее ра...
Haskell, 03 лекция (от 12 октября) (8331 байт)
15: Св-ва комбинаторов:
32: * Пермутатор: Сxyz = Cxzy
Поиск, 04 лекция (от 17 ноября) (2911 байтов)
3: ...чей можно как-то управлять. Синтаксис этих запросов раз...
22: Соответственно, при обработ...
Поиск, 01 лекция (от 13 октября) (13 370 байтов)
11: Само понятие информационног...
21: ...иблиографии и информатики. Сам термин появился в районе...
37: ...зиции, где оно встретилось. Соответственно, можно соста...
39: Конкорданс. С ним связана в какой-то степ...
65: ...ацию о вебе, его структуре. Самыми яркими представителя...
Поиск, 02 лекция (от 20 октября) (6319 байтов)
4: ==Сбор документов и подготовк...
16: ...лее привлекательными для ПС.
20: ...t: * — инструкции для всех ПС. Директива Disallow: / — запре...
22: ...т значения ALL и NONE. Крупные ПС обрабатывают также name="google"...
24: ...ать директиву Sitemap в robots.txt. Сайтмап — это xml. Далее идёт...
Поиск, 03 лекция (от 27 октября) (10 983 байта)
46: ...к тому, как ОС имеет дело с ФС.
52: Следующий алгоритм: блочное ...
54: * Сегментация коллекции
55: * Сортировка пар «идентификат...
67: Сжатие.
Haskell, 04 лекция (от 19 октября) (11 370 байтов)
11: ...бинатор тождества I=λx.x. Согласно нашему пред. опр., м...
19: ... ООП разбирались шаблоны в С++б они очень схожи с данным ...
27: С целью инт. в язык стат. типи...
Haskell, 05 лекция (от 26 октября) (4472 байта)
7: Состояния в программе:
24: == Синтаксис haskell ==
26: Списки имеют один тип. Три оп...
37: Списки можно опр. след. образ...
39: ...тм по работе со списками на С++, понадобятся итераторы, в ...
Основы сетевой безопасности (7149 байтов)
1: = Спецкурс «Основы сетевой бе...
17: ## Современное состояние распр...
24: ## Симплексное, полудуплексное...
35: ## Сетевые топологии (шина, кол...
48: ## Семиуровневая модель открыт...
ИБ, 07 лекция (от 15 ноября) (2926 байтов)
1: Сегодня мы вспоминаем ассем...
5: Сферический процессор в вак...
11: ... системы. По крайней мере, ОС пытается сделать вид. У каж...
13: ...ы стека растут снизу вверх. Стек же растёт вниз. Почему э...
15: Подробнее про стек. Стек работает по алгоритму FI...
Haskell, 07 лекция (от 09 ноября) (2515 байтов)
ПОД (3 поток), Тестовые вопросы (8761 байт)
40: С прямым, так как требуется х...
48: Закон Амдала. Скалярная часть вычислений ...
Japan 2011 trip (27 364 байта)
1: ...олнца в Страну Восходящего Солнца.
14: ;Со скольких до скольких прим...
20: ;Сколько стоит средний обед?
69: # Самый высокий в Японии 70-эта...
76: ...зи и полустров Босо, 09:30-20:00. С 1 октября по 31 марта - 10:00-18:3...
СБ, 01 лекция (от 21 февраля) (19 180 байтов)
4: ...т -- фишинг, итд, это всё там. Стек того по которое обеспеч...
17: ...ции -- автономные системы. АС -- сеть или группа сетей кот...
21: ...тся, но не сильно меняется. Сеть интернет возникла в сша...
43: ...опсность. ЭТО ОБЛАЧНЫЕ ВЫЧИСЛЕНИЯ.
48: ...льности так не получается. Системы оббнаружения и пред...
СБ, 02 лекция (от 28 февраля) (25 933 байта)
23: ...гин пользователя и пароль. Существует специальный набо...
24: ...хранятся в каталоге /etc/pam.d . Сам по себе логин не знает ка...
27: * Самый простой способ. Секрет. Например, аутентифик...
29: ... хеши от юсбишных ключей!НА САМОМ ДЕЛЕ система предоста...
31: ...оступа с этим сталкивался. Системой является активное ...
СБ, 03 лекция (от 14 марта) (25 621 байт)
20: ...ороны может сиеть человек. Собственно таким будет зада...
23: ...ниферы общего назначения. ВСё что происходит в сети мы м...
27: ...отв, какие сервисы запщены. Символьные адреса появились...
33: ...о уровня, второго , третьег. Считается с конца.. Чем выше ...
41: ...орые отвечают за уровень 1. Сервера, которые отвечают за...
Сетевое администрирование в UNIX, 02 лекция (от 22 февраля) (9902 байта)
1: ...ми поговорим о сети класса. Сеть небольшой компании, орг...
33: Соответственно, сервер, полу...
50: ...арте принимать эти пакеты. Сейчас уже сложно столкнуть...
52: Сет карта обладает своим био...
57: ... находиться в этой же сети. Сервер же может находиться в...
Сетевое администрирование в UNIX, 03 лекция (от 01 марта) (11 709 байтов)
3: ...рошлый раз затронули iptables. Сегодня про ipfw.
32: Собственно говоря в иптабле...
52: ...фтп работает на 20 и 21 порту. Соответсвенно, есть клиент и...
63: ... с которого они посещаются. Ссл перехватить бессмысленн...
65: Следующая вещь -- как бы расс...
Сетевое администрирование в UNIX, 04 лекция (от 15 марта) (7877 байтов)
3: ...ризацию на прокси сервере. Сегодня рассмотрим на приме...
19: Строчек может быть сколько у...
42: Скыид может сам хранить во т...
77: ... её надо запрашивать снова. С помощью refresh_pattern мы можем е...
115: ...чему именно вы это сделали. С помощью команды
СБ, 04 лекция (от 21 марта) (31 517 байтов)
2: Сегодня про то как все устро...
4: ...р принимающий подключения. Сеть -- дикий интернет, не про...
11: ...настроить. Чем плох способ? С точки зрения архитектуры --...
13: ... надежным основной сервис. Стоит сервис, орн пуленепроб...
21: ..., демилитаризованная зона. Словосч возникло от дем зоны...
Сетевое администрирование в UNIX, 05 лекция (от 22 марта) (11 997 байтов)
9: Соотв, у нас есть
37: ... 10.10, а пакеты с 16.10 порежет. Совсем плохо.
84: С 9 bind он научился разным ип з...
86: Сложнее будет если наша маши...
95: ...ка можно сделать еще лучше. С линуксом для той же функци...
Сетевое администрирование в UNIX, 06 лекция (от 29 марта) (10 774 байта)
8: ...л дерево, все замечательно. Следующие бэкапы используем...
12: Следующий бэкап у нас уже да...
27: ...и сколько бэкапов хранить. С одной стороны хочется их д...
77: ...вым ответит на карп запрос. Сервера отвечают с периодич...
СБ, 05 лекция (от 28 марта) (19 992 байта)
9: Сегоня мы говроим о системах...
16: ...аки, то что спам рассылает. Сегодня можно услышать мног...
17: ...от системы предупреждения? С технической тз они часто р...
19: Системы предупредения -- мы н...
22: Современные с открытым кодо...
Конструирование Компиляторов, Теоретический минимум (2012) (29 210 байтов)
22: ...а 2 (Контекстно-свободная, КС) по Хомскому ==
24: ...а 2 (Контекстно-свободная, КС) - грамматика, где каждое пр...
80: ...ением детерминированного. Существует теорема, гласяща...
150: == Сформулировать соотношение ...
157: == Сформулировать соотношение ...
Тигры, контрольная 1 (15 457 байтов)
5: ===Седловые точки===
6: '''Седловая точка''' матрицы - эт...
14: Соберем наименьшие значения...
30: ===Смешанные стратегии===
Сравнение Языков Программирования (172 851 байт)
6: ...е языков программирования|Сравнение ЯП в википедии]]
8: ...forum.ru/programming/cpp/aglav.shtml Книжка Страуструпа]
29: ...вязанных с указателями в С/С++. Однако, тип '''Access''' в Аде н...
56: Создадим пару экземпляров н...
136: Ссылочный (reference) тип:
МОТП, Контрольная 2013 (14 586 байтов)
FreeBSD, 02 лекция (от 09 октября) (16 179 байтов)
2: Сегодня попробуем создать м...
4: ...оего рода машина Тьюринга. Совокупность всех регистров...
14: ...еализовать многозадачную ОС.
16: Стало понятно, что концепция...
18: ...ение к недоступной памяти. Связано с тем, что машина тол...
FreeBSD, 03 лекция (от 16 октября) (20 546 байтов)
7: ...я в ядре структурой struct proc. Сам процесс это совокупност...
9: ...остранство. В современных ОС процессы - это такие виртуа...
19: ...и треды были слиты воедино. Сейчас процесс просто держи...
39: Состояния
65: Солярис был первым, реализов...
FreeBSD, 04 лекция (от 23 октября) (13 613 байтов)
6: 1. как ОС создает процессу виртуаль...
11: ...сорах,под которые пишутся ОС общего назначения есть MMU --...
19: Страница -- гранулярность то...
49: Старые маллоки на нем были о...
51: Современные маллоки основан...
Криптография, 04 лекция (от 22 октября) (15 510 байтов)
1: Сегодня про другие шифры, хо...
23: Самый главный элемент -- нека...
42: Старшая степень полинома ра...
51: ...мся к состояниям регистра. С какого момента гамма начин...
81: Сначала нужно дать такое опр...