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

Базы данных


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

Вид поиска
Книги
Авторефераты
Аудиовизуальный фонд
Фонд редкой книги
Труды преподавателей
Периодические издания
Выпускные квалификационные работы
Область поиска
 Найдено в других БД:Периодические издания (10)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=формализация<.>
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.

Гильберт Д. Основания математики. Логические исчисления и формализация арифметики/Д. Гильберт, П. Бернайс. - 1979
2.

Гильберт Д. Основания математики. Логические исчисления и формализация арифметики/Д. Гильберт, П. Бернайс ; пер. Н. М. Нагорный ; ред. С. И. Адян. - 1982
3.

Угринович Н.Д. Информатика. Базовый курс/Н. Д. Угринович. - 2004
4.

Мирам Г. Алгоритмы перевода: Вступительный курс по формализации перевода/Г. Мирам ; [под ред. М. Даймонда]. - 2004
5.

Логические задачи как форма контроля знаний. - 2005
6.

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