Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Картотека статей - результаты поиска

Вид поиска
Электронный каталог НТГСПИ
Картотека газет и журналов
Картотека статей
Полнотекстовая база изданий НТГСПИ
Полнотекстовая база ВКР
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=компьютерные языки<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


   
    Образовательное значение классификации компьютерных языков [Текст] / Т. А. Андреева [и др. ] // Прикладная информатика. - 2009. - N 6 (24). - С. 18-28 : 1 табл. - Библиогр.: с. 27-28 (28 назв. )
УДК
^a004.43
ББК 32.973-018.1
Рубрики: Вычислительная техника
   Языки программирования
Кл.слова (ненормированные):
компьютерные языки -- семантический подход -- олимпиадные задачи -- программирование
Аннотация: Проанализированы перспективы онтологического и семантического подходов к описанию парадигм компьютерных языков.


Доп.точки доступа:
Андреева, Т. А.; Ануреев, И. С.; Бодин, Е. В.; Городняя, Л. В.; Марчук, А. Г.; Мурзин, Ф. А.; Шилов, Н. В.

Найти похожие
2.


    Власов, Д. Ю.
    Логико-эмпирические основания математики [Текст] / Д. Ю. Власов // Философия науки. - 2012. - № 4. - С. 68-84. - Библиогр.: с. 83-84 (11 назв. ) . - ISSN 1560-7488
УДК
^a1
^a510
ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
логика -- языки -- верификация -- компьютерные языки -- логико-эмпирические основания -- философские проблемы
Аннотация: Предлагается рассматривать машинную верификацию формальных доказательств, записанных на некотором компьютерном языке, как логико-эмпирическое основание математики. Анализируются возникающие при этом философские проблемы.


Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)