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

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

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

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

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

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

Просмотреть (предыдущие 100) (следующие 100) (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: Существует размазанное по в...