WWW.KNIGA.SELUK.RU

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

 

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

«Structure and Interpretation of Computer Programs The MIT Press Cambridge, Massatchusetts London, England The McGraw-Hill Companies, Inc. New York St.Louis San Francisco ...»

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

и лексическая сфера действия и переименование 448 (упр. 4.79) как контекст для вычисления объемлющее [enclosing] окружение времени компиляции [compile-time environment] 549, (упр. 5.40), 549 (упр. 5.41) cons-stream (нс) и явное кодирование 550 (упр. 5.44) define 28, операнды комбинации [operands of a delay (нс) именованный let 349 (упр. 4.8) побочного эффекта 225п остановки проблема [halting problem] порядок присваиваний остаток по модулю [remainder modulo ошибки округления 172п Островский, А. М. 125п отладка [debugging] отложенная операция [deferred operation] относительности теория [theory of relativity] отношения, вычисления в терминах отношений 272, отображение [map] вложенное 128, деревьев как преобразователь списков отображение координат рамки [frame coordinate map] отрезок [line segment] представление в виде пары векторов представление в виде пары точек отслеживаемая процедура [monitored procedure] 217 (упр. 3.2) представленные с помощью векторов очередь [queue] в плане действий 269 процедурное представление 100, 249, и функциональное программирование (упр. 3.74), 323 (упр. 3.75), механизмы для управления 287 перечислитель [enumerator] правильность параллельных Перлис, Алан Дж. [Alan J. Perlis] 13, параметр [parameter] см. формальные печать входных выражений [typing Паскаль, Блез [Blaise Pascal] 57п печать, элементарные процедуры передача сообщений [message passing] [primitives for printing] 96п в банковском счете 216 аппроксимация через интегрирование в имитаторе цифровых схем 265 методом Монте-Карло и модель с окружениями и хвостовая рекурсия 51п поток приближений переменная [variable] 28, см. также приближенное вычисление методом значение [value] 28, несвязанная [unbound] область действия 45, см. также область действия переменной свободная связанная переменная образца [pattern variable] представление 430, переменная состояния [state variable] внутренняя перенаправляющий адрес [forwarding address] перенос языка (на новый компьютер) [porting a language] 554 план действий [agenda] 267, см. также плотный многочлен [dense polynomial] полноправные элементы вычисления поддержание истины [truth 87, см. также элементы подкоренное число [radicand] 41 половинного деления метод подпрограмма, в регистровой машине [half-interval method] вычислитель с явным управлением полусумматор [half-adder] интерпретатор запросов 430 имитация ленивый интерпретатор 374 пометка с очисткой [mark-sweep] 495п метациклический интерпретатор 356 помеченные данные [tagged data] 175, недетерминистский вычислитель 401 490п подсказка вывода [output prompt] 356 порождение предложений [generating подстановка [substitution] 34п sentences] 393 (упр.

4.49) подстановочная модель применения порядок вычисления [order of подсчет команд [instruction counting] подтип [subtype] 194 в метациклическом интерпретаторе несколько подтипов подчиняется (правило) 414, в глубину [depth-rst] по бинарным деревьям систематический [systematic] поиск с возвратом [backtracking] управляемый зависимостями [dependency-directed] 385п хронологический [chronological] показатель конца списка [end-of-list неопределенность в параллельных предикат отделение от внешней структуры предикат [predicate] последовательное возведение в квадрат соглашение об именах 41п [successive squaring] 60 предложения [statements] 523, см.

последовательности [sequences] 73п, 107 последовательность команд как источник модульности 124 представление множеств в виде как стандартные интерфейсы 120 неупорядоченных списков представленные в виде пар последовательность выражений [sequence of expressions] в следствии cond 37п в теле процедуры 32п последовательность команд [instruction sequence] 521, поток(и) [stream(s)] 211, 298, бесконечные см. бесконечные потоки и задержанное вычисление используемые в интерпретаторе языка запросов 418, 424п неявное определение пустые реализованные в виде задержанных списков реализованные в виде ленивых списков пошаговое написание [incremental development] пошаговое улучшение [iterative improvement] 89 (упр. 1.46) подстановочная модель см.

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

программирование, управляемое управляемое потребностями функциональное см. функциональное программирование чрезвычайно плохой стиль 306п элементы программирование, управляемое данными [data-directed programming] 93, 171, 179, vs. разбор случаев в интерпретаторе запросов в метациклическом интерпретаторе 348 (упр. 4.3) продолжение [continuation] в имитаторе регистровых машин 478п в недетерминистском интерпретаторе 394, 396, см. также продолжение неудачи, продолжение успеха продолжение неудачи [failure мемоизированная 260 (упр. 3.27) нестрогая [non-strict] неявный begin в теле 214п область действия формальных параметров обобщенная 167, определение отслеживаемая 217 (упр. 3.2) полноправный статус в Лиспе произвольное количество аргументов 26, 112 (упр. 2.20) создание с помощью define создание с помощью lambda 229, создание с помощью lambda составная [compound] тело формальные параметры процедура высшего порядка [higher-order procedure] в метациклическом интерпретаторе и сильная типизация 328п процедура как возвращаемое процедура как обобщенный метод 78 (упр. 1.28) процедура в качестве аргумента 70 равенство [equality] процедурная абстракция [procedural в обобщенной арифметической

abstraction] 44 системе 191 (упр. 2.79)

процедурное представление данных и референциальная прозрачность [procedural representation of data] 100 символов 148п древовидно-рекурсивный 53 равенство по модулю n [congruency линейно итеративный 51 радиус интервала [width, of an interval] разбитое сердце [broken heart] разбор случаев [case analysis] vs. стиль, управляемый данными обший см. также cond с двумя случаями разделение времени [time slicing] разделяемое состояние [shared state] разделяемые данные разделяемые ресурсы [shared resources] размен денег [counting change] 55, (упр. 2.19) разреженный многочлен [sparse polynomial] Райт, Джесси Б. [Jesse B. Wright] 100п Райт, Э. М. [E. M. Wright] 311п рак точки с запятой [cancer of the semicolon] 31п Рамануджан, Шриниваса [Srinivasa Ramanujan] 321п Рамануджана числа [Ramanujan numbers] 321 (упр. 3.71) рамка [frame] 133, отображение координат Ранкл, Джон Дэниел [John Daniel Runkle] 133п распространение ограничений [propagation of constraints] Рафаэль, Бертрам [Bertram Raphael] рациональная арифметика [rational-number arithmetic] 93 рекурсивная процедура [recursive взаимодействие с обобщенной арифметической системой 188 vs. рекурсивный процесс необходимость составных данных 91 определение рекурсивной процедуры рациональная функция [rational рекурсивный процесс [recursive process] vs. итеративный процесс 48, (упр. 3.9), 463, 544 (упр. 5.34) vs. рекурсивная процедура регистровая машина 463 Сазерленд, Айвен [Ivan Sutherland] рекурсии теория [recursion theory] 359п 272п рекурсия [recursion] 29, 43 самовычисляющееся выражение выражение сложного процесса 29 самосознание, повышение уровня для работы с деревьями 115 [expansion of consciousness] 342п референциальная прозрачность 224 вызова по имени [call-by-name] 306п решение уравнений [solving equations] вызова по необходимости см. Ньютона метод; половинного [call-by-need] 306п решето Эратосфена [sieve of происхождение названия 372п Ривест, Рональд Л. [Ronald L. Rivest] Sussman] 24п, 272п, 385п Рис, Джонатан А. [Jonathan A. Rees] племянницы [nieces of Julie Esther рисовалка [painter] 133 сбалансированное бинарное дерево операции высших порядков 137 см. также бинарное дерево представление в виде процедуры 141 сбалансированный мобиль [balanced преобразование и комбинирование 143 mobile] 118 (упр. 2.29) Робинсон, Дж. А. [J. A. Robinson] 405п сборка мусора [garbage collection] 375п, Роджерс, Уильям Бартон [William 489, 494, рок-песни 1950-х гг [1950s rock songs] и мемоизация 375п Росас, Гильермо Хуан [Guillermo Juan сжимающая [compacting] 496п сборщик мусора [garbage collector] 242п представление через пометку с очисткой 495п символьная алгебра [symbolic algebra] свободная переменная [free variable] 45 лексическая сфера действия 47 expression] 92, см. также символ(ы) связанная переменная [bound variable] символьное дифференцирование сглаживание сигнала [smoothing a интегрирования [Simpson’s Rule for signal] 323 (упр. 3.75), 324 (упр. 3.76) numerical integration] 73 (упр. 1.29) сглаживание функции 88 (упр. 1.44) синтаксис [syntax] 339, см. также секретарь, его важное значение [importance of a secretary] 408 абстрактный см. абстрактный селектор [selector] семафор [semaphore] 294п синтаксический анализ естественного размера n 296 (упр. 3.47) сериализатор [serializer] 288, 289 настоящая обработка языка vs.

реализация с множественными разделяемыми ресурсами сеть ограничений [constraint network] сжимающий сборщик мусора [compacting garbage collector] 496п в метациклическом интерпретаторе сигма-запись ( ) сильно типизированный язык [strongly typed language] 328п символ в коде ASCII [character in ASCII синтаксический сахар [syntactic sugar] процедура vs. данные 266п сокрытие связывания [shadowing a циклические конструкции синус [sine] приближение при малых углах степенной ряд 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 исчезновение в потоковой Спаффорд, Юджин Г. [Eugene H. средства абстракции [means of

Spaord] 554п abstraction]

специалист по численному анализу define [numerical analyst] 79п средства комбинирования [means of списковая структура 96, 108п cvombination] 25, см. также представленная с помощью векторов манипуляции с car, cdr и cons 108 поток [power series, as a stream] методы работы обращение 111 (упр. 2.18) перемножение 313 (упр. 3.60) последняя пара 111 (упр. 2.17) интегрирование 313 (упр. 3.59) представление на печати 108 Стил, Гай Льюис мл. [Guy Lewis Steele преобразование в бинарное дерево 161 Jr.] 24п, 52п, 226п, 272п, 370п, 384п преобразование из бинарного дерева выражения, vs. императивный стиль равенство 149 (упр. 2.54) Стой, Джозеф Э. [Joseph E. Stoy] 34п, с заголовком [headed] 255, 269п сconsивание соединение через append уcdrивание список свободных ячеек [free list] 493п список термов многочлена [term list of стрелочная диаграмма [box-and-pointer notation] строгая процедура [procedure] строка [string] печатание 147п элементарные процедуры 444п, 527п структура управления [control structure] сумматор [full-adder] full-adder каскадный [ripple-carry] полу- сумматор для сигналов [summer] суммирование последовательности [summation of a series] с потоками ускорение последовательности приближений схема [circuit] моделируемая с помощью потоков (упр. 3.73), 328 (упр. 3.80) цифровая см. имитация цифровых схема Горнера [Horner’s rule] (упр. 2.34) счет банковский см. банковский счет счетчик программы [program counter] n-мерная 259 (упр. 3.25) текущее время, для имитации плана двумерная для программирования, управляемого тело процедуры [body of a procedure] используемая для моделирования плана действий 269 Трнер, Дэвид [David Turner] 128п, тест на равенство нулю (обобщенный) точка недетерминистского выбора [zero test] 191 (упр. 2.80) [nondeterministic choice point] для многочленов 204 (упр. 2.87) точка с запятой [semicolon] 31п тест, операция в регистровой машине как символ комментария 129п тета от f (n) ((f (n))) 58 чисел [point, represented as a pair] техника vs. математика [engineering vs. (упр. 2.2) башня [tower of types] 194 команд [instruction] 488 (упр. 5.16) в Лиспе 191 (упр. 2.78) регистров [register] 488 (упр. 5.18) в сильно типизированных языках требуемые регистры [needed registers] диспетчеризация 179 треугольник Паскаля [Pascal’s triangle] иерархия в символьной алгебре 206 57 (упр. 1.12) несколько подтипов и надтипов 195 [trigonometric relations] операции со смешанными типами 191 тупик 296, подъем 194, 197 (упр. 2.83) способ избежания спуск 195, 198 (упр. 2.85) Тьюринг, Алан М. [Alan M. Turing] тип связи [linkage descriptor] 520 359п, 360п типизированный указатель [typed Тэтчер, Джеймс У. [James W. Thatcher] тождественность и изменение [sameness and change] значение и разделяемые данные торможение усреднением [average damping] точечная запись [dotted-tail notation] удовлетворение запросу [satisfying a в образцах запросов 410, в правилах языка запросов для процедурных параметров указатель [pointer] типизированный [typed] умножение методом русского крестьянина [Russian peasant method of multiplication] 61п универсальная машина [universal machine] вычислитель с явным управлением компьютер общего назначения унификация [unication] 405, 417, vs. сопоставление с образцом 422, открытие алгоритма 405п реализация Уодлер, Филип [Philip Wadler] 225п Уодсворт, Кристофер [Christopher Уокер, Фрэнсис Амаса [Francis Amasa factorial Уоллис, Джон [John Wallis] 73п бесконечный поток 311 (упр. 3.54) Уотерс, Ричард К. [Richard C. Waters] с letrec 364 (упр. 4.20) управляющий цикл [driver loop] 356 Feigenbaum] 406п в вычислителе с явным управлением Феничель, Роберт [Robert Fenichel] 495п в интерпретаторе запросов 424, 429 Theorem] в ленивом интерпретаторе 374 альтернативная формулировка в метациклическом интерпретаторе (упр. 1.28) в недетерминистском интерпретаторе Ферма тест на простоту [Fermat test for упрощение алгебраических выражений вариант 69 (упр. 1.28) [simplication of algebraic Ферма, Пьер де [Pierre de Fermat] 65п уравнения рекурсии [recursion 53, см. также fib и алгоритм Евклида для НОД 63 рациональная [rational] Фили, Марк [Marc Feeley] 366п сглаживание 88 (упр. 1.44) Филипс, Хьюберт [Hubert Phillips] (упр. 4.42) фильтр [lter] 74 (упр. 1.33), Флойд, Роберт [Robert Floyd] 385п Форбус, Кеннет Д. [Kenneth D. Forbus] форма процесса [shape of a process] формальные параметры процедуры [formal parameters] имена область действия форматирование входных выражений [formatting input expressions] 27п Фридман, Дэниел П. [Daniel P.

Friedman] 306п, 337п функциональное программирование [functional programming] 222, и время и параллельность функциональный язык программирования функциональный элемент в цифровых схемах [function box] функциональный язык программирования [functional и сборка мусора 535п programming language] 333 хвостовая рекурсия в списке функция (математическая) [function] аргументов [evlis tail recursion] 505п композиция 88 (упр. 1.42) Хендерсон, Питер [Peter Henderson] многократное применение Хилфингер, Пол [Paul Hilnger] 162п интерпретаторе 350 (упр. 4.9) Хоар, Чарльз Энтони Ричард [Charles Anthony Richard Hoare] 100п Ходжес, Эндрю [Andrew Hodges] 359п Хофштадтер, Дуглас Р. [Douglas R.

Hofstadter] 359п Хьюз, Р. Дж. М. [R. J. M. Hughes] 380п Хьюитт, Карл Эдди [Carl Eddie Hewitt] 51п, 385п, 405п, 495п Хэмминг, Ричард Уэсли [Richard Wesley Hamming] 165п, (упр. 3.56) целевой регистр [target] целые числа [integers] 25п деление 42п точные 42п

thesis] 359п

цепная дробь [continued fraction] (упр. 1.37) e 83 (упр. 1.38) золотое сечение 82 (упр. 1.37) тангенс 83 (упр. 1.39) цепь электрическая [circuit] моделируемая с помощью потоков 322 вещественные [real] 25п (упр. 3.73), 328 (упр. 3.80) Цзю Ши-Цзе [Chu Shih-Chieh] 57п цикл в списке [cycle in list] (упр. 3.13) обнаружение 248 (упр. 3.18) цикл обратной связи, моделируемый с помощью потоков [feedback loop] 324 сравнение цикл чтение-вычисление-печать [read-eval-print loop] 27, см. также циклические конструкции [looping численные данные [numerical data] constructs] 42, 51 численный анализ [numerical analysis] “что такое” vs. “как сделать” [“how to” vs. “what is”] см. декларативное vs.

императивное знание Чёрча–Тьюринга тезис см. тезис шахматы, задача о восьми ферзях apply 182п [chess, eight-queens puzzle] 130 atan 174п (упр. 2.42), 389 (упр. 4.44) шишка (правило) 413, 428 (упр. 4.65) Шмидт, Эрик [Eric Schmidt] 225п Шроуб, Ховард Э. [Howard E. Shrobe] Эдинбургский университет [University of Edinburgh] 405п Эйлер, Леонард [Leonhard Euler] (упр. 1.38) доказательство Малой теоремы ускоритель рядов Эйндховенский технический Университет 294п экспоненциальный рост [exponential growth] электрические цепи, моделируемые с помощью потоков 322 (упр. 3.73), 328 (упр. 3.80) элементарное ограничение [primitive constraint] элементарные выражения [primitive expressions] вычисление имя переменной имя элементарной процедуры числа элементарные процедуры [primitives] vector-ref элементарный запрос [primitive query] language] см. простой запрос язык программирования [programming элементы вычисления первого класса [rst-class elements of computation] 87, см. также полноправные элементы вычисления Эратосфен 308п эффективность [eciency] см. также порядок роста вычисления доступа к базе данных 418п древовидно-рекурсивного процесса компиляции Лиспа обработки запросов Эшер, Мориц Корнелис [Maurits Cornelis Escher] 132п явное кодирование элементарных процедур [open coding of primitives] 547 (упр. 5.38), 550 (упр. 5.44) язык [language] см. естественный язык;

язык программирования язык запросов [query language] 406, vs. математическая логика абстракция база данных логический вывод правило см. правило (в языке проверка на равенство 412п простой запрос см. простой запрос расширения 428 (упр. 4.66), составной запрос см. составной

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





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

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РФ Пятигорский государственный лингвистический университет УНИВЕРСИТЕТСКИЕ ЧТЕНИЯ – 2013 10-11 января 2013 г. ПРОГРАММА Пятигорск 2013 МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РФ Пятигорский государственный лингвистический университет ПРОГРАММА УНИВЕРСИТЕТСКИЕ ЧТЕНИЯ – 2013 10-11 января 2013 г. Пятигорск 2013 1 ПРОГРАММА РАБОТЫ УНИВЕРСИТЕТСКИХ ЧТЕНИЙ – 2013 900 – 10 января: Регистрация участников главный холл университета 1000 – I. Открытие Университетских чтений –...»

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

«НАЦИОНАЛЬНОЕ ОБЪЕДИНЕНИЕ СТРОИТЕЛЕЙ ПОРЯДОК организации и проведения строительного контроля при строительстве объектов связи Издание официальное Москва 2014 НОСТРОЙ ХХХХХ – 20ХХ Предисловие Сведения о документе 1 РАЗРАБОТАН ООО НИИ экономики связи и информатики Интерэкомс (ООО НИИ Интерэкомс) 2 ПРЕДСТАВЛЕН НА Комитетом по строительству объектов связи, телеУТВЕРЖДЕНИЕ коммуникаций, информационных технологий Национального объединения строителей. Протокол от г. №. 3 УТВЕРЖДЕН И ВВЕДЕН В Решением...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ ФГБОУ ВПО Кемеровский государственный университет Новокузнецкий институт (филиал) Факультет информационных технологий РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (ОПД.Р1.) Безопасность жизнедеятельности для специальности 010501.65 Прикладная математика и информатика специализаций 010211 Системное программирование, 010202 Математическое моделирование Новокузнецк 2013 Сведения о разработке и утверждении рабочей программы дисциплины Рабочая программа...»

«Международный консорциум Электронный университет Московский государственный университет экономики, статистики и информатики Евразийский открытый институт М.Л. Заславский Товароведение, стандартизация и сертификация Учебно-методический комплекс Москва 2008 1 УДК 339.1 ББК 30.609 З 362 Заславский М.Л. – ТОВАРОВЕДЕНИЕ, СТАНДАРТИЗАЦИЯ И СЕРТИФИКАЦИЯ: Учебно-методический комплекс. – М., Изд. центр ЕАОИ, 2008. – 157 с. Рекомендовано Учебно-методическим объединением по образованию в области...»

«План издания учебной и научной литературы на 2 полугодие 2014 г. Кафедра химической технологии и дизайна текстиля Институт информационных технологий и автоматизации..... 2 13 Кафедра интеллектуальных систем и защиты информации Кафедра инженерной химии и промышленной экологии 2 13 Кафедра сопротивления материалов Институт прикладного искусства 3 Кафедра машиноведения Кафедра технологии художественной обработки материалов и Кафедра автоматизации пpоизводственных процессов ювелирных изделий 4...»

«РОССИЙСКАЯ АКАДЕМИЯ НАУК СИБИРСКОЕ ОТДЕЛЕНИЕ ИНСТИТУТ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И МАТЕМАТИЧЕСКОЙ ГЕОФИЗИКИ ИЗ ИСТОРИИ КИБЕРНЕТИКИ Ответственный редактор академик А.С. Алексеев Редактор-составитель д.т.н. Я.И. Фет НОВОСИБИРСК 2006 УДК 681.3 ББК 22.18 И32 Из истории кибернетики / Редактор-составитель Я.И. Фет. – Новосибирск: Академическое издательство Гео, 2006.– 339 с. – ISBN 5-9747-0038-4 Герои и авторы публикуемых очерков – выдающиеся ученые разных стран, пионеры кибернетики. Они делятся...»

«Сельскохозяйственные биотехнологии в развивающихся странах: варианты и возможности в производстве сельскохозяйственных культур, в лесном хозяйстве, в животноводстве, в рыбном хозяйстве и в агропромышленном комплексе для преодоления проблем продовольственной безопасности и изменения климата (ABDC-10) ГВАДАЛАХАРА, МЕКСИКА, 1- 4 МАРТА 2010 г. ИЗДАНИЕ для Региональной сессии для стран Европы и Центральной Азии: Сельскохозяйственные биотехнологии в Европе и в Центральной Азии: новые вызовы и...»

«ТЕХНИЧЕСКИЙ КОДЕКС ТКП 211-2010 (02140) УСТАНОВИВШЕЙСЯ ПРАКТИКИ ЛИНЕЙНО-КАБЕЛЬНЫЕ СООРУЖЕНИЯ ЭЛЕКТРОСВЯЗИ. ПРАВИЛА ПРОЕКТИРОВАНИЯ ЛIНЕЙНА-КАБЕЛЬНЫЯ ЗБУДАВАННI ЭЛЕКТРАСУВЯЗI. ПРАВIЛЫ ПРАЕКТАВАННЯ Издание официальное Минсвязи Минск ТКП 211-2010 УДК 621.395.74.001.2 МКС 33.040.50 КП 02 Ключевые слова: кабельные линии электросвязи, сеть проводного вещания, трасса кабеля, кабели волоконно-оптические и электрические, канализация кабельная, траншея, колодцы, муфты, вводы кабельные, оборудование...»

«ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ ВЫСШАЯ ШКОЛА ЭКОНОМИКИ (ФАКУЛЬТЕТ БИЗНЕС-ИНФОРМАТИКИ) УТВЕРЖДЕНО И.О. декана факультета С.В. Мальцева 24 октября 2013 г. ОТЧЕТ по результатам самообследования основной профессиональной образовательной программы высшего профессионального образования 080500.62. Бизнес-информатика. Бакалавр Основание для проведения самообследования: Приказ ректора от 28...»

«Федеральное агентство по образованию РФ Санкт-Петербургский государственный университет Факультет международных отношений Рассмотрено и рекомендовано УТВЕРЖДАЮ на заседании кафедры Декан факультета международных гуманитарных связей _ протокол № д.и.н. проф. К.К. Худолей дата_ зав. кафедрой проф. В.И. Фокин _ Программа учебной дисциплины Современные информационные системы и международные отношения (Modern information systems and international relations) вузовского компонента цикла ОПД по...»

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

«Государственное научное учреждение Институт философии Национальной академии наук Беларуси УДК 1(430)(091)+930.1+141.339.8+101.1:316 ПОЗНЯКОВА Ольга Леонидовна ФИЛОСОФИЯ ИСТОРИИ И. КАНТА: АНТРОПОЛОГИЧЕСКИЕ И СОЦИАЛЬНО-ПОЛИТИЧЕСКИЕ АСПЕКТЫ АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата философских наук по специальности 09.00.03 – история философии Минск, 2014 Работа выполнена в Белорусском государственном университете. Научный руководитель – Румянцева Татьяна Герардовна, доктор...»

«Областной институт усовершенствования учителей ОО Педагогическая ассоциация ЕАО РФ Лидеры образования ЕАО - 2007 Мастер-класс победителя ПНПО - 2007 для учителей информатики г. Биробиджан, 2007 год -1Лидеры образования ЕАО - 2007. Мастер-класс победителя ПНПО – 2007 для учителей информатики. – Биробиджан: ОблИУУ, 2007, 24 с. Сборник рекомендован к печати и практическому применению в ОУ Еврейской автономной области решением редакционно-издательского совета областного ИУУ от 27.09.2007 года....»

«Московская городская педагогическая гимназия-лаборатория №1505 Курсы по выбору – одна из форм организации учебно-познавательной и учебноисследовательской деятельности гимназистов Сборник авторских программ педагогического коллектива гимназии Под ред. канд. пед. наук, ст.н.с. Кучер Т.В. Москва, 2005 г. Настоящий сборник представляет собой пятый выпуск, подготовленный коллективом Московской городской педагогической гимназии-лаборатории №1505 при поддержке. Его содержание – продолжение реализации...»

«RMC-M20 Уважаемый покупатель! Благодарим вас за то, что вы отдали предпочтение бытовой технике REDMOND. REDMOND — это качество, надежность и неизменно внимательное отношение к потребностям наших клиентов. Надеемся, что вам понравится продукция нашей компании, и вы также будете выбирать наши изделия в будущем. Мультиварка REDMOND RMC-M20 — современный многофункциональный прибор для приготовления пищи, в котором компактность, экономичность, простота и удобство использования гармонично сочетаются...»

«Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования Амурский государственный университет Кафедра общей математики и информатики УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ДИСЦИПЛИНЫ ЭКОНОМЕТРИКА Основной образовательной программы по направлению подготовки 080100.62 – Экономика Благовещенск 2013 2 УМКД разработан старшим преподавателем кафедры ОМиИ Киселевой Аленой Николаевной Рассмотрен и рекомендован на...»

«Направление бакалавриата 210100 Электроника и наноэлектроника Профиль подготовки Электронные приборы и устройства СОДЕРЖАНИЕ ИСТОРИЯ ИНОСТРАННЫЙ ЯЗЫК ФИЛОСОФИЯ ЭКОНОМИКА И ОРГАНИЗАЦИЯ ПРОИЗВОДСТВА КУЛЬТУРОЛОГИЯ ПРАВОВЕДЕНИЕ ПОЛИТОЛОГИЯ СОЦИОЛОГИЯ МАТЕМАТИКА ФИЗИКА ХИМИЯ ЭКОЛОГИЯ ИНФОРМАТИКА ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА МЕТОДЫ МАТЕМАТИЧЕСКОЙ ФИЗИКИ ФИЗИЧЕСКИЕ ОСНОВЫ ЭМИССИОННОЙ ЭЛЕКТРОНИКИ И КАТОДЫ СПЕЦИАЛЬНЫЕ ВОПРОСЫ ФИЗИКИ СПЕЦИАЛЬНЫЕ ВОПРОСЫ МАТЕМАТИКИ ОСНОВЫ ТЕОРИИ НАДЁЖНОСТИ ТЕОРИЯ ИНЖЕНЕРНОГО...»

«ОТЧЕТ о деятельности органов исполнительной власти Республики Татарстан за 2011 год Казань 2012 Содержание стр. I. Основные итоги социально–экономического развития 1 Республики Татарстан за 2011 год II. Отчёт об основных направлениях деятельности за 2011 год: Министерства экономики Республики Татарстан 4 Министерства промышленности и торговли Республики Татарстан 34 Министерства энергетики Республики Татарстан 45 Министерства сельского хозяйства и продовольствия Республики 61 Татарстан...»

«АБДУЛЛАЕВА МАЛИКА ВАХАБОВНА Аппаратно - программный комплекс системы автоматизированной обработки гастроэнтерологических сигналов Специальность: 5А330204– Информационные системы диссертация на соискание академической степени магистра Научный руководитель к.т.н. Кадиров Р. Х. ГОСУДАРСТВЕННЫЙ КОМИТЕТ СВЯЗИ,...»







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

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