Результаты поиска
Материал из eSyr's wiki.
По запросу «С++»
Для получения более подробной информации о поиске на страницах проекта, см. справочный раздел.
Ниже показаны 250 результатов, начиная с № 1.
Просмотреть (предыдущие 250) (следующие 250) (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 (СЛУ_ИМЯ, СЛУ_НОМ)</P>
764: <P STYLE="margin-bottom: 0cm">Сейчас люди говорят раньше н...
777: ...LE="margin-bottom: 0cm">RANGE СЛУЖАЩИЙ IS СЛУЖАЩИЙ</P> - Базы Данных, 11 лекция (от 12 октября) (20 306 байтов)
32: <P STYLE="margin-bottom: 0cm">С одной стороны, эта штука
72: ...я для аттрибутов и столцов. С другой стороны, когда
84: <P STYLE="margin-bottom: 0cm">СЛУЖАЩИЕ</P>
88: ...ttom: 0cm">СЛУЖАЩИЕ (СЛУ_НОМ: 2934, СЛУ_ИМЯ:
89: 'Иванов', СЛУ_ЗАРП: 22400,00, ПРО_НОМ: 1)</P> - Базы Данных, 12 лекция (от 13 октября) (12 072 байта)
4: {СЛУ_НОМ, СЛУ_ИМЯ} -> {СЛУ_НОМ}
18: ...ношению {СЛУ_НОМ, СЛУ_ИМЯ} -> {СЛУ_НОМ}
19: Отношение СЛУ_НОМ -> {СЛУ_ЗАРП, ОТД_НОМ} определяет...
20: 1.СЛУ_НОМ -> СЛУ_ЗАРП
21: 2.СЛУ_НОМ -> ОТД_НОМ - Базы Данных, 13 лекция (от 19 октября) (16 802 байта)
10: Самый простой вид – функц...
42: ...="margin-bottom: 0cm">Есть отношение СЛУЖАЩИЕ_ПРОЕКТЫ</P>
43: ...cm">{СЛУ_НОМ (возможный ключ), СЛУ_ИМЯ,
44: СЛУ_ЗАРП, ПРО_НОМ, ПРОЕКТ_РУК ...
45: ...: 0cm">{FD} {СЛУ_НОМ – СЛУ_ИМЯ, СЛУ_НО – - Базы Данных, 14 лекция (от 20 октября) (24 626 байтов)
11: ...">СЛУЖАЩИЕ_ПРОЕКТЫ {СЛУ_НОМ, СЛУ_УРОВ,
12: СЛУ_ЗАРП, ПРО_НОМ, СЛУ_ЗАДАН}</P>
15: <P STYLE="margin-bottom: 0cm">СЛУ_УРОВ – разряд, Уровень
17: <P STYLE="margin-bottom: 0cm">СЛУ_ЗАДАН – задание</P>
33: <P>СЛУ_НОМ</P> - Базы Данных, 15 лекция (от 26 октября) (13 035 байтов)
22: ...="margin-bottom: 0cm">Есть отношение СЛУЖ_ПРО_ЗАДАН
23: {СЛУ_НОМ., ПРО_НОМ, СЛУ_ЗАДАН}</P>
24: <P STYLE="margin-bottom: 0cm">Служащий может учавствовать...
38: <P>СЛУ_НОМ</P>
44: <P>СЛУ_ЗАРП</P> - Базы Данных, 16 лекция (от 27 октября) (28 577 байтов)
9: СУБД, иногда эти ТД определя...
10: возможностей появляется в СУБД, тем сложнее проектиров...
28: <P STYLE="margin-bottom: 0cm">r: СЛУЖ_ПРО_ЗАДАН</P>
36: <P>СЛУ_НОМ</P>
42: <P>СЛУ_ЗАДАН</P> - Базы Данных, 17 лекция (от 02 ноября) (15 474 байта)
15: <LI><P STYLE="margin-bottom: 0cm">Сущность</P>
16: <LI><P STYLE="margin-bottom: 0cm">Связь</P>
35: <P STYLE="margin-bottom: 0cm">Связь</P>
36: <P STYLE="margin-bottom: 0cm">Связь (так, как это было у Ора...
45: <P STYLE="margin-bottom: 0cm">Связь бинарна. - Базы Данных, 18 лекция (от 03 ноября) (29 854 байта)
32: ...низмы семантика включения. Семантика
52: <P STYLE="margin-bottom: 0cm">Суть мевханизма насл в том &nd...
92: .... Связи – необязательно. С родной стороны удобная
93: схема, С другой возникают трудност...
116: ...ожет на демократа-фашиста. Сро - Базы Данных, 19 лекция (от 09 ноября) (11 587 байтов)
10: ...ой определяются остальные. Считается, что она сама
91: <P STYLE="margin-bottom: 0cm">Свойство, выраж атрибутом, я...
103: <P STYLE="margin-bottom: 0cm">Сигнатура операции – имя
107: <P STYLE="margin-bottom: 0cm">Самая большая неприятность ...
113: <P STYLE="margin-bottom: 0cm">Связи:</P> - Базы Данных, 20 лекция (от 16 ноября) (11 439 байтов)
8: <P STYLE="margin-bottom: 0cm">Связи-ассоциации</P>
12: <P STYLE="margin-bottom: 0cm">Связи-ассоциации</P>
85: <P STYLE="margin-bottom: 0cm">Свойства OCL, заимствованные ...
122: <P STYLE="margin-bottom: 0cm">Структурные ТД</P>
192: ...argin-bottom: 0cm; text-decoration: none">context Служащие - Базы Данных, 21 лекция (от 17 ноября) (17 055 байтов)
31: <P STYLE="margin-bottom: 0cm">context Служащий inv:</P>
69: СУБД это будет реализовыват...
90: ...tom: 0cm">Внутренне устройство СУБД</P>
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: <P STYLE="margin-bottom: 0cm">Самые важные архитектуры: IA32...
48: специфика языка. С другой стороны, при движен...
81: ...о-независимая оптимизация. Свёртка
111: платформ, и он разный. Соответственно, back-end, заточе... - Введение в теорию построения оптимизирующих компиляторов, 02 лекция (от 26 сентября) (24 325 байтов)
15: <P STYLE="margin-bottom: 0cm">КС-грамматика: O(n^3), O(n^2)/ Это
43: ...осомотренная часть дальше. Состояние автомата, то есть ...
62: ...орачиваем входную цепочку. Сам по себе разбор, то есть о...
86: <P STYLE="margin-bottom: 0cm">С-код</P>
103: <P STYLE="margin-bottom: 0cm">С-код</P> - Введение в теорию построения оптимизирующих компиляторов, 03 лекция (от 10 октября) (15 035 байтов)
8: ...анавливается неправильно. Следствием
10: ...едставляет синтакс разбор. Синт
86: ... это или объявление. То же в С++: a(b).</P>
143: <P STYLE="margin-bottom: 0cm">С парсерами странная ситуац...
155: проблемы. Старые версии бизона просто ... - Введение в теорию построения оптимизирующих компиляторов, 04 лекция (от 24 октября) (18 809 байтов)
4: <P STYLE="margin-bottom: 0cm">Сегодня продолжим изучение ...
16: ...ия семантического анализа. Семант анализ будет заключа...
27: ...ля извращённых языков типа С++)</P>
47: <LI><P STYLE="margin-bottom: 0cm">Сделать более явным поток
312: <P STYLE="margin-bottom: 0cm">Свойства доминирования:</P> - Введение в теорию построения оптимизирующих компиляторов, 05 лекция (от 31 октября) (16 812 байтов)
5: доминирование, про граф ... . Сегодня примерно про то же с...
8: <P STYLE="margin-bottom: 0cm"><B>Структурный анализ</B></P>
41: <LI><P STYLE="margin-bottom: 0cm">См. Рис 4 – сложное условие...
71: <P STYLE="margin-bottom: 0cm">Следующий вопрос:</P>
80: <P STYLE="margin-bottom: 0cm">Следующий этап:</P> - Введение в теорию построения оптимизирующих компиляторов, 06 лекция (от 07 ноября) (24 105 байтов)
439: <P STYLE="margin-bottom: 0cm">Сверху эффективная высота р...
448: Следовательно, время работы ...
468: ...екоторое количество путей. Соотв, на каждом из этих путе... - Введение в теорию построения оптимизирующих компиляторов, 07 лекция (от 14 ноября) (20 430 байтов)
4: <P STYLE="margin-bottom: 0cm">Сегодня будет некоторое пре...
73: <P STYLE="margin-bottom: 0cm">С учётом этого программа буд...
157: <P STYLE="margin-bottom: 0cm">Соответственно, предположим...
166: фи-функции. Соотв, нам потребуется не пр...
232: <P STYLE="margin-bottom: 0cm">С помощью такого алгоритма м... - Введение в теорию построения оптимизирующих компиляторов, 08 лекция (от 21 ноября) (14 192 байта)
131: Соответственно, две перем не...
147: ...каются другие определения. Соответственно,
176: <P STYLE="margin-bottom: 0cm">Соглашения по вызовам функц...
199: <P STYLE="margin-bottom: 0cm">Склецйка регистров:</P>
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: ...о строк ограничено k<sup>n</sup>. Соответственно, найдётся та...
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 ∈ P2(n) ... - Основы Кибернетики, Алгоритмы решения задач (2389 байтов)
4: ## По заданной таблице или КС и списку ее неисправностей...
6: ...вивалентным формулам или КС построить эквивалентное п...
10: ...ть реализующую ее СФЭ или КС.
12: ... ей самокорректирующуюся КС. - Основы Кибернетики, Алгоритмы решения задач/Задачи на ДНФ (27 841 байт)
27: ===== Сокращённая ДНФ =====
28: '''Сокращённая ДНФ''' — дизъюнк...
54: ...ДНФ для функции ''f'' = (0110 1111). С использованием единичного...
147: Строим карту:<br />
224: Сокращённая ДНФ для данной ф... - Основы Кибернетики, Алгоритмы решения задач/Задачи на синтез схем (23 941 байт)
1: ...ть реализующую ее СФЭ или КС. ==
8: ==== Получение СФЭ ====
9: Строим как-нибудь подвыраже...
11: ==== Получение КС ====
38: ==== Получение СФЭ ==== - Основы Кибернетики, Алгоритмы решения задач/Задачи на тесты (13 265 байтов)
1: == По заданной таблице или КС и списку ее неисправностей...
29: ...занная с ней цель контроля. Сопоставим ''i''-й строке матр...
31: Сопоставим паре (''M'',''N'') матр...
35: '''Следствие:''' Каждая элемента...
85: 3. Следовательно, тупиковыми д... - Основы Кибернетики, Алгоритмы решения задач/Задачи на эквивалентные преобразования и структурное моделирование (9948 байтов)
1: ...вивалентным формулам или КС построить эквивалентное п...
29: ** ''t''<sup>ОС</sup>: ''x''<sub>1</sub> & ''x''<sub>2</sub> ∨ ...
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: '''Следствие'''. Ширина <span title="ч...
34: * ''t''<sup>ОС</sup>: ''x''<sub>1</sub> & ''x''<sub>2</sub> ∨ ...
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: <!-- Слайд 1 -->
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: |[[Социология]] (Бубнова М. ...
41: |Спецсеминар 653
42: ... обр. св.</span> (Фурсов А. С.) 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: ... с единицами на диагонали = С. это требует <sup>(m<sup>3</sup>−... - Численные Методы, 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: Сложность — порядка <sup>m<sup>3</...
69: ...но по нему. Например, метод Самарского сходится на поря...
73: * С какой скоростью
175: ...онической форме. И это ввёл Самарский. Что позволило соз... - Численные Методы, 06 лекция (от 05 марта) (14 453 байта)
1: ...етоды, 07 лекция (от 06 марта)|Следующая лекция]]
125: === Степенной метод ===
128: Степенной метод — метод, кот... - Численные Методы, 07 лекция (от 06 марта) (13 549 байтов)
1: ...етоды, 08 лекция (от 12 марта)|Следующая лекция]]
20: ...lambda;<sub>0</sub> + iλ<sub>1</sub>, то СВ надо искать в виде μ = μ<s...
30: ...атной матрицы СЗ обратны к СЗ исходной матрицы. Тогда:
36: ...ist; {e<sub>k</sub>}<sub>1</sub><sup>m</sup> из СВ<br />
50: ...<sub>k</sub>}<sub>1</sub><sup>m</sup> ОНБ из СВ - Численные Методы, 08 лекция (от 12 марта) (8986 байтов)
1: ...етоды, 09 лекция (от 13 марта)|Следующая лекция]]
6: Свойства матрицы H:
126: * С = U<sup>−1</sup>AU
140: * С = U<sup>−1</sup>AU - Численные Методы, 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</sub> = 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: <p>Статическое связывание —...
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: <p>Составной оператор – тольк... - Языки программирования, 14 лекция (от 19 октября) (11 213 байтов)
15: <P STYLE="margin-bottom: 0cm">Самый больщой недостаток: ка...
35: ... была потеряна семантика. В Си++ семантика
105: <P STYLE="margin-bottom: 0cm">В Джава, Си шарп семантика inout
110: <P STYLE="margin-bottom: 0cm">В Си шарп есть ключевые слова r...
126: <P STYLE="margin-bottom: 0cm">Связанный с этим вопрос – - Языки программирования, 15 лекция (от 24 октября) (28 603 байта)
6: ...нственна. Форма, принятая в Си шарп, основана на динамич...
63: <P STYLE="margin-bottom: 0cm">В С++ Страуструп описывает ситуац...
64: стандартизации С++. Хорошо выверенное, локал...
73: <P STYLE="margin-bottom: 0cm">Совр ЯП не поддерживают ни к...
100: ...; на них нет сложных систем. Сложные системы строятся на - Языки программирования, 16 лекция (от 26 октября) (18 602 байта)
34: .... Везде через точку, только С++
61: <P STYLE="margin-bottom: 0cm">Стандартные и пользовательс...
64: объявлений. С точки зрения реализации ко...
86: <P STYLE="margin-bottom: 0cm">С первой точки зрения этот п...
111: <P STYLE="margin-bottom: 0cm">Есть ли в Си разделение определния и - Языки программирования, 17 лекция (от 31 ноября) (28 169 байтов)
17: .... Например, описываем пакет Стеки, определяем
18: ...ание имён. Ображение: Стеки.Стек. Класс –
27: ...bottom: 0cm">Основные языки: Си++, Си шарп, Джава,
46: <P STYLE="margin-bottom: 0cm">Синтаксис:</P>
47: <P STYLE="margin-bottom: 0cm">Сишный</P> - Языки программирования, 18 лекция (от 02 ноября) (24 260 байтов)
8: <P STYLE="margin-bottom: 0cm">Специальные функции:</P>
13: <LI><P STYLE="margin-bottom: 0cm">Свойства</P>
15: <P STYLE="margin-bottom: 0cm">Спец функ – с одной сторон...
23: <P STYLE="margin-bottom: 0cm">У С. Были задумки, что бы были с...
28: <P STYLE="margin-bottom: 0cm">С++ с точки зрения наиболее б... - Языки программирования, 19 лекция (от 14 ноября) (23 721 байт)
13: ...ндартных операций. Это С++ и С#. Дельфи и Джава эту возм
23: ...ше всех переопр работает в С++.
28: ... ЯП его нет или ограничено (С#). Там можно
45: ...но просто. Как их переопр. В С шарп –
74: <P STYLE="margin-bottom: 0cm">С другой стороны, какие проб... - Языки программирования, 20 лекция (от 16 ноября) (26 492 байта)
60: <P STYLE="margin-bottom: 0cm">Сначала определяют имена.</P>
75: <P STYLE="margin-bottom: 0cm">В Джаве-Си шарп преобразования
123: <P STYLE="margin-bottom: 0cm">Скрытый ТД выглядит почти ка...
143: <P STYLE="margin-bottom: 0cm">Сразу возникает тривиальный...
217: <P STYLE="margin-bottom: 0cm">В С++ если исправить какой-нибу... - Языки программирования, 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: ''С++''<br>
3: ''С#'' c 2004<br>
45: ...й же шаблонной функции на ''С++'', считая, что уже имеется V...
90: ...щный механизм – шаблоны в ''С++''. Почему же они более мощн...
92: Шаблоны в ''С++'': <br> - Языки программирования, результаты предварительного экзамена (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: ...м могли пребывать облоки ... Священое писание — не прост...
Просмотреть (предыдущие 250) (следующие 250) (20 | 50 | 100 | 250 | 500)
