Турчин В.Ф. Метаалгоритмический язык

формат djvu
размер 278.06 КБ
добавлен 25 августа 2010 г.

Статья из журнала "Кибернетика", №4, 1968, 10 стр.

Формализованный язык, описываемый в настоящей работе, был первоначально задуман как метаязык для формального описания семантики алгоритмических языков и поэтому получил название метаалгоритмического. В дальнейшем язык был значительно усовершенствован, хотя основные идеи остались прежними. В статье дано формальное описание метаалгоритмического языка в его окончательном виде; необходимо, однако, вначале коснуться целей создания этого языка и наметить пути их достижения.

Общение человека с машиной и формализация семантики.
Формальное описание метаалгоритмического языка.
Примеры, пояснения и некоторые теоремы.
Формализация некоторых понятий программирования.

Похожие разделы

Смотрите также

Абрамов С.А. Элементы программирования

формат tiff
размер 3.4 МБ
добавлен 04 октября 2009 г.

М., "Наука", 1982. - 96 с. Книга посвящена популярному изложению начальных сведений о программировании и программном обеспечении. Рассматриваются такие основные понятия, как алгоритм, алгоритмический язык, вычислительная машина, трансляция и операционная система. СОДЕРЖАНИЕ Глава I. Об алгоритмах решения задач 1. Экономия операций 2. Обозначения 3. Повторения 4. Условия Глава II. Пример алгоритмического языка 1. О записи программ. Выражения 2....

Абрамов С.А. Элементы программирования

формат djvu
размер 1.02 МБ
добавлен 12 сентября 2011 г.

М., "Наука", 1982. - 96 с. Книга посвящена популярному изложению начальных сведений о программировании и программном обеспечении. Рассматриваются такие основные понятия, как алгоритм, алгоритмический язык, вычислительная машина, трансляция и операционная система. Для чтения книги достаточно знаний в объеме программы средней школы.

Буч Г. Объектно-ориентированное проектирование с примерами применения

формат pdf
размер 26.78 МБ
добавлен 20 июня 2010 г.

Введение. Концепции. Сложность. Объектный подход. Классы и объекты. Классификация. Методология. Система обозначений. Процесс. Традиционные методы. Применения. Smalltalk. Система домашнего отопления. Object pascal. Инструментальное средство. Разработки конструкций геометрической оптики. C++. Система регистрации ошибок в программных средствах. Common lisp object system. Система дешифрования. Ada. Система управления движением. Заключение. Приложения...

Вонг У. Основы программирования для чайников

формат pdf
размер 24.84 МБ
добавлен 30 сентября 2010 г.

4 изд. - 2008. Это одна из самых простых книг, посвященных программированию. Написанная известным автором Уоллесом Вонгом, она позволит вам сделать первые шаги в освоении премудростей написания компьютерных программ. Вы узнаете, что такое язык программирования, и какие языки программирования наиболее популярны на сегодняшний день. Отдельные части книги посвящены использованию языка программирования BASIC, использованию различных структур данных,...

Григорьев С.А., Ишанов С.А. Сравнительный курс языков программирования Fortran и С

формат pdf
размер 609.43 КБ
добавлен 28 января 2011 г.

Учебное пособие. - Калининград: Изд-во КГУ, 1998. - 94 с. Учебное пособие написано на основе курса лекций "Языки программирования и методы трансляции" и спецкурса "Язык программирования C", читавшихся авторами на математическом факультете КГУ. Пособие содержит достаточно полное описание языков С и Fortran и сравнение основных конструкций этих языков, а также языка Pascal. Отдельная глава посвящена решению практических задач на языках С, Fortran и...

Дейкстра Э. Дисциплина программирования

формат djvu
размер 2.79 МБ
добавлен 31 октября 2010 г.

Книга написана одним из крупнейших зарубежных специалистов в области программирования, известным советскому читателю по переводам его книг на русский язык (например, «Структурное программирование», «Мир», 1972). Она посвящена фундаментальным вопросам конструирования корректных и изящных программ для ЭВМ. В ней предлагается методика формального вывода программы из математической постановки задачи. При этом прослеживается развитие алгоритмов вплоть...

Картавенко М.В. Презентационные материалы к семестровому курсу лекций Информатика и программирование

формат ppt
размер 647.11 КБ
добавлен 15 августа 2010 г.

Курс рассчитан на студентов первого курса специальности 080801(2) – Прикладная информатика в психологии. Общее количество слайдов: 202. Курс содержит в себе следующие темы. Жизненный цикл программного обеспечения. Алгоритмы. Парадигмы программирования. Языки программирования. Язык программирования С++. Синтаксис языка. Абстрактные типы данных, структуры, классы.

Курсовая работа - Трансформация XML документов

Курсовая работа

формат rtf
размер 327.1 КБ
добавлен 09 ноября 2010 г.

Курсовая работа - Трансформация XML документов. 30 с. Содержание: Введение Структура XML-документа Моделирование XML-документов Documents Type Definitions (DTD) Схемы данных Иллюстрационный пример За недолгое время своего официального существования язык XML привлек к себе уже достаточно много внимания со стороны разработчиков и пользователей Интернет. Сегодня количество приверженцев этой новой технологии возрастает очень стремительно. Несм...

Реферат - Языки программирования низкого и высокого уровня. Классификация алгоритмических языков

Реферат

формат doc
размер 348 КБ
добавлен 14 октября 2010 г.

Содержание. Введение. Язык программирования. Начало развития. Классификация языков программирования. Машинно-ориентированные языки. Машинный язык. Языки символического кодирования. Автокоды. Макрос. Машинно-независимые языки. Проблемно – ориентированные языки. Универсальные языки. Диалоговые языки. Непроцедурные языки. Эволюция языков программирования. Ассемблер. Лисп. Фортран. Бейсик. Рефал. Пролог и Пролог ++. Лекс. Си. Си++. Низкоуровневый язы...

Шень А. Программирование. Теоремы и задачи

формат pdf
размер 40.64 МБ
добавлен 20 сентября 2011 г.

Год: 2004 Автор:А. Шень Издательство: М.: МЦНМО Язык: Русский Формат: PDF Количество страниц: 296 Описание: Книга содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель книги - научить основным методам построения корректных и быстрых алгоритмов. Для учителей информатики, старшеклассников, студентов младших курсов высших учебных заведений. Пособие может быть использовано на кружковых и факультативн...