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

Базы данных


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

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

Вид документа : Статья из журнала
Шифр издания : 1/В 581
Автор(ы) : Власов Д. Ю.
Заглавие : Логико-эмпирические основания математики
Серия: Проблемы логики и методология науки
Место публикации : Философия науки. - 2012. - № 4. - С.68-84. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 83-84 (11 назв. )
УДК : 1 + 510
ББК : 87.25 + 22.1
Предметные рубрики: Философия
Философия науки
Математика
Общие вопросы математики
Ключевые слова (''Своб.индексиров.''): логика--языки--верификация--компьютерные языки--логико-эмпирические основания--философские проблемы
Аннотация: Предлагается рассматривать машинную верификацию формальных доказательств, записанных на некотором компьютерном языке, как логико-эмпирическое основание математики. Анализируются возникающие при этом философские проблемы.
Найти похожие
2.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Андреева Т. А., Ануреев И. С., Бодин Е. В., Городняя Л. В., Марчук А. Г., Мурзин Ф. А., Шилов Н. В.
Заглавие : Образовательное значение классификации компьютерных языков
Серия: IT и образование
Место публикации : Прикладная информатика. - 2009. - N 6 (24). - С.18-28: 1 табл.
Примечания : Библиогр.: с. 27-28 (28 назв. )
УДК : 004.43
ББК : 32.973-018.1
Предметные рубрики: Вычислительная техника
Языки программирования
Ключевые слова (''Своб.индексиров.''): компьютерные языки--семантический подход--олимпиадные задачи--программирование
Аннотация: Проанализированы перспективы онтологического и семантического подходов к описанию парадигм компьютерных языков.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)