Поисковый запрос: <.>K=формализация<.> |
Общее количество найденных документов : 6
Показаны документы с 1 по 6 |
1. 
|
Вид документа : Однотомное издание
Шифр издания : 22.12/Г 47
Автор(ы) : Гильберт Д., Бернайс П.
Заглавие : Основания математики. Логические исчисления и формализация арифметики
Выходные данные : М.: Наука, 1979
Колич.характеристики :557 с
Цена : 2.70 р.
ББК : 22.12
Предметные рубрики: Математика
Экземпляры :Аб.2(1)
Свободны : Аб.2(1)
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 22.12/Г 47
Автор(ы) : Гильберт Д., Бернайс П.
Заглавие : Основания математики. Логические исчисления и формализация арифметики
: пер. с нем.
. -2-е изд.
Выходные данные : Б.м., 1982
Колич.характеристики :556,[4] с
Серия: Математическая логика и основания математики
Цена : 2.70 р.
ББК : 22.12
Предметные рубрики: Математика
Экземпляры : всего : Ч.з.1(5)
Свободны : Ч.з.1(5)
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 32.973.2я72/У 27
Автор(ы) : Угринович Н.Д.
Заглавие : Информатика. Базовый курс
: учеб. для 9 кл.
Выходные данные : М.: Бином, 2004
Колич.характеристики :304 с.:
ил.
ISBN, Цена 5-94774-169-5: 75.50 р.
ББК : 32.973.2я72
Предметные рубрики: Информатика-- компьютер
Экземпляры : всего 13: Ч.з.1(10), Аб.2(8)
Свободны : Ч.з.1(5), Аб.2(8)
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 81.432.1/М 63
Автор(ы) : Мирам, Геннадий
Заглавие : Алгоритмы перевода: Вступительный курс по формализации перевода
: [курс лекций]
Параллельн. заглавия :Translation algorithms: Introduction to Translation formalization
Выходные данные : Киев: Эльга; Киев: Ника- Центр, 2004
Колич.характеристики :175 с
Примечания : На англ. яз.
ISBN, Цена 966-521-287-7: 70.00 р.
ББК : 81.432.1-7
Предметные рубрики: Английский язык
Экземпляры :Аб.1(1)
Свободны : Аб.1(1)
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 74.263.2/Л 69
Заглавие : Логические задачи как форма контроля знаний
Выходные данные : М.: Образование и Информатика, 2005
Колич.характеристики :103 с
Примечания : Прилож.к журн."Информатика в школе".¦7-2005
ISBN, Цена 5-900618-52-8: 25р. р.
ББК : 74.263.2
Предметные рубрики: Методика преподавания информатики
Ключевые слова (''Своб.индексиров.''): логика--логические задачи--решение задач по эвм--программирование--текстовый процесс--графика--моделирование--формализация--пиктограммы--пособие для учителя
Экземпляры :Аб.2(1)
Свободны : Аб.2(1)
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : 74.263.2/И 74
Заглавие : Информатика в начальной школе
Выходные данные : М.: Образование и Информатика, 2008
Колич.характеристики :96 с
Серия: Информатика в школе №8-2008
ISBN, Цена 5-900618-52-8: 119.54 р.
ББК : 74.263.2-21
Предметные рубрики: Методика преподавания информатики
Экземпляры :Аб.2(1)
Свободны : Аб.2(1)
Найти похожие
|
|
|
Книги
Стандартный
Главная
Описание
