![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>U=З973-018.21$<.>) |
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6
|
| | Тип видання: навчальний посібник | | |
1. |
Коротков, М. А. Основы формальных логических языков [Електронний ресурс] / М. А. Коротков, Е. О. Степанов. - СПб. : Изд-во СПбГИТМО(ТУ), 2003. - 84 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Данное пособие посвящено основам формальных логических языков. В нем дается краткое изложение языков логики первого и второго порядков, элементов теории доказательств, теории моделей и формальной теории множеств. Пособие основано на курсе лекций, читаемом на кафедре Компьютерных технологий Санкт-Петербургского Государственного института Точной Механики и Оптики. Пособие предназначено для студентов компьютерных и математических специальностей.
Кл.слова: логіка -- мова -- аксіома
| | Тип видання: підручник | | |
2. |
Пратт, Т. Языки программирования [Електронний ресурс] : разработка и реализация / Т. Пратт, М. Зелковиц. - 4-е изд.. - СПб. : Питер, 2002. - 688 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге известных американских специалистов в области языков программирования Т. Пратта и М. Зелковица рассматриваются общие концепции разработки и реализации языков программирования, а также основы формальных грамматик и конечных автоматов — математических моделей, используемых для определения и реализации языков программирования. Это именно та база, которая необходима высококвалифицированному программисту для создания производительных и устойчивых к ошибкам программ. Изложение материала в книге не привязано ни к какому конкретному языку программирования, хотя предполагается, что читатель знаком хотя бы с одним процедурным и с одним объектно-ориентированным языком. Книга будет полезна студентам высших учебных заведений, а также программистам любой квалификации. Все что выкладывалось в инете до этого - книга тех же авторов 1979 года. Это издание в электронном виде публикуется впервые.
Кл.слова: ком'ютер -- програмне забезпечення
| | Тип видання: підручник | | |
3. |
Pierce, B. C. Types and programming languages [Electronic resource] / B. C. Pierce. - Cambridge : The MIT Press, 2002. - 623 p. Переклад назви: Типи і мови програмування
Рубрики:
Повний текст доступний у читальних залах НБУВ
This thorough type-systems reference examines theory, pragmatics, implementation, and more
Кл.слова: програмне забезпечення
| | Тип видання: підручник | | |
4. |
Hudak, P. Conception, Evolution, and Application of Functional Programming Languages [Electronic resource] / P. Hudak. - New York : ACM Computing Surveys, 1989. - 53 p. Переклад назви: Концепція, еволюція та застосування функціональних мов програмування
Рубрики:
Повний текст доступний у читальних залах НБУВ
The foundations of functional programming languages are examined from both historical and technical perspectives. Their evolution is traced through several critical periods: early work on lambda calculus and combinatory calculus, Lisp, Iswim, FP, ML, and modern functional languages such as Miranda1 and Haskell. The fundamental premises on which the functional programming methodology stands are critically analyzed with respect to philosophical, theoretical, and pragmatic concerns. Particular attention is paid to the main features that characterize modern functional languages: higher-order functions, lazy evaluation, equations and pattern matching, strong static typing and type inference, and data abstraction. In addition, current research areas—such as parallelism, nondeterminism, input/output, and state-oriented computations—are examined with the goal of predicting the future development and application of functional languages.
Кл.слова: програмування
| | Тип видання: підручник | | |
5. |
Sebesta, R. Concepts of programming languages [Electronic resource] / R. Sebesta. - Boston : Addison Wesley, [20_ _?]. - 708 p. Переклад назви: Концепції мов програмування
Рубрики:
Повний текст доступний у читальних залах НБУВ
This book allows those with the ability to program to learn how to choose appropriate languages for certain tasks, increase their abilities to learn new languages, and understand the significance of implementation. It illustrates various language constructs and design alternatives through Java, JavaScript, C++, C, Ada, and Fortran, and intertwines discussions of object-oriented programming material with the discussions of the non-OO imperative languages. It also provides extensive material on semantics. This new edition is updated to include a new chapter covering parsing, new material on JavaScript, and updated material on Java 1.3. This book is suitable for programmers who want to get into the theory behind programming-language development and utilization.
Кл.слова: програмування
| | Тип видання: методичний посібник | | |
6. |
Кревский, И. Г. Формальные языки, грамматики и основы построения трансляторов [Електронний ресурс] / И. Г. Кревский, М. Н. Селивестров, К. В. Григорьева. - Пенза : Пензенский гос. ун-т, 2003. - 126 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Представлен материал для изучения разделов, посвященных формальным языкам, грамматикам и разработке трансляторов в курсах "Лингвистическое и программное обеспечение САПР" и "Теория вычислительных процессов и структур". Подробно рассмотрены основные вопросы - теория грамматик и автоматов, лексический анализ, нисходящий и восходящий синтаксический анализ, построение программы синтаксического анализа для заданного синтаксиса, применение синтаксических диаграмм для построения анализаторов, таблично-управляемые и программно-управляемые анализаторы, формирование постфиксной записи арифметических выражений и операторов языка, генерация объектного кода программы. Приведены методические указания к лабораторным работам с вариантами заданий, а также требования к курсовому проекту по построению компиляторов.
Кл.слова: програмування
| | | | | |
|
|