Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Бауэр Ф.Л., Гооз Г. — Информатика
Бауэр Ф.Л., Гооз Г. — Информатика



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Информатика

Авторы: Бауэр Ф.Л., Гооз Г.

Аннотация:

Учебный курс, представляющий собой перевод с 3-го, полностью переработанного и расширенного издания, написанного известными специалистами (ФРГ). (Второе немецкое издание было переведено на русский (М.: Мир, 1976).) Изложение отличается глубокой методической проработанностью материала и применением концептуального подхода к преподаванию основ информатики. Фундаментальные понятия программирования вводятся в книге как исходные, получают затем формализацию и раскрываются в виде конструкций языков программирования разного уровня. Много содержательных и изящных примеров решения конкретных задач с использованием алгола-68 и паскаля.
В ч. 2 входят гл. 5—8, приложения, литература и указатели.
Для студентов, изучающих программирование, научных работников различных специальностей, использующих ЭВМ в своей работе.


Язык: ru

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1990

Количество страниц: 420

Добавлена в каталог: 30.06.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
ИМЯ (NAME)      104
иначе (else)      117
Инвариант итерации      204
Инвариант цикла (Schleifen invariante)      580
Инволюция (involution)      450
Индекс (index)      243
Индикатор (Indikation)      81
Инертная обработка      см. «Ленивая обработка»
Инициализация (Initialisation)      183
Инициальный (initial)      594
Интегральная схема (integrierte Schaltung)      295
Интенсивность ощущения (Empfindungsintensitat)      26
Интенсивность раздражения (Reizstarke)      26
Интерпретация (interpretation)      104
Интерпретация термов      592
Информатика (Informatik)      8 656
Информация (information)      18 621
Информация на знак (Information pro Zeichen)      622
Инъективный (injektiv)      636
Инъекция      64
Ионсон (Johnson, N.)      620
Исполнение (Ablaufvorgang, Ablauf)      221
ИСТИНА (TRUE)      82 100
История вычислений (Zustandsgeschichte)      602
История отдельных (программных) переменных (Geschichte der einzelnen Programmvariablen)      603
Источник сообщений (Nachrichten quelle)      620
Источник шенноновский (Shannonsche Quelle)      620
Исчезновение порядка (Unterlauf)      613
Исчерпывание (Exhaustion)      380
Исчисление (состояний) (Kalkul)      563
Исчисление высказываний (Aussagenlogik)      467
Исчисление планов (Plan kalkul)      79
Исчисление слабейших предусловий      см. «Wp-исчисление»
Исчисление утверждений (Zusicherungs kalkul)      567
Итеративный (iterativ)      196
Итерации знак (Replikationsstern)      492
Итерационный процесс (Iterationsprozess)      583
Итерация (iteration)      71
Итерация (Replikation, Sternoperation)      498
Итерация функциональная (funktionale Iteration)      583
Кавлейс (Countess of Lovelace, A.A.)      675
Казиски (Kaziski, F.W.)      665
Кайдель (Keidel, W.)      9
Калин (Kalin, Th.A.)      669
Канал (связи) ((Ubertragungs-)Kanal)      38
Кантор, Г. (Cantor, G.)      95
Кантор, Д. (Cantor, D.G.)      510
Канторович, Л.В.      112 582
Кардано (Cardano, G.)      665
Карноф (Karnaugh, M.)      669
Карпентер (Carpenter)      671
Карри (Curry, H.B.)      554
Карточка (Zettel)      405
Каскад выборочный (Entscheidungs kaskade)      621
Каскадный элемент (Kaskadenelement)      425
Кассетное запоминающее устройство на магнитной ленте (Magnetbandkassettenspeicher)      357
Кауэр (Cauer, R.)      674
Кахриманян (Kahrimanian, Н.G.)      666
Квазилеволинейный (quasi-linkslinear)      516
Квазипорядок (Quasiordnung)      452
Квазиправолинейный (quasi-rechtsli-near)      516
Квазисумматор      см. «Полусумматор»
Квант (Quantenschritt)      618
Квантование (Quantelung)      618
Квантор всеобщности      567
Квантор существования (Existenz quantor)      461
Келлер (Keller, R.М.)      563
Кемпенфельт (Kempenfelt, А.R.)      671
Кербель, В.Г.      6 7
Керкхофф (Kerckhoff, А.)      666
Кёлер (Kohler, W.)      31
КЗП (EBS)      341
Кибернетика (Kybernetik)      39 673
Килберн (Kilburn)      663
Кирхер (Kircher, А.)      62 664 669
Клавиатура (Tastatur)      650
Клавиша функциональная (Funktionstaste)      650
Класс конгруэнтности (Kongruenz klass)      468 590
Класс эквивалентности (Aquivalenz klass)      454
Клаузен-Туэ (Clausen-Thue, W.)      52
Клини (Kleene, S.С.)      327 497 521 522 582 584 677
КМОП-технология (CMOS-Techik)      323
Кнастер (Knaster, B.)      582
Кнауз (Knaus, L.)      675
Книга (Buch)      373
Кнут (Knuth, D.E.)      376 401 407 411 465 516 529 532 549
Когерентный (koharent)      512 549
Код (code)      52
Код 1-из-10 (1-aus-10-code)      55
Код 1-из-n (1-aus-n-code)      56
Код 2-из-5 (2-aus-5-code)      55
Код ABC (ABC-сode)      52
Код ASCII      50
Код EAN      652 653
Код EC ЭВМ      47 49
Код IBM      49
Код ISO 7-разрядный двоичный (ISO 7-Bit—сode)      47 50
Код n-разрядный двоичный (n-Bit-сode)      52
Код Айкена (Aiken-code)      55 57
Код биквинарный (biquinarer Code)      55
Код Бэкона (Code von Bacon)      53 54
Код генетический (genetischer Code)      45 57
Код Грея (Gray-code)      55 56
Код Грея — Штибица (Gray — Stibitz—code)      55
Код дополнительный (echte Komplement)      610
Код Маркони (Marconi-code)      53
Код международный семафорный (Internationaler Code der Winkersignale)      46 47
Код международный телеграфный 2-й (CCIT-2—code)      47 48 55
Код международный флажковый (Internationaler Flaggen code)      46 47
Код международный штриховой для цветов (красок) (Internationaler Schraffur-сode fur Farben)      47
Код многоязычный коммерческий (mehrsprachiger Kommerzieller Сode)      53
Код Морзе (Morse—сode)      47 58
Код обратный (Stellenkomplement сode)      611
Код одношаговый (einschrittiger Сode)      56
Код плюс-3 (Exzefi-3-сode)      55 57
Код прямой (direkter Сode)      54 55 57
Код с весами позиций (Stellenwert сode)      57
Код счёта (Zahl сode)      59
Код Хаффмана (Huffman-Codierung)      626
Код циклически одношаговый (zyklisch einschrittiger Сode)      56
Код циклический (Ketten сode)      56
Код Штибица (Stibitz-сode)      55
Код штриховой (Strich сode, bar code)      652
Кодирование (Codierung)      52 622
Кодирование двоичное (Binar codierung)      54
Кодирование двоичное цифр      54
Кодирование прямое (direkte Codierung)      54
Кодирование троичное (Ternar codierung)      57
Кодирование четверичное (Quaternary)      57
Кодировка (знака) (Codierung)      622
Кокстер (Coxeter, H.S.M.)      592
Кокто (Cocteau, J.)      620
Количество информации (Entscheidungsinformation)      621
Количество информации среднее на знак (mittlerer Entscheidungsgehalt pro Zeichen)      622
Коллатеральный (kollateral)      67
Колмогоров, A.H.      673
Кольцо (ring)      88
Команда двухадресная (Zwei-Adrefi-befehl)      261
Команда засылки (Lade befehl)      261
Команда обращенная (konverser Befehl)      265
Команда одноадресная (Ein-Adreo-befehl)      263
Команда трёхадресная (Drei-Adreo-befehl)      261
Команда условного перехода (bedingter Sprung befehl)      268
Комбинационная схема (Schaltnetz)      290
Комментарий (Kommentar)      128
Коммутативная диаграмма (kommutatives Diagramm)      65
Коммутативность правая (Rechtskommutativitat)      88
Коммутативный      см. «Совместный»
Композиция (Komposition)      449
Композиция (Zusammensetzung)      77
Компонента (Komponente)      382 407
Компонента связности (Zusammenhangs komponente)      457
Кон Кемпелен (von Kempelen, W.)      667
Конец (Ende)      518
Конец занятой памяти (Ende belegter Speicher)      341
Конечно-порождённый (endlich erzeugt)      591
Конечное значение (Endwert)      240
Конечный (endlich)      641
Конкатенация (Konkatenation)      93
Константа (Konstante, Festwert)      105 184
Конструирование      см. «Операция конструирования»
Конструктор      см. «Операция конструирования»
Конструктор-операция      см. «Операция конструирования»
Контекстно-свободный (kontextfrei)      479
Контекстное условие (Kontextbedingung)      503 504 513
Континуум (Kontinuum)      641
Контрольный (Kontroll)      634
Контрольный бит чётности (Paritatsbit)      634
Конфлюэнтность (Konfluenz)      462
Конфлюэнтность локальная (lokale Konfluenz)      465
Концевой порядок (Postfix-Ordnung)      263
Конъюнкция (Konjunktion)      99 271 276
Конъюнкция последовательная (sequentielle Konjunktion)      125
Конъюнкция совершенная (Min-Term)      277
Копирование (Kopieren)      427 429 434
Копия (Kopie)      427
Корень (Wurzel)      96
Коробочная диаграмма (Schacteldiagramm)      400
Коробочный терм (geschachtelter Term)      400
Котельников, В.А.      615
Кронекер (Kronecker, L.)      659
КС-грамматика      см. «Контекстно-свободная грамматика»
Куайн (Quine, W.V.)      669
Кук (Cooke)      670
Купер (Соорег)      679
Кусе (Kuss, Н.)      14
Куффиньяль (Couffignal, L.)      446 662 676
Куча (Halde, heap)      444
Куча (Haufen)      405 595
Кэррол (Carroll, L.)      104 517 536
Кюпфмюллер (Kupfmuller, K.)      630
Ладгейт (Ludgate, P.E.)      676
Лакур (Lacour, G.)      620
Ламберт (Lambert, J.H.)      70
Ламетри (Lamettrie, J.)      675
Ландин (Landin, P.J.)      175 678
Лаут (Laut, A.)      14
Лево-внутреннее вычисление (leftmost-innermost computation)      143
Леволинейный (linkslinear)      484
Левооднозначный (linkseindeutig)      637 639
Ледли (Ledley, R.S.)      670
Лейбниц (Leibnitz, G.W.)      75 656—666 669 672 674 676 677
Ленивая обработка (trage Auswertung)      407
Ленин, В.И.      540
Лента ((das) Band)      370
Лёккс (Loeckx, J.)      472 516
Либ (Lieb, I.)      614
Линденмайер (Lindenmayer, A.)      474
Линденмайера система (Lindenmayer-System)      474
Линеаризация (Sequentialisierung)      204
Линейно-рекурсивный (linear rekursiv)      139
ЛИНЕЙНЫЙ (LINEAR)      547
Линия (передачи) управления (Ablauflinie)      221 222
Линия уровня (Schicht)      640
ЛИСП (LISP)      81
лит (char)      81
Лиувилля число (Liouvillische Zahl)      409
Лишке (Lischke)      669
Ловушка (Fangzustand, trap state)      522
Ловушка (trap)      572
лог (bool)      81
Логика комбинаторная (kombinatorische Logik)      554
Логический элемент (Verknupfungsglied)      290
Ложь (false)      82 100
Локальный (lokal)      175 184 328
Локк (Locke, J.)      36
Локкеманн (Lockemann, P.C.)      10
Лукасевич (Lukasiewicz, J.)      262
Лукаш (Lucas, P)      411 535 679
Луллий (Ramon Lull)      664 669 677
Лямбда-исчисление (Lambda-Kalkul)      126 168 458 563 677
Ляпунов, A.A.      678
Мaro (Mago, G.A.)      563
Мax (Mach, E.)      31
Мaypep (Maurer, H.)      479
Магазин (Keller)      260 334
Магнитно-читаемый шрифт (rnagnetisch lesbare Schrift)      652—654
Магнус (Albertus Magnus)      29
Майзон (Maison, D.)      8
Майкснер (Meixner, W.)      14
Майхилл (Myhill, J.)      70 521
Макарова, Л.А.      40 71 90 607 679
Макбет (Macbeth, J.С.Н.)      53
Маккаллох (McCulloch, W.S.)      326
Маккарти (McCarthy, J.)      75 76 78 96 98 99 145 563 567 585 678 679
Манна (Manna, Z.)      227 561 584
Мантисса (Mantisse)      612
Мария Терезия (Maria Theresia)      667
Маркард (Marquard, A.)      669
Маркировка (Markieren)      649
Маркировочный бланк (Markierungsbogen)      649 651
Марков, A.A.      72 73 537 677
Маркони (Marconi, G.)      671
Марьярт (Marryart, F.)      671
Маска (Maske)      321
Маскировка (Verdeckung)      345
Массив (Feld)      243
Массив многомерный (mehrstufiges Feld)      249
Массив с динамически устанавливаемыми границами индексов (Feld mit dynamisch errechneten Indexgrenzen)      337
Матрица бинарного отношения (binare Relationsmatrix)      448
Матцнер (Matzner, T.A.)      14
Машина абстрактная (abstrakte Maschine)      327
Машина редукционная (Textersetzungs-maschine)      551
Машина — обработки формуляров (Formular Maschine)      138
Машинная форма (maschineninterne Form)      354
Медиевистские цифры (Mediaval-Ziffern)      655
Мейз (Mays, W.)      670
Мейринк (Meyrink, G.)      326 675
Мелвилл (Melville, H.)      614
Мелис (Mehlis, A.)      18
Менабреа (Menabrea)      675
Мергенталер (Mergenthaler, O.)      54
Меркель (Merkel, J.)      631
Меркеля закон (Gesetz von Merkel)      631
Место (Platz)      502
Метаграмматика (Metagrammatik)      545
Метка (Marke)      214
Метод Британского музея (britisch museum method)      489
Метод возвратов (backtracking Verfahren)      513
Метод детерминизации (Potenzmengenkonstruktion Verfahren)      528
Метод Клини (Verfahren von Kleene)      522
Метод однопроходный      см. «Метод последовательного анализа»
Метод последовательного анализа (sequentielles Zerteilungs verfahren)      524
Метод рекурсивного спуска (rekursives Abstiegs verfahren)      535
Мёллер (Moller, B.)      14 557 592
Микрофильм (Mikrofilm)      648
Многоступенчатый (mehrstufig)      383
Множество (Menge)      446
Множество базовое (Trager menge)      586
Множество всех множеств (Potenz menge)      447 641
Множество регулярное (regulare Menge)      499
Модель (Modell)      271
Модель абстрактного типа      588
Модель двоичная (Binar-modell)      272
Модель исчисления высказываний (Aussagen modell)      272
Модель ссылок-карточек (Zettel modell)      405
Модификация (Modifikation)      222
Модуль (Modul)      366
Модуляция амплитудная (Amplituden modulation)      39
Модуляция амплитудно-импульсная (Pulshohen modulation)      40
1 2 3 4 5 6 7 8 9
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте