Поисковый запрос: <.>K=формализация<.> |
Общее количество найденных документов : 40
Показаны документы с 1 по 30 |
|
1. 
|
Пальчунов, Д. Е.
Моделирование мышления и формализация рефлексии. Теоретико-модельная формализация онтологии и рефлексии / Д. Е. Пальчунов // Философия науки. - 2006. - N 4. - С. . 86-114. - Библиогр.: с. 112-114 (27 назв. )
ББК 87.21 + 88.4
Рубрики: Философия--Метафизика. Онтология
Психология--Отраслевая психология
Кл.слова (ненормированные):
интеллектуальная деятельность -- компьютерное моделирование -- онтология предметной области -- рефлексия (понятие) -- сознание (понятие) -- теоретико-модельный подход (психология) -- формализация психологических процессов -- язык восприятия -- язык сознания
Найти похожие
|
2.
|
Кузнецов, А. А.
Информатика : Избранные главы учебника для VIII класса общеобразовательной школы / А. А. Кузнецов, С. А. Бешенков, Е. А. Ракитина // Информатика и образование. - 2006. - N 12. - С. . 38-52
ББК 74.263.2
Рубрики: Образование. Педагогика--Методика преподавания учебных предметов
Кл.слова (ненормированные):
информатика в школе -- моделирование -- формализация -- электронные таблицы -- информационные модели -- 8 класс
Доп.точки доступа:
Бешенков, С. А.; Ракитина, Е. А.
Найти похожие
|
3.
|
Моисеев, С. (канд. экон. наук).
Формализация макроэкономики и ее последствия для денежно-кредитной политики / С. Моисеев // Вопросы экономики. - 2007. - N 2. - С. . 46-58. - Библиогр. в подстроч. ссылках
ББК 65.01
Рубрики: Экономика--Общая экономическая теория--Финансы, 21 в. нач.
Кл.слова (ненормированные):
макроэкономика -- денежно-кредитная политика -- финансовая политика -- банки -- банковская деятельность -- инфляция -- макроэкономическая политика
Найти похожие
|
4.
|
Зенкина, С. В.
Формализация процесса обучения студентов естественнонаучных специальностей в информационно-коммуникационной среде / С. В. Зенкина // Информатика и образование. - 2007. - N 1. - С. . 114-116. - Библиогр.: с. 116 (3 назв. )
ББК 74.58
Рубрики: Образование. Педагогика--Высшее профессиональное образование
Кл.слова (ненормированные):
процесс обучения -- студенты естественнонаучных специальностей -- информационно-коммуникационная среда -- компьютерные учебные программы -- компьютеризация обучения -- информационные технологии обучения
Найти похожие
|
5.
|
Мясникова, О. К.
Моделирование и формализация в курсе информатики / О. К. Мясникова // Информатика и образование. - 2003. - N 9. - С. . 5-11. - Продолжение следует
ББК 74.26
Рубрики: Образование. Педагогика--Методика преподавания учебных предметов
Кл.слова (ненормированные):
информатика в школе -- моделирование в информатике -- старшие классы -- формализация в информатике
Найти похожие
|
6.
|
Мясникова, О. К.
Моделирование и формализация в курсе информатики / О. К. Мясникова // Информатика и образование. - 2003. - N 10. - С. . 25-31. - Продолжение. Нач.: Информатика и образование.-2003.-N 9
ББК 74.26
Рубрики: Образование. Педагогика--Методика преподавания учебных предметов
Кл.слова (ненормированные):
информатика в школе -- моделирование в информатике -- старшие классы -- формализация в информатике
Найти похожие
|
7.
|
Мясникова, О. К.
Моделирование и формализация в курсе информатики / О. К. Мясникова // Информатика и образование. - 2003. - N 11. - С. . 18-25. - Продолжение. Начало: Информатика и образование.-2003.-ь 9,10
ББК 74.26
Рубрики: Образование. Педагогика--Методика преподавания учебных предметов
Кл.слова (ненормированные):
информатика в школе -- математическое моделирование -- моделирование (информатика) -- старшие классы -- формализация (информатика)
Найти похожие
|
8.
|
Мясникова, О. К.
Моделирование и формализация в курсе информатики / О. К. Мясникова // Информатика и образование. - 2003. - N 12. - С. . 23-37. - Продолжение. Нач.: N 9-11,2003
ББК 74.26
Рубрики: Образование. Педагогика--Методика преподавания учебных предметов
Кл.слова (ненормированные):
имитационное моделирование -- информатика в школе -- математическое моделирование -- моделирование (информатика) -- моделирование физических процессов -- старшие классы -- формализация (информатика)
Найти похожие
|
9.
|
Мясникова, О. К.
Моделирование и формализация в курсе информатики / О. К. Мясникова // Информатика и образование. - 2004. - N 1. - С. . 47-55. - Библиогр.: 11 назв. - Окончание. Начало: 2003, N 9-12
ББК 74.26
Рубрики: Образование. Педагогика--Методика преподавания учебных предметов
Кл.слова (ненормированные):
задачи -- информатика в школе -- моделирование (информатика) -- старшие классы -- формализация (информатика) -- экологические задачи
Найти похожие
|
10.
|
Бешенков, С. А. (доктор пед. наук).
Еще раз о формализации и моделировании в курсе информатики / С. А. Бешенков // Информатика и образование. - 2005. - N 3. - С. . 16-18. - Библиогр.: 8 назв.
ББК 74.26
Рубрики: Образование. Педагогика--Методика преподавания учебных предметов
Кл.слова (ненормированные):
информатика в школе -- учебные курсы -- учебные дисциплины -- курс информатики -- формализация (информатика) -- моделирование (информатика) -- информационный объект
Найти похожие
|
11.
|
Пустобаев, В. П. (д-р пед. наук).
Формализация элементов диагностики знаний учащихся / В. П. Пустобаев, М. Ю. Саяпин // Информатика и образование. - 2005. - N 7. - С. . 120-123
ББК 74с
Рубрики: Образование. Педагогика--Применение вычислительной техники в педагогике
Кл.слова (ненормированные):
знания -- диагностика знаний -- знания учащихся -- элементы диагностики -- компьютерные тесты -- контроль знаний -- оценка знаний -- тестирование учащихся
Доп.точки доступа:
Саяпин, М. Ю.
Найти похожие
|
12.
|
Крыштановская, Крыштановская Ольга Викторовна (кандидат философских наук).
Бывшие. Тенденции нисходящей мобильности российской элиты / О. В. Крыштановская // Общественные науки и современность. - 2003. - N 5. - С. . 33-39. - Библиогр.: c. 39
ББК 60.54
Рубрики: Социология--Социология групп, 20 в.
Россия
Кл.слова (ненормированные):
де-капитализация -- де-формализация -- нисходящая мобильность -- правящая элита -- стратификация -- экскарцерация -- экскорпорация
Найти похожие
|
13.
|
Пальчунов, Д. Е.
Моделирование мышления и формализация рефлексии. Теоретико-модельная формализация онтологии и рефлексии / Д. Е. Пальчунов // Философия науки. - 2006. - N 4. - С. . 86-114. - Библиогр.: с. 112-114 (27 назв. )
ББК 87.21 + 88.4
Рубрики: Философия--Метафизика. Онтология
Психология--Отраслевая психология
Кл.слова (ненормированные):
интеллектуальная деятельность -- компьютерное моделирование -- онтология предметной области -- рефлексия (понятие) -- сознание (понятие) -- теоретико-модельный подход (психология) -- формализация психологических процессов -- язык восприятия -- язык сознания
Найти похожие
|
14.
|
Бобков, С.
Формализация понятия "информационный продукт" / С. Бобков, А. Власов, А. Иоффе // Информационные ресурсы России. - 2005. - N 6. - С. . 17-18. - Библиогр.: с. 18 (8 назв. )
Рубрики: Научно-информационная деятельность--Общие вопросы научно-информационной деятельности
Кл.слова (ненормированные):
информационные продукты -- информационное общество -- инновационные информационные продукты
Доп.точки доступа:
Власов, А.; Иоффе, А.
Найти похожие
|
15.
|
Непомнящая, Т. (канд. юрид. наук).
Формализация назначения наказания / Татьяна Непомнящая // Уголовное право. - 2006. - N 4. - С. . 47-51
ББК 67.408
Рубрики: Право--Уголовное право
Кл.слова (ненормированные):
формализация назначения наказания -- наказание (право) -- формализация наказания -- назначение наказания
Найти похожие
|
16.
|
Непомнящая, Т. (канд. юрид. наук).
Формализация назначения наказания / Татьяна Непомнящая // Уголовное право. - 2006. - N 4. - С. . 47-51
ББК 67.408
Рубрики: Право--Уголовное право
Кл.слова (ненормированные):
формализация назначения наказания -- наказание (право) -- формализация наказания -- назначение наказания
Найти похожие
|
17.
|
Воробьев, Григорий Алексеевич.
Структуризация содержания обучения / Г. А. Воробьев, В. Н. Малыш // Высшее образование сегодня. - 2007. - N 5. - С. . 60-62. - Библиогр.: с. 62. - Ил.: 3 фот.
ББК 74.202
Рубрики: Образование. Педагогика--Теория и методика обучения
Кл.слова (ненормированные):
обучение -- содержание обучения -- структуризация содержания -- компоненты содержания -- модели структуризации -- педагогические знания -- формализация представления
Доп.точки доступа:
Малыш, Владимир Николаевич
Найти похожие
|
18.
|
Овчинникова, К. (доц.).
Электронный учебник как модель образовательного процесса / К. Овчинникова // Высшее образование в России. - 2007. - N 9. - С. . 101-105
ББК 74.58 + 74с
Рубрики: Образование. Педагогика--Высшее профессиональное образование--Применение вычислительной техники в педагогике, 21 в. нач.
Россия
Найти похожие
|
19.
|
Гончаров, В. В.
Понятие государственной власти и его формализация в законодательстве Российской Федерации [Текст] / Гончаров В. В. // История государства и права. - 2008. - N 16. - С. 11-13. - Библиогр. в примеч.
. - ISSN 1812-3805ББК 67.0 + 67.0
Рубрики: Право
Общая теория права
Кл.слова (ненормированные):
государственная власть -- публичная власть -- теория власти
Аннотация: В статье дано определение понятия "государственная власть" с философской и общесоциологической позиции.
Найти похожие
|
20.
|
Горшенин, А. Ю. (канд. техн. наук; доц.).
Формализация нормативно-правового регулирования в образовательных системах на основе стандартов IDEF [Текст] / А. Ю. Горшенин // Право и образование. - 2007. - N 11. - С. 19-29. - Библиогр.: с. 29 (10 назв. )
. - ISSN 1563-020ХББК 74.04
Рубрики: Образование. Педагогика
Организация образования
Кл.слова (ненормированные):
стандарты IDEF -- IDEF стандарты -- Болонский процесс -- образовательные стандарты -- образовательные технологии -- новые образовательные технологии -- моделирование систем -- программное обеспечение -- управление образовательными процессами -- образовательные системы -- нормативно-правовое регулирование -- правовое регулирование -- образовательное право
Аннотация: Управление образовательными системами на основе стандартов IDEF.
Найти похожие
|
21.
|
Самойлова, Лора.
Формализация выплаты накоплений [Текст] / Лора Самойлова // Социальная защита. - 2008. - N 4 (192) ; Пенсионное обеспечение. - 2008. - N 4 (137). - С. 13-16
ББК 67.405.2 + 65.272
Рубрики: Право
Право социального обеспечения
Экономика
Социальное страхование. Социальное обеспечение
Кл.слова (ненормированные):
пенсионные накопления -- правопреемники -- формы документов -- пенсионное страхование
Аннотация: Об обязательных пенсионных накоплениях, которые в случае смерти застрахованного лица до назначения накопительной части трудовой пенсии выплачиваются его наследникам.
Найти похожие
|
22.
|
Прусакова, О. А.
Формирование навыков анализа и синтеза при изучении темы "Моделирование и формализация" на уроках информатики [Текст] / О. А. Прусакова // Информатика и образование. - 2009. - N 3. - С. 125-126
. - ISSN 0234-0453ББК 74.26
Рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Кл.слова (ненормированные):
анализ (информатика) -- информатика в школе -- компьютерное моделирование -- понятие модели (информатика) -- синтез -- уроки по информатике
Аннотация: В процессе обучения важное место занимает формирование конструктивно-оперативных навыков у учащихся. Основу конструктивно-оперативных навыков составляют умения анализа и синтеза, сравнения, обобщения и классификации, определения понятий. В статье более подробно рассмотрено формирование навыка анализа и синтеза.
Найти похожие
|
23.
|
Губанова, О. М. (старший преподаватель кафедры информатики и методики преподавания информатики Пензенского государственного педагогического университета им. В. Г. Белинского).
Методика обучения линии моделирования и формализации в курсе теории и методики обучения информатике педагогических вузов [Текст] / О. М. Губанова // Наука и школа. - 2009. - N 2. - С. 59-60. - Библиогр.: с. 60 (1 назв. )
. - ISSN 1819-463ХББК 74.202 + 74.202
Рубрики: Образование. Педагогика
Теория и методика обучения
Кл.слова (ненормированные):
моделирование -- формализация -- информатика
Аннотация: В статье исследуется актуальная на данном этапе современного педагогического образования проблема формирования компетентности в области моделирования и формализации. Автором определяется само понятие "компетентность", выделяются составляющие указанной компетентности.
Найти похожие
|
24.
|
Науменко, Л. К.
Эвристический потенциал диалектической теории мышления [Текст] / Л. К. Науменко // Вопросы философии. - 2009. - N 6. - С. 60-71
. - ISSN 0042-8744ББК 87.21
Рубрики: Философия
Метафизика. Онтология
Кл.слова (ненормированные):
мышление (философия) -- диалектика -- реальность (философия) -- теория отражения (философия) -- формализация (философия) -- нелинейная логика -- теория идеального
Аннотация: Рассматривая идеи Э. В. Ильенкова, автор статьи предлагает на обсуждение гипотезу о существовании и способе решения таких проблем, которые требуют пересмотра некоторых исходных допущений классической диалектики.
Доп.точки доступа:
Ильенков, Эвальд Васильевич (советский философ ; 1924-1979) \э. В.\
Найти похожие
|
25.
|
Клименко, А. И.
Либерализация политически организованного общества как функция правовой идеологии [Текст] / Клименко А. И. // История государства и права. - 2010. - N 6. - С. 38-41. - Библиогр. в примеч.: с. 41 (12 назв. )
. - ISSN 1812-3805ББК 67.0 + 67.0
Рубрики: Право
Общая теория права
Кл.слова (ненормированные):
либеральная идеология -- общественные отношения -- правовая идеология -- социалистическая идеология -- социальный статус -- формализация общественных отношений
Аннотация: В работе проводится анализ роли правовой идеологии в формализации общественных отношений. Рассматривается ее воздействие на общественные отношения, которое заключается в трансформации функции субъектов общественных отношений в статус.
Найти похожие
|
26.
|
Минькович, Т. В. (канд. пед. наук).
Формализованное представление методов обучения [Текст] / Т. В. Минькович // Педагогика. - 2010. - N 1. - С. 47-54. - Библиогр.: с. 54 (5 назв. )
. - ISSN 0869-561ХББК 74.202
Рубрики: Образование. Педагогика--Россия
Теория и методика обучения
Кл.слова (ненормированные):
МСО -- методическая система обучения -- структура МСО -- модель МСО -- информационная модель -- методическая деятельность -- формализация методической деятельности -- методические продукты -- объекты модели МСО -- методы обучения -- классификации методов обучения -- классы методов обучения -- приемы обучения
Аннотация: Представлен опыт создания модели методической системы обучения на основе методологии объектно-ориентированного проектирования. Главная тема - формализация знаний о методах обучения.
Найти похожие
|
27.
|
Третьякова, Ш. К.
Логический анализ фольклорного текста [Текст] : (на примере сказочного сюжета "Кто самый сильный? ") / Ш. К. Третьякова // Вестник Томского государственного университета. Философия. Социология. Политология. - 2009. - N 2 (6). - С. 82-88. - Библиогр.: с. 88 (8 назв. )
. - ISSN 1998-863XББК 87.4
Рубрики: Логика
Общие вопросы логики
Кл.слова (ненормированные):
фольклорные тексты -- сказки -- логический анализ -- логическая структура -- формализация
Аннотация: Анализируется текст якутской народной сказки с точки зрения ее логической структуры.
Найти похожие
|
28.
|
Можаров, М. С.
О развитии содержательной линии "Моделирование и формализация" в школьном курсе "Информатика и ИКТ" [Текст] / М. С. Можаров, С. Д. Коткин // Информатика и образование. - 2010. - N 4. - С. 95-100
. - ISSN 0234-0453ББК 74.26
Рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Кл.слова (ненормированные):
моделирование -- уроки -- ИКТ-компетентность -- модели -- формализация -- школьные курсы -- языки представления -- информатика -- информационно-коммуникативная компетентность -- методика преподавания
Аннотация: Авторы рассматривают вопросы развития содержательной линии "Моделирование и формализация" с точки зрения изучения языка представления моделей.
Доп.точки доступа:
Коткин, С. Д.
Найти похожие
|
29.
|
Маркин, Владимир Ильич (доктор философских наук, профессор).
Формальные реконструкции силлогистики Венна [Текст] / В. И. Маркин // Вестник Московского университета. Сер. 7, Философия. - 2011. - N 1. - С. 63-73. - Библиогр.: с. 73
. - ISSN 0201-7385ББК 87.4
Рубрики: Логика
Общие вопросы логики
Кл.слова (ненормированные):
силлогистика -- исчисление (логика) -- семантика -- формализация -- силлогистика Венна -- Венна силлогистика -- погружающая операция (логика) -- силлогистические константы
Аннотация: Рассмотрены две различные формализации силлогистики Джона Венна с пятью нестандартными исходными силлогистическими константами. Установлено, что в обоих силлогистических исчислениях доказуемы одни и те же силлогизмы и правила обращения.
Доп.точки доступа:
Венн, Д.
Найти похожие
|
30.
|
Лановая, Галина Михайловна (кандидат юридических наук).
Отличительные признаки современного права [Текст] / Г. М. Лановая // Право и образование. - 2011. - N 5. - С. 70-76. - Библиогр.: с. 75 (9 назв. )
. - ISSN 1563-020XББК 67.0
Рубрики: Право
Общая теория права
Кл.слова (ненормированные):
теория права -- правовые традиции -- правовые системы -- юридизация права -- формализация права -- правовая идеология
Аннотация: Уточнение смысла и содержания категории "современного права".
Найти похожие
|
|
|
|
Каталог книг
Стандартный
Главная
Описание