WWW.KNIGA.SELUK.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА - Книги, пособия, учебники, издания, публикации

 

Pages:     | 1 |   ...   | 13 | 14 ||

«Структура и интерпретация компьютерных программ Добросвет, 2006 Эта книга посвящается, с уважением и любовью, духу, который живет внутри компьютера. “Мне кажется, ...»

-- [ Страница 15 ] --

Scheme programming] 381, (упр. 4.41), 389 (упр. 4.44), (упр. 4.78) неопределенные значения [unspecied values] define 28п display 96п if без альтернативы 271п newline 96п set! 214п set-car! 242п set-cdr! 242п неподвижная точка [xed point, of a function] variable] 45, см. также лексическая (упр. 4.79) формальные параметры процедуры обмассив [obarray] обобщенные арифметические операции [generic arithmetic operations] 187 как контекст для вычисления обобщенные операции [generic operations] окружение времени компиляции обобщенные процедуры [generic обобщенный селектор 177, 179 операнды комбинации [operands of a обработка ошибок [error handling] в вычислителе с явным управлением в скомпилированном коде 554п в виде составного выражения обработка потоков [stream processing] 35п обработка сигналов [signal processing] переход сигнала через ноль (упр. 3.74), 323 (упр. 3.75), сглаживание сигнала 323 (упр. 3.75), обобщенные сглаживание функции 88 (упр. 1.44) определение процедуры [procedure обратная кавычка [backquote] 524п определения см. define; внутренние объект(ы) [object(s)] преимущества введения в с состоянием, меняющимся во времени объектная программа [object program] объектно-ориентированные языки программирования [object-oriented кода Хаффмана programming languages] 195п схемы Горнера 125п обычные числа [ordinary numbers] освобождение мьютекса в обобщенной арифметической системе особая форма [special form] ограничения [constraints] как производное выражение в окружение [environment] 28, 227 особые формы cond cons-stream (нс) define 28, delay (нс) lambda let let* 349 (упр. 4.7) letrec 363 (упр. 4.20) именованный let 349 (упр. 4.8) комплексные числа остановки проблема [halting problem] 360 многочлены остаток по модулю [remainder modulo n] рациональные числа отладка [debugging] 23 со списковой структурой [list-structured] отложенная операция [deferred operation] относительности теория [theory of пара (пары) [pair(s)] отношения, вычисления в терминах бесконечные потоки отображение [map] 121 использование для представления дерева отображение координат рамки [frame представленные с помощью векторов представление в виде пары векторов 142 стрелочная нотация представление в виде пары точек 99 и функциональное программирование отслеживаемая процедура [monitored механизмы для управления procedure] 217 (упр. 3.2) правильность параллельных программ передача сообщений [message passing] (упр.

3.82) в имитаторе цифровых схем 265 Пингала, Ачарья [Ach rya Pingala] 61п и модель с окружениями 240 (упр. 3.11) Питман, Кент [Kent Pitman] 24п и хвостовая рекурсия 51п Пифагоровы тройки [Pythagorean triples] переменная [variable] 28, см. также в недетерминистских программах значение [value] 28, область действия 45, см. также область план действий [agenda] 267, см. также действия переменной свободная связанная переменная образца [pattern variable] представление 430, переменная состояния [state variable] 51, внутренняя перенаправляющий адрес [forwarding address] перенос языка (на новый компьютер) [porting a language] перестановки множества [permutations of a переход сигнала через ноль (упр. 3.74), 323 (упр. 3.75), 324 подстановочная модель применения (упр. 3.76) перечислитель [enumerator] 121 неадекватность Перлис, Алан Дж. [Alan J. Perlis] 13, 107п форма процесса печать входных выражений [typing input expressions] 27п печать, элементарные процедуры несколько подтипов [primitives for printing] 96п подчиняется (правило) 414, пи () аппроксимация через интегрирование методом Монте-Карло 221 (упр. 3.5) приближенное вычисление методом половинного деления 80, 331 управляемый зависимостями приближенное вычисление через хронологический [chronological] интегрирование методом показатель конца списка [end-of-list поле типа [type eld] 491п последовательность выражений [sequence полноправные элементы вычисления [rst-class elements of computation] в следствии cond 37п 87, см. также элементы вычисления в теле процедуры 32п половинного деления метод [half-interval sequence] 521, half-interval-method 80 бесконечные см. бесконечные потоки полусумматор [half-adder] 261 используемые в интерпретаторе языка пометка с очисткой [mark-sweep] 495п пустые помеченные данные [tagged data] 175, реализованные в виде задержанных порождение предложений [generating реализованные в виде ленивых списков порядок вычисления [order of evaluation] пошаговое написание [incremental в вычислителе с явным управлением 505 пошаговое улучшение [iterative в компиляторе 546 (упр. 5.36) improvement] 89 (упр. 1.46) в метациклическом интерпретаторе 343 правило (в языке запросов) [rule] 407, зависимость от реализации 229п применение 422, 434, 436, порядок вычисления подвыражений [order предикат of subexpression evaluation] см. if порядок роста [order of growth] 58 ветви cond древовидно-рекурсивный процесс 58 соглашение об именах 41п линейно итеративный процесс 58 предложения [statements] 523, см.

линейно рекурсивный процесс 58 последовательность команд порядок событий [order of events] [unordered-list representation of sets] неопределенность в параллельных отделение от внешней структуры упорядоченных списков [ordered-list последовательное возведение в квадрат префикс [prex] [successive squaring] 60 префиксная нотация [prex notation] последовательности [sequences] 73п, 107 vs. инфиксная нотация 154 (упр. 2.58) как источник модульности 124 префиксный код [prex code] как стандартные интерфейсы 120 приведение к наименьшему знаменателю представленные в виде пар 107 приведение типов [coercion] в алгебраических манипуляциях 206 394, 396, см. также продолжение в арифметике многочленов процедура таблица применение процедур [procedure application] модель вычисления с окружениями обозначение комбинаций подстановочная модель см.

подстановочная модель применения присваивание [assignment] 212, см. также set!

вызванные ошибки 225п, 226 производные выражения в интерпретаторе расплата за провод, в цифровой схеме [wire] программа [program] как абстрактная машина как данные комментарии 129п пошаговое написание структура 28, 44, 46, см. также барьеры абстракции структурирование с помощью подпрограмм 359п программирование [programming] императивное управляемое данными см.

программирование, управляемое управляемое потребностями 304 высшего порядка см. процедура высшего функциональное см. функциональное элементы программирование, управляемое данными как данные [data-directed programming] 93, 171, как обобщенный метод в метациклическом интерпретаторе 348 мемоизированная 260 (упр. 3.27) продолжение [continuation] неявный begin в теле 214п в имитаторе регистровых машин 478п область действия формальных в недетерминистском интерпретаторе параметров определение отслеживаемая 217 (упр. 3.2) полноправный статус в Лиспе произвольное количество аргументов 26, создание с помощью define создание с помощью lambda 229, создание с помощью lambda составная [compound] тело формальные параметры процедура высшего порядка [higher-order procedure] в метациклическом интерпретаторе 341п и сильная типизация 328п процедура как возвращаемое значение процедура как обобщенный метод процедура в качестве аргумента процедурная абстракция [procedural abstraction] процедурное представление данных [procedural representation of data] изменяемые данные процесс [process] древовидно-рекурсивный линейно итеративный 51 разделяемое состояние [shared state] локальная эволюция 48 разделяемые ресурсы [shared resources] прочесывание внутренних определений polynomial] [scanning out internal denitions] 361 Райт, Джесси Б. [Jesse B. Wright] 100п в компиляторе 549п, 550 (упр. 5.43) Райт, Э. М. [E. M. Wright] 311п прямоугольники, их представление рак точки с запятой [cancer of the [representing rectangles] 99 (упр. 2.3) semicolon] 31п псевдоделение многочленов Рамануджан, Шриниваса [Srinivasa псевдоним [aliasing] 225п Рамануджана числа [Ramanujan numbers] псевдоостаток многочленов отображение координат 140 построение без define 364 (упр. 4.21) Ранкл, Джон Дэниел [John Daniel Runkle] рекурсивный процесс [recursive process] распространение ограничений [propagation vs. итеративный процесс 48, Рафаэль, Бертрам [Bertram Raphael] 405п vs. рекурсивная процедура рациональная арифметика [rational-number древовидный 53, взаимодействие с обобщенной регистровая машина арифметической системой 188 рекурсии теория [recursion theory] 359п необходимость составных данных 91 рекурсия [recursion] 29, рациональная функция [rational function] в правилах приведение к наименьшему знаменателю для работы с деревьями рациональные числа [rational numbers] референциальная прозрачность арифметические операции 93 решение уравнений [solving equations] см.

представление в виде пар 96 решето Эратосфена [sieve of Eratosthenes] приведение к наименьшему знаменателю регистр [register] 450 Ривест, Рональд Л. [Ronald L. Rivest] 67п, представление регистровая машина [register machine] действия диаграмма контроллера диаграмма путей данных контроллер отслеживание производительности подпрограмма программа моделирования проектирование пути данных стек тест трассировка 488 (упр. 5.18) язык для описания резолюции принцип [resolution principle] Хорновские формы 405п Рейтер, Андреас [Andreas Reuter] 297п рекурсивная процедура [recursive определение рекурсивной процедуры 43 Сазерленд, Айвен [Ivan Sutherland] 272п самовычисляющееся выражение селектор [selector] [self-evaluating expression] 340 как барьер абстракции самосознание, повышение уровня обобщенный 177, [expansion of consciousness] 342п семафор [semaphore] 294п вызова по имени [call-by-name] 306п сериализатор [serializer] 288, вызова по необходимости [call-by-need] реализация происхождение названия 372п сеть ограничений [constraint network] Сассман, Джеральд Джей [Gerald Jay garbage collector] 496п Сассман, Джули Эстер Мазель, сильно типизированный язык [strongly племянницы [nieces of Julie Esther typed language] 328п сбалансированное бинарное дерево encoding] [balanced binary tree] 160, см. также символ(ы) [symbol(s)] сбалансированный мобиль [balanced кавычки сборка мусора [garbage collection] 375п, равенство и изменения данных 242п символьная алгебра [symbolic algebra] и хвостовая рекурсия 535п expression] 92, см. также символ(ы) сжимающая [compacting] 496п символьное дифференцирование [symbolic через остановку с копированием dierentiation] 149, 183 (упр. 2.73) через пометку с очисткой [mark-sweep] интегрирования [Simpson’s Rule for сборщик мусора [garbage collector] 242п синтаксис [syntax] 339, см. также особые через пометку с очисткой 495п выражений, описание 32п свободная переменная [free variable] 45 языка программирования лексическая сфера действия 47 языка [parsing] связанная переменная [bound variable] 45 настоящая обработка языка vs.

сглаживание сигнала [smoothing a signal] выполнения [separating syntactic 323 (упр. 3.75), 324 (упр. 3.76) analysis from execution] сглаживание функции 88 (упр. 1.44) в имитаторе регистровых машин 476, секретарь, его важное значение [importance of a secretary] 408 в метациклическом интерпретаторе синтаксический интерфейс [syntax сопоставитель [pattern matcher] синтаксический сахар [syntactic sugar] 31п matching] процедура vs. данные 266п сопротивление [resistance] приближение при малых углах степенной ряд 312 (упр. 3.59) синхронизация см. параллелизм использование в качестве элементарных систематический поиск [systematic search] скобки [parentheses] в определении процедуры обозначающие клаузу cond обозначение применения функции к слизывание [snarng] 370п слияние [merge] слияние бесконечных потоков [merging innite streams] см. бесконечные смещение [displacement] собака идеально разумная, поведение [behavior of a perfectly rational dog] совместимое расширение [upward-compatible extension] (упр. 4.31) согласованность кэша [cache coherence] соглашение об именах [naming conventions] ! для присваиваний и изменений 214п ? для предикатов 41п соединитель (соединители) в системе ограничений [connector(s), in сокрытие связывания [shadowing a ленивый сокрытия принцип [hiding principle] 215п методы работы Соломонофф, Рэй [Ray Solomono] 218п обратная кавычка 524п обращение 111 (упр. 2.18) Стой, Джозеф Э. [Joseph E. Stoy] 34п, операции отображение последняя пара 111 (упр. 2.17) представление на печати преобразование в бинарное дерево преобразование из бинарного дерева пустой см. пустой список равенство 149 (упр. 2.54) с заголовком [headed] 255, 269п «сconsивание» соединение через append «уcdrивание» список свободных ячеек [free list] 493п список термов многочлена [term list of polynomial] 199, представление средства абстракции [means of abstraction] define средства комбинирования [means of cvombination] 25, см. также замыкание стандартный интерфейс [conventional interface] 92, последовательность стек [stack] 51п, для рекурсии в регистровой машине кадрированный 503п представление 474, степенной ряд, представленный как поток [power series, as a stream] (упр. 3.59) перемножение 313 (упр. 3.60) n-мерная 259 (упр. 3.25) степенные ряды как потоки для программирования, управляемого интегрирование 313 (упр. 3.59) Стил, Гай Льюис мл. [Guy Lewis Steele Jr.] 24п, 52п, 226п, 272п, 370п, 384п действий стиль, ориентированный на выражения, vs. используемая для хранения [expression-oriented style vs.

операций и типов см. таблица операций иерархия в символьной алгебре представленная в виде бинарного дерева несколько подтипов и надтипов vs. неупорядоченного списка 260 операции со смешанными типами проверка равенства ключей 259 спуск 195, 198 (упр. 2.85) хребет [backbone] 255 типизированный указатель [typed pointer] [operation-and-type table] 180 тождественность и изменение [sameness необходимость присваивания 213п and change] таблица регистров, в программе и разделяемые данные моделирования [register table] 475 торможение усреднением [average табуляризация [tabulation] 57п, 260 точечная запись [dotted-tail notation] как цепная дробь 83 (упр. 1.39) для процедурных параметров теговая архитектура [tagged architecture] точка входа [entry point] Тейтельман, Уоррен [Warren Teitelman] [nondeterministic choice point] текущее время, для имитации плана как символ комментария 129п тело процедуры [body of a procedure] 32 [point, represented as a pair] теорема об остановке [Halting Theorem] (упр. 2.2) Т рнер, Дэвид [David Turner] 128п, 319п, тест на равенство нулю (обобщенный) регистров [register] 488 (упр. 5.18) [zero test] 191 (упр. 2.80) требуемые регистры [needed registers] см.

для многочленов 204 (упр. 2.87) последовательность команд тест, операция в регистровой машине треугольник Паскаля [Pascal’s triangle] тета от f (n) ((f (n))) 58 тригонометрические тождества техника vs. математика [engineering vs. [trigonometric relations] в сильно типизированных языках 328п 360п Тэтчер, Джеймс У. [James W. Thatcher] уравнения, решения см. метод Уайз, Дэвид С. [David S. Wise] 306п Уайлс, Эндрю [Andrew Wiles] 65п Уайльд, Оскар, парафраза Перлиса [Oscar уголь, битумный [bituminous coal] 133п условное выражение [conditional удовлетворение запросу [satisfying a expression] Уиздом, Джек [Jack Wisdom] 24п устойчивость программы [robustness] Уинстон, Патрик Генри [Patrick Henry утверждение [assertion] типизированный [typed] умножение методом русского крестьянина [Russian peasant method of multiplication] 61п универсальная машина [universal machine] вычислитель с явным управлением компьютер общего назначения унификация [unication] 405, 417, vs. сопоставление с образцом 422, 424п открытие алгоритма 405п реализация Уодлер, Филип [Philip Wadler] 225п Уодсворт, Кристофер [Christopher Wadsworth] 329п Уокер, Фрэнсис Амаса [Francis Amasa Walker] 133п Уоллис, Джон [John Wallis] 73п Уотерс, Ричард К. [Richard C. Waters] 125п управляющий цикл [driver loop] в вычислителе с явным управлением в интерпретаторе запросов 424, в ленивом интерпретаторе в метациклическом интерпретаторе в недетерминистском интерпретаторе упрощение алгебраических выражений [simplication of algebraic expressions] уравнения рекурсии [recursion equations] формальные параметры процедуры [formal и вычислитель с явным управлением имена область действия форматирование входных выражений [formatting input expressions] 27п Фридман, Дэниел П. [Daniel P. Friedman] 306п, 337п функциональное программирование [functional programming] 222, и время и параллельность функциональный язык программирования функциональный элемент в цифровых схемах [function box] функциональный язык программирования [functional programming language] функция (математическая) [function] -нотация 81п vs. процедура Аккермана 52 (упр. 1.10) композиция 88 (упр. 1.42) многократное применение 88 (упр. 1.43) неподвижная точка производная рациональная [rational] сглаживание 88 (упр. 1.44) Хайтин, Грегори [Gregory Chaitin] 218п точные 42п Хансон, Кристофер П. [Cristopher P. (упр. 1.37) хаос в динамике Солнечной системы золотое сечение 82 (упр. 1.37) Харди, Годфри Харольд [Godfrey Harold цепь электрическая [circuit] Хаффман, Дэвид [David Human] 164 (упр. 3.73), 328 (упр. 3.80) Хаффмана код [Human code] 163, см. код Цзю Ши-Цзе [Chu Shih-Chieh] 57п порядок роста для кодирования 170 цикл обратной связи, моделируемый с хвостовая рекурсия [tail recursion] 51, 508 цикл чтение-вычисление-печать циклические конструкции [looping реализация в метациклическом шишка (правило) 413, 428 (упр. 4.65) интерпретаторе 350 (упр. 4.9) Шмидт, Эрик [Eric Schmidt] 225п цифровой сигнал [digital signal] 261 Шроуб, Ховард Э. [Howard E. Shrobe] Чанда-сутра 61п Чарняк, Юджин [Eugene Charniak] 385п Эдинбургский университет [University of Чезаро, Эрнесто [Ernesto Ces` ro] 219п Чепман, Дэвид [David Chapman] 385п (упр. 1.38) «Червь» в Интернете [Internet “worm”] доказательство Малой теоремы Ферма Ч рч, Алонсо [Alonzo Church] 75п, Ч рча числа [Church numerals] Ч рча-Тьюринга тезис [Church-Turing

thesis] 359п помощью потоков 322 (упр. 3.73),

в обобщенной арифметической системе элементарные выражения [primitive зависимость от реализации 42п имя элементарной процедуры простые по отношению к другому числу числа численные данные [numerical data] 25 = численный анализ [numerical analysis] 25п apply 182п “что такое” vs. “как сделать” [“how to” vs. atan 174п eval (нс) 360п list log 82 (упр. 1.36) max min newline 96п not null? number pair? quotient 312 (упр. 3.58) random (нс) 66, 221п read 356п remainder round 198п runtime (нс) 67 (упр. 1.22) set-car! set-cdr! sin symbol? vector-ref vector-set! элементарный запрос [primitive query] см.

простой запрос элементы вычисления первого класса [rst-class elements of computation] 87, см. также полноправные элементы вычисления Эратосфен 308п эффективность [eciency] см. также порядок роста вычисления доступа к базе данных 418п древовидно-рекурсивного процесса компиляции Лиспа обработки запросов Эшер, Мориц Корнелис [Maurits Cornelis Escher] 132п явное кодирование элементарных процедур [open coding of primitives] (упр. 5.38), 550 (упр. 5.44) язык [language] см. естественный язык;

язык программирования

Pages:     | 1 |   ...   | 13 | 14 ||
 


Похожие работы:

«Положение о лабораториях научной деятельности в Лист 2 Негосударственном (частном) образовательном учреждении высшего Всего листов 51 профессионального образования Южно-Сахалинский институт экономики, права и информатики (НЧОУ ВПО ЮСИЭПиИ) СК О ПСП 12-2013 Экземпляр № СОДЕРЖАНИЕ 1. Общие положения.. 3 2. Цели и задачи лабораторий научной деятельности. 4 3. Организация деятельности лабораторий научной деятельности. 6 4. Финансовое и материально-техническое обеспечение лабораторий. 7 5....»

«РОССИЙСКАЯ АКАДЕМИЯ НАУК ИНСТИТУТ НАУЧНОЙ ИНФОРМАЦИИ ПО ОБЩЕСТВЕННЫМ НАУКАМ РОССИЕВЕДЕНИЕ: ОТЕЧЕСТВЕННЫЕ ИССЛЕДОВАТЕЛИ СПРАВОЧНИК МОСКВА 2014 ББК 6/8 Р 76 Центр россиеведения, Центр информатизации Ответственный редактор: д-р полит. наук И.И. Глебова Составители: канд. экон. наук М.С. Пальников, канд. ист. наук В.И. Плющев, канд. филос. наук О.В. Хмелевская Редакторы библиографических описаний: К.Р. Долгова, Г.Н. Папылева Россиеведение: Отечественные исследователи: СпраР 76 вочник / РАН. ИНИОН....»

«№ 1. 2010 Научно-методический альманах ОТ СВИТКА ДО ИНТЕРНЕТА: библиотека образование чтение Москва РУССКОЕ СЛОВО 2010 ББК 78.3 О-80 Автор проекта В.И. Митина Главный редактор Л.В. Дудова Заместитель главного редактора Л.Н. Дмитриевская Редакционный совет: Л.Е. Курнешова — первый заместитель руководителя Департамента образования г. Москвы; А.Л. Семенов — ректор Московского института открытого образования; В.П. Чудинова — вице-президент межрегиональной общественной организации Русская ассоциация...»

«МОСКОВСКИЙ ГОРОДСКОЙ ПЕДАГОГИЧЕСКИЙ УНИВЕРСИТЕТ Фундаментальная библиотека Отдел информационного обслуживания Бюллетень новых поступлений в Фундаментальную библиотеку июнь 2014 г. Москва 2014 1 Составители: Т.А. Сенченко В бюллетень вошла учебная, учебно-методическая, научная и художественная литература, поступившая в Фундаментальную библиотеку в июне 2014 г. Материал расположен в систематическом порядке по отраслям знаний, внутри разделов – в алфавитнохронологическом. Указано распределение по...»

«ВЕСТНИК МОСКОВСКОГО ГОРОДСКОГО ПЕДАГОГИЧЕСКОГО УНИВЕРСИТЕТА НаучНый журНал СЕРИя ЕстЕствЕННыЕ Науки № 2 (12) Издается с 2008 года Выходит 2 раза в год Москва 2013 VESTNIK MOSCOW CITY TEACHERS TRAINING UNIVERSITY Scientific Journal natural ScienceS № 2 (12) Published since 2008 Appears Twice a Year Moscow 2013 Редакционный совет: Реморенко И.М. ректор ГБОУ ВПО МГПУ, председатель кандидат педагогических наук, доцент, почетный работник народного образования Рябов В.В. президент ГБОУ ВПО МГПУ,...»

«Знание, стоимость и капитал1 К критике экономики знаний Дорине, без которой ничего бы не было Предисловие к немецкому изданию Осознание того, что знания стали важнейшей производительной силой, вызвало перемены, подрывающие значимость ключевых экономических категорий и указывающие на необходимость создания новой экономической теории. Распространяющаяся сейчас экономика знаний — это капитализм, пытающийся по-новому определить свои основные категории: труд, стоимость и капитал, и...»

«Harold Abelson Gerald Jay Sussman and Julie Sussman with Structure and Interpretation of Computer Programs The MIT Press Cambridge, Massatchusetts London, England The McGraw-Hill Companies, Inc. New York St.Louis San Francisco Montreal Toronto Харольд Абельсон Джеральд Джей Сассман Джули Сассман при участии Структура и интерпретация компьютерных программ Добросвет, 2006 3 Эта книга посвящается, с уважением и любовью, духу, который живет внутри компьютера. “Мне кажется, чрезвычайно важно, чтобы...»

«20 - Проблемы преподавания физики Бушков Степан Сергеевич, учитель Нарьян-Мар, Средняя общеобразовательная школа с. Несь Проект генератора задач по физике e-mail: dada_stuart@mail.ru стр. 506 Владимирова Татьяна Михайловна, с.н.с. Архангельск, Северный (Арктический) федеральный университет, Ломоносовский научно-образовательный центр Вклад М.В. Ломоносова в становление физики как науки e-mail: t.vladimirova@narfu.ru стр. 506 Гатилова Наталья Ивановна, магистрант 2 года обучения Омск, Омский...»

«Российская академия наук Cибирское отделение Федеральное государственное бюджетное учреждение науки Институт систем информатики имени А.П.Ершова СО РАН Отчет о деятельности в 2012 году Новосибирск 2013 Институт систем информатики имени А.П.Ершова СО РАН 630090, г. Новосибирск, пр. Лаврентьева, 6 e-mail: iis@iis.nsk.su http: www.iis.nsk.su тел: (383) 330-86-52 факс: (383) 332-34-94 Директор д.ф.-м.н. Марчук Александр Гурьевич e-mail: mag@iis.nsk.su http: www.iis.nsk.su тел: (383) 330-86-...»

«Оуэнс К. Д., Сокс Г. К. мл. Принятие решений в медицине: вероятностное медицинское обоснование Owens K. D., Sox H. C. Jr. Medical decision making: probabilistic medical reasoning Edward Shortliffe/Leslie Perreault, Medical Informatics: Computer Applications in Health Care. Addison-Wesley Publishing Company. Addison-Wesley Publ.Co. 1990, Chpt. 3, P. 70-116 2725 Sand Hill Road, Menlo Park, CA 94025 Принятие решений о лечении Ключевые слова Анализ полезности Системы информационного обеспечения...»

«Математическая биология и биоинформатика. 2011. Т. 6. № 1. С.102–114. URL: http:// www.matbio.org/2011/Abakumov2011(6_102).pdf ================== МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ================= УДК: 577.95 Неопределенность при моделировании экосистемы озера * **2 ©2011 Пахт Е.В. 1, Абакумов А.И. 1 ФГОУ ВПО Дальневосточный государственный технический рыбохозяйственный университет, Владивосток, 690087, Россия 2 Учреждение Российской академии наук Институт автоматики и процессов управления ДВО РАН,...»

«МИНИСТЕРСТВО ОБЩЕГО И ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ проект УТВЕРЖДАЮ: Заместитель Министра образования Российской Федерации В.Д. Шадриков “”_2000 г. Номер Государственной регистрации ГОСУДАРСТВЕННЫЙ ОБРАЗОВАТЕЛЬНЫЙ СТАНДАРТ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ по специальности: 351700 - ИНФОРМАЦИОННО-КОММУНИКАТИВНЫЕ СИСТЕМЫ В ГЕОГРАФИИ Квалификация: Геоинформатик Вводится с момента утверждения Москва, 2000 г. 1. ОБЩАЯ ХАРАКТЕРИСТИКА СПЕЦИАЛЬНОСТИ 351700 -...»

«О стратегии развития информационного общества в Республике Беларусь В своем обращении с посланием к белорусскому народу и Национальному собранию 20 апреля 2010 года Глава государства дал поручение о разработке стратегии всеобъемлющей информатизации, ориентированной на предоставление широкого спектра электронных услуг для граждан и бизнеса, а также переход государственного аппарата на работу по принципу информационного взаимодействия. Во исполнение этого поручения Постановлением Совета Министров...»

«СОДЕРЖАНИЕ ПРЕДИСЛОВИЕ 2 КРАТКИЙ ИСТОРИЧЕСКИЙ ОЧЕРК 3 Введение 4 Начальный период радиофизических исследований в БГУ 6 Подготовка специалистов по радиофизике и электронике 7 Открытие факультета.Годы самостоятельной деятельности 12 ФАКУЛЬТЕТ СЕГОДНЯ 21 Деканат, структура факультета, кадры 22 Учебный процесс 24 Научно-инновационная деятельность 27 Сотрудничество 33 Студенческая жизнь 35 КАФЕДРЫ Кафедра радиофизики и цифровых медиатехнологий...»

«Математическая биология и биоинформатика. 2014. Т. 9. № 2. С. 319–340. URL: http://www.matbio.org/2014/Pacht_9_319.pdf. ================== МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ================= УДК: 577.95 Моделирование с учетом неопределенности данных экосистемы эвтрофного озера * ©2014 Пахт Е.В. Дальневосточный федеральный университет, школа естественных наук, Владивосток, 690950, Россия Аннотация. Неточность экспериментальной информации о состоянии и функционировании природной экологической системы...»

«РОССИЙСКАЯ АКАДЕМИЯ НАУК САНКТ-ПЕТЕРБУРГСКИЙ ИНСТИТУТ ИНФОРМАТИКИ И АВТОМАТИЗАЦИИ ОБЪЕДИНЕННЫЙ НАУЧНЫЙ СОВЕТ ПО ПРОБЛЕМАМ ИНФОРМАТИКИ, УПРАВЛЕНИЯ И ТЕЛЕКОММУНИКАЦИЙ ПРИ ПРЕЗИДИУМЕ СПБ НЦ РАН САНКТ-ПЕТЕРБУРГСКАЯ ТЕРРИТОРИАЛЬНАЯ ГРУППА РОССИЙСКОГО НАЦИОНАЛЬНОГО КОМИТЕТА ПО АВТОМАТИЧЕСКОМУ УПРАВЛЕНИЮ ИСТОРИЯ ИНФОРМАТИКИ И КИБЕРНЕТИКИ В САНКТ-ПЕТЕРБУРГЕ (ЛЕНИНГРАДЕ) Выпуск I Яркие фрагменты истории Под общей редакцией члена-корреспондента РАН Р.М. Юсупова Санкт-Петербург Наука УДК ББК 32/ И...»

«СБОРНИК РАБОЧИХ ПРОГРАММ Профиль бакалавриата : Математическое моделирование Содержание Страница Б.1.1 Иностранный язык 2 Б.1.2 История 18 Б.1.3 Философия 36 Б.1.4 Экономика 47 Б.1.5 Социология 57 Б.1.6 Культурология 71 Б.1.7 Правоведение 82 Б.1.8.1 Политология 90 Б.1.8.2 Мировые цивилизации, философии и культуры 105 Б.2.1 Алгебра и геометрия Б.2.2 Математический анализ Б.2.3 Комплексный анализ Б.2.4 Функциональный анализ Б.2.5, Б.2.12, Б.2.13.2 Физика Б.2.6 Основы информатики Б.2.7 Архитектура...»

«4 Министерство образования и науки Российской Федерации Федеральное агентство по образованию ГОУ ВПО Амурский государственный университет УТВЕРЖДАЮ Зав. кафедрой ОМиИ Г.В. Литовка _ _ 2007 г. УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ПО ДИСЦИПЛИНЕ ИНФОРМАТИКА И ЭВМ В ПСИХОЛОГИИ для специальности 030301 – Психология Составил А.А.Коваль, к.т.н. доцент Благовещенск, Печатается по разрешению редакционно-издательского совета факультета математики и информатики Амурского государственного университета Коваль А.А....»

«ПРАВИТЕЛЬСТВО МОСКВЫ КОМИТЕТ ПО АРХИТЕКТУРЕ И ГРАДОСТРОИТЕЛЬСТВУ УКАЗАНИЕ от 20 февраля 1998 г. N 7 ОБ УТВЕРЖДЕНИИ ПОСОБИЯ К МГСН 2.02-97 ПРОЕКТИРОВАНИЕ ПРОТИВОРАДОНОВОЙ ЗАЩИТЫ ЖИЛЫХ И ОБЩЕСТВЕННЫХ ЗДАНИЙ 1. Утвердить и ввести в действие для использования проектными организациями, осуществляющими проектирование жилых и общественных зданий для строительства в г. Москве и лесопарковом защитном поясе, разработанное НИИ строительной физики РААСН по заказу Москомархитектуры пособие к МГСН 2.02-97...»

«НаучНый журНал Серия ЕстЕствЕННыЕ Науки № 1 (3) издаётся с 2008 года Выходит 2 раза в год Москва  2009 редакционный совет: Рябов В.В. доктор исторических наук, профессор, Председатель ректор МГПУ Атанасян С.Л. кандидат физико-математических наук, профессор, проректор по учебной работе МГПУ Геворкян Е.Н. доктор экономических наук, профессор, проректор по научной работе МГПУ Русецкая М.Н. кандидат педагогических наук, доцент, проректор по инновационной деятельности МГПУ редакционная коллегия:...»














 
© 2014 www.kniga.seluk.ru - «Бесплатная электронная библиотека - Книги, пособия, учебники, издания, публикации»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.