Поисковый запрос: <.>K=формализация<.> |
Общее количество найденных документов : 6
Показаны документы с 1 по 6 |
>1.
|
Вид документа : Однотомное издание Шифр издания : 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) Найти похожие
|
>2.
|
Вид документа : Однотомное издание Шифр издания : 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) Найти похожие
|
>3.
|
Вид документа : Однотомное издание Шифр издания : 74.263.2/Л 69
Заглавие : Логические задачи как форма контроля знаний
Выходные данные : М.: Образование и Информатика, 2005 Колич.характеристики :103 с
Примечания : Прилож.к журн."Информатика в школе".¦7-2005
ISBN, Цена 5-900618-52-8: 25р. р.
ББК : 74.263.2 Предметные рубрики: Методика преподавания информатики Ключевые слова (''Своб.индексиров.''): логика--логические задачи--решение задач по эвм--программирование--текстовый процесс--графика--моделирование--формализация--пиктограммы--пособие для учителя
Экземпляры :Аб.2(1) Свободны : Аб.2(1) Найти похожие
|
>4.
|
Вид документа : Однотомное издание Шифр издания : 22.12/Г 47
Автор(ы) : Гильберт Д., Бернайс П.
Заглавие : Основания математики. Логические исчисления и формализация арифметики
: пер. с нем.
. -2-е изд. Выходные данные : Б.м., 1982 Колич.характеристики :556,[4] с
Серия: Математическая логика и основания математики
Цена : 2.70 р.
ББК : 22.12 Предметные рубрики: Математика
Экземпляры : всего : Ч.з.1(5) Свободны : Ч.з.1(5) Найти похожие
|
>5.
|
Вид документа : Однотомное издание Шифр издания : 22.12/Г 47
Автор(ы) : Гильберт Д., Бернайс П.
Заглавие : Основания математики. Логические исчисления и формализация арифметики
Выходные данные : М.: Наука, 1979 Колич.характеристики :557 с
Цена : 2.70 р.
ББК : 22.12 Предметные рубрики: Математика
Экземпляры :Аб.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) Найти похожие
|
|