Поисковый запрос: (<.>U=004.43<.>) |
Общее количество найденных документов : 13
Показаны документы с 1 по 13 |
1. 
|
Вид документа : Однотомное издание
Шифр издания : 004.43/И 741
Заглавие : Информатика: Основы работы с Delphi
: метод. материал для студ. неспец. ф-тов
Выходные данные : Б.м., 2009
Колич.характеристики :83 с
Цена : Б.ц.
УДК : 004.43
ББК : 32.973-018.1
Предметные рубрики: Вычислительная техника
Языки программирования
Ключевые слова (''Своб.индексиров.''): методический материал
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 004.43/З-240
Автор(ы) : Залогова Л. А.
Заглавие : Разработка ПАСКАЛЬ-компилятора
Выходные данные : Б.м., 2009
Колич.характеристики :183 с
Цена : Б.ц.
УДК : 004.43
ББК : 32.973-018.2
Предметные рубрики: Вычислительная техника
Языки программирования
Ключевые слова (''Своб.индексиров.''): паскаль--методы компиляции--компьютерные программы
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 004.43/З-240
Автор(ы) : Залогова Л. А.
Заглавие : Разработка ПАСКАЛЬ-компилятора
Выходные данные : Б.м., 2007
Колич.характеристики :183 с
Цена : Б.ц.
УДК : 004.43
ББК : 32.973-018.2
Предметные рубрики: Вычислительная техника
Языки программирования
Ключевые слова (''Своб.индексиров.''): паскаль--методы компиляции--компьютерные программы
Найти похожие
|
4.
|
Вид документа : Статья из сборника (однотомник)
Шифр издания : 001/Л 970
Автор(ы) : Лядова Л. Н., Серый А. П.
Заглавие : Методы и средства разработки инструментария для создания языков описания трансформаций предметно-ориентированных языков
Место публикации : Актуальные проблемы математики, механики, информатики - 2012: материалы межд. науч.-метод. конф. - Пермь, 2012. - С. 136
УДК : 004.43
ББК : 32.973-018.1
Предметные рубрики: Вычислительная техника
Языки программирования
Ключевые слова (''Своб.индексиров.''): предметно-орентированные языки--инструментарий
Найти похожие
|
5.
|
Вид документа : Статья из сборника (однотомник)
Шифр издания : 004.43/Л 225
Автор(ы) : Ланин В. В.
Заглавие : О подходе к разработке предметно-ориентированного языка описания документов
Место публикации : Математика программных систем: межвуз. сб. науч. ст. . - Пермь, 2012. - С. 13-19
УДК : 004.43
ББК : 32.973-018.1
Предметные рубрики: Вычислительная техника
Языки программирования
Ключевые слова (''Своб.индексиров.''): документы--язык описания--предметная ориентация
Найти похожие
|
6.
|
Вид документа : Статья из сборника (однотомник)
Шифр издания : 004.43/Л 970
Автор(ы) : Лядова Л. Н., Сухов А.О.
Заглавие : Сравнение систем разработки визуальных предметно-ориентированных языков
Место публикации : Математика программных систем: межвуз. сб. науч. ст. . - Пермь, 2012. - С. 33-62
УДК : 004.43
ББК : 32.973-018.1
Предметные рубрики: Вычислительная техника
Языки программирования
Ключевые слова (''Своб.индексиров.''): визуальный язык--предметно-ориентированный язык
Найти похожие
|
7.
|
Вид документа : Статья из сборника (однотомник)
Шифр издания : 004.43/Л 970
Автор(ы) : Лядова Л. Н., Сухов А.О.
Заглавие : Классификация предметно-ориентированных языков и языковых инструментариев
Место публикации : Математика программных систем: межвуз. сб. науч. ст. . - Пермь, 2012. - С. 24-33
УДК : 004.43
ББК : 32.973-018.1
Предметные рубрики: Вычислительная техника
Языки программирования
Найти похожие
|
8.
|
Вид документа : Статья из журнала
Шифр издания : 004.43/Ф 531
Автор(ы) : Филимонов И. Г.
Заглавие : Язык программирования событий для управления компьютерным ЯМР-томографом
Место публикации : Вестник Пермского университета. Серия: Физика. - 1998. - Вып. 4. - С. 171-177
УДК : 004.43
ББК : 32.973-018.1
Предметные рубрики: Вычислительная техника
Языки программирования
Ключевые слова (''Своб.индексиров.''): языки программирования--ямр-томограф--ямр-томограф компьютерный--ямр-томограф компьюетрный (управление)
Найти похожие
|
9.
|
Вид документа : Статья из журнала
Шифр издания : 004.43/З-24
Автор(ы) : Залогова Л. А.
Заглавие : Формальное описание механизма логического вывода в Прологе
Место публикации : Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2014. - Вып. 4 (27). - С. 84-91
Примечания : Библиогр.: с. 90 (4 назв.)
УДК : 004.43
ББК : 32.973-018.1
Предметные рубрики: Вычислительная техника
Языки программирования
Географич. рубрики:
Ключевые слова (''Своб.индексиров.''): прологи--логическое программирование--механизмы логического вывода--поиски с возвратом--рекурсии
Аннотация: Автор статьи обосновывает целесообразность и излагает формальное описание механизма логического вывода в Прологе.
Найти похожие
|
10.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Ландик Л. В., Пестренина И. В.
Заглавие : Учебные демонстрационные программы на C++ в BORLAND C++ BUILDER 6
Серия: Информатика. Информационные системы
Место публикации : Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2018. - Вып. 4 (43). - С. 60-73. - ISSN 1993-0550
Примечания : Библиогр.: с. 73 (4 назв.)
ГРНТИ : 50
УДК : 004.43
ББК : 32.973-018.1
Предметные рубрики: Вычислительная техника
Языки программирования
Географич. рубрики:
Ключевые слова (''Своб.индексиров.''): demo-программы--графические компоненты--демонстрационные программы--языки программирования
Аннотация: Приведено несколько demo-программ на алгоритмическом языке С++ в объектно-ориентированной среде компилятора Borlayd C++ Builder 6, показывающие некоторые современные требования к программным продуктам и реализуемым возможностям.
Найти похожие
|
11.
|
Вид документа : Статья из журнала
Шифр издания : 004.43/Т 98
Автор(ы) : Тюрин С. Ф., Гончаровский О. В.
Заглавие : Программная реализация конечного автомата на языке СИ
Место публикации : Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2019. - Вып. 3 (46). - С. 86-90
Примечания : Библиогр.: с. 89 (9 назв.)
ГРНТИ : 50
УДК : 004.43
ББК : 32.973-018.1
Предметные рубрики: Вычислительная техника
Языки программирования
Географич. рубрики:
Ключевые слова (''Своб.индексиров.''): конечные автоматы--програмы на языке си--функции выходов--функции переходов
Аннотация: В статье рассматривается программная реализация автомата на языке СИ методом ПЛМ; конечный автомат описывается множествами входных, выходных символов и символов внутренних состояний.
Найти похожие
|
12.
|
Вид документа : Статья из журнала
Шифр издания : 004.43/Т 98
Автор(ы) : Тюрин С. Ф., Городилов А. Ю.
Заглавие : Особенности логического вывода в ПРОЛОГ-программах
Место публикации : Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2019. - Вып. 3 (46). - С. 91-97
Примечания : Библиогр.: с. 96 (7 назв.)
ГРНТИ : 50
УДК : 004.43
ББК : 32.973-018.1
Предметные рубрики: Вычислительная техника
Языки программирования
Географич. рубрики:
Ключевые слова (''Своб.индексиров.''): пролог--дизъюнкты--логические выводы--резольвенты--языки программирования
Аннотация: В статье на конкретном примере рассматриваются особенности логического вывода, основанного на логике предикатов и логического вывода в программе на языке ПРОЛОГ.
Найти похожие
|
13.
|
Вид документа : Статья из журнала
Шифр издания : 004.43/З-24
Автор(ы) : Залогова Л. А.
Заглавие : Принципы функционального программирования
Серия: Информатика. Информационные системы
Место публикации : Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2020. - Вып. 2 (49). - С. 54-68. - ISSN 1993-0550
Примечания : Библиогр.: с. 68 (20 назв.)
ГРНТИ : 50
УДК : 004.43
ББК : 32.973-018.1
Предметные рубрики: Вычислительная техника
Языки программирования
Географич. рубрики:
Ключевые слова (''Своб.индексиров.''): композиции функций--неизменность данных--функции высших порядков --хвостовая рекурсия--чистые функции
Аннотация: В последнее время наблюдается рост интереса к функциональному программированию. В статье рассмотрены и систематизированы принципы, характерные для различных функциональных языков программирования. Статья адресована тем, кто владеет навыками императивного программирования и желает познакомиться с концепциями функциональных языков. Для демонстрации примеров использован процедурный язык Паскаль и функциональный язык F#.
Найти похожие
|
|
|
Главная
Основная библиотечная БД
Стандартный