Поисковый запрос: (<.>KL=формализация<.>) |
Общее количество найденных документов : 25
Показаны документы с 1 по 20 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : 246282
51.01(075)+1Н212.2+017.7:1+017.7:51/И 20
Автор(ы) : Иванов, Евгений Михайлович
Заглавие : Геделевский аргумент
: учебное пособие
Выходные данные : Саратов: Научная книга, 2004
Колич.характеристики :63, [1] с
Примечания : Библиогр.
ISBN, Цена 5-93888-389-X: 35.00 р.
УДК : 130.3(075.8) + 510.2(075.8)
Предметные рубрики: философия-- философия духовной жизни
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): геделевский аргумент--искусственный интеллект--сознание--метафизика--мозг--мышление--человек и машина--геделя теорема--ум--формализация--смысл--алгоритмические проблемы
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 009387
62-50+017.7:68/С 79
Автор(ы) : Степанов, Михаил Федорович
Заглавие : Автоматическое решение формализованных задач теории автоматического управления
: автореф. дис. на соиск. учен. степ. д-ра техн. наук : 05.13.01; 05.13.18
Выходные данные : Саратов, 2004
Колич.характеристики :35, [1] с
Примечания : Библиогр.
ISBN, Цена [Б. и.]: [б. ц.]
УДК : 681.5(043.3)
Предметные рубрики: автоматика.кибернетика-- системы автоматического управления
Ключевые слова (''Своб.индексиров.''): автоматического управления теория--формализация--автоматизация проектирования--системы автоматического управления (сау)
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 934651
1Ф(4ФРГ)/H49
Автор(ы) : Heidegger, Martin
Заглавие : The Phenomenology of Religious Life
: научное издание
Выходные данные : Bloomington; Indianapolis: Undiana Univ. Press, 2004
Колич.характеристики :XV, [1], 266, [6] p.
Серия: Studies in Continental Thought
Разночтения заглавия :Загл., сост. каталогизатором: Phenomenology of Religious Life
Примечания : Bibliogr.
ISBN, Цена 0-253-34248-1: 2425.50 р.
УДК : 929Хайдеггер + 929Августин Блаженный Аврелий + 1(430)
Предметные рубрики: философия-- философия Германии --Германия, 20 в.
Ключевые слова (''Своб.индексиров.''): феноменология--экзистенциализм--религия--философия религии--персоналии--неоплатонизм--христианство--мистицизм--психология--эпистемология--метафизика--философия истории--формализация
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 923724
681.142(075)/У 27
Автор(ы) : Угринович, Николай Дмитриевич
Заглавие : Информатика и ИКТ. Базовый курс
: учеб. для 9 кл.
. -4-е изд.
Выходные данные : Москва: БИНОМ. Лаб. знаний, 2006
Колич.характеристики :320 с.:
ил.
Серия: Информатика
Примечания : Допущено М-вом образования и науки Рос. ФедерацииЗагл. обл.: Угринович Н. Базовый курс, 9
ISBN (в пер.), Цена 5-94774-225-X: 85.70 р.
УДК : 004(075.3)
Предметные рубрики: вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): информатика--информационные технологии--компьютеры--информация--кодирование информации--обработка информации--алгоритмизация--программирование--моделирование--формализация--коммуникационные технологии--информатизация общества
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 556235
681.142(075)/У 27
Автор(ы) : Угринович, Николай Дмитриевич
Заглавие : Информатика и информационные технологии. 10-11 классы
: учебник
. -3-е изд.
Выходные данные : Москва: БИНОМ. Лаб. знаний, 2006
Колич.характеристики :511, [1] с.:
ил.
Серия: Информатика
Примечания : Допущено М-вом образования Рос. Федерации в качестве учеб. по информатике для учащихся 10-11 кл. естеств.-мат. профиля общеобразоват. учреждений
ISBN (в пер.), Цена 5-94774-445-7: 110.00 р.
УДК : 004(075.3)
Предметные рубрики: вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): информатика--информационные технологии--компьютеры--информация--кодирование информации--программное обеспечение--логика--программирование--алгоритмизация--формализация--коммуникационные технологии--информатизация общества
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : 033779
681.142(07)/Б 57
Автор(ы) : Бешенков, Сергей Александрович, Ракитина, Елена Александровна
Заглавие : Моделирование и формализация
: метод. пособие
Выходные данные : Москва: БИНОМ. Лаб. Базовых Знаний, 2002
Колич.характеристики :333, [3] с.:
рис.
Серия: Информатика
Примечания : Библиогр.: с. 331-333
ISBN, Цена 5-93208-117-1: 99.00 р.
УДК : 004(072.8)
Предметные рубрики: вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): информатика--информационное моделирование--формализация
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : 876571
Автор(ы) : Угринович, Николай Дмитриевич
Заглавие : Информатика и ИКТ
: учеб. для 9 кл.
Выходные данные : Москва: БИНОМ. Лаб. знаний, 2008
Колич.характеристики :295, [9] с.:
рис.
ISBN (в пер.), Цена 978-5-94774-852-9: 100.00 р.
УДК : 004(075.3)
Предметные рубрики: вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): информатика--информационные технологии--компьютеры--информация--кодирование информации--обработка информации--алгоритмизация--программирование--моделирование--формализация--коммуникационные технологии--информатизация общества
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : 32.97я72/У27-346294
Автор(ы) : Угринович Н. Д.
Заглавие : Информатика и ИКТ. Базовый курс
: учеб. для 9 кл. общеобразоват. учреждений
. -2-е изд., испр. и доп.
Выходные данные : Москва: БИНОМ, 2005
Колич.характеристики :320 с.:
ил.
ISBN (в пер.), Цена 5-94774-225-Х: 94.60 р.
УДК : 004(075.3)
Предметные рубрики: вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): информатика--программирование--коммуникационные технологии--информационные технологии--компьютеры--информация--кодирование информации--обработка информации--алгоритмизация--моделирование--формализация--информатизация общества
Аннотация: Большое внимание уделяется формированию у учащихся алгоритмического и системного мышления, а также практических умений и навыков в области информационных технологий.
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : 32.97я72/У27-793928
Автор(ы) : Угринович Н. Д.
Заглавие : Информатика и информационные технологии
: учеб. для 10-11 кл. общеобразоват. учреждений
. -2-е изд.
Выходные данные : Москва: БИНОМ, 2005
Колич.характеристики :511 с.:
ил.
ISBN (в пер.), Цена 5-94774-189-Х: 134.20 р.
УДК : 004(075.3)
Предметные рубрики: вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): информатика--коммуникационные технологии--информационные технологии--компьютеры--информация--кодирование информации--программное обеспечение--логика--программирование--алгоритмизация--формализация--информатизация общества
Аннотация: Особое внимание уделено изучению объектно-ориентированного программирования на языке Visual Basic, основ логики, систем счисления и коммуникационных технологий.
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 681.3(075)/И 74
Заглавие : Информатика
: Учеб. пособие
Выходные данные : Ростов н/Д: Феникс, 2003
Колич.характеристики :448 с.:
ил.; 21 см
Серия: Учебники, учебные пособия
Примечания : Рекомендовано М-вом образования РФ
ISBN, Цена 5-222-02513-6: 89.00 р.
ГРНТИ : 50.01.33
УДК : 681.3:002.5/6(075.3)
ББК : 32.97
Предметные рубрики: Вычислительная техника-- Информатика
Ключевые слова (''Своб.индексиров.''): вычислительная техника--информатика--кодирование информации--компьютер--моделирование--формализация--алгоритмизация--программирование--информационные технологии
Аннотация: Содержит теоретический и практический материалы, выводы по каждому разделу и контрольные вопросы для самостоятельной проверки усвоения материала обучающимися.
Найти похожие
|
11.
|
Вид документа : Однотомное издание
Шифр издания : 621.9/С 77
Автор(ы) : Старостин В. Г., Лелюхин В. Е.
Заглавие : Формализация проектирования процессов обработки резанием
Выходные данные : М.: Машиностроение, 1986
Колич.характеристики :136 с.:
ил.; 21см
Серия: Б-ка технолога
Цена : 0.45 р.
ГРНТИ : 55.19
УДК : 621.91.01
ББК : 34.631
Предметные рубрики: Обработка материалов-- Обработка резанием
Ключевые слова (''Своб.индексиров.''): формализация--обработка резанием--технологические процессы--шероховатость поверхности--заготовки
Аннотация: Рассмотрены вопросы технологического обеспечения автоматизированного проектирования процесса обработки резанием, изложены методика и приемы формализованного решения технологических задач и синтеза технологических процессов.
Найти похожие
|
12.
|
Вид документа : Однотомное издание
Шифр издания : 681.3(075)/М 75
Автор(ы) : Молодцов В. А., Рыжикова Н. Б., Головко Т. Г.
Заглавие : Репетитор по информатике
: Учеб. пособие
Выходные данные : Ростов н/Д: Феникс, 2004
Колич.характеристики :480 с.:
ил.; 21 см
Примечания : Библиогр.: с. 462-465 (41 назв.). - На обл. авт. не указаны
ISBN, Цена 5-222-04253-7: 127.00 р.
ГРНТИ : 50.01.33
УДК : 681.3:002.5/6(075)
ББК : 32.97
Предметные рубрики: Вычислительная техника-- Информатика
Ключевые слова (''Своб.индексиров.''): вычислительная техника--информатика--компьютер--персональный компьютер--программное обеспечение--алгоритмизация--программирование--моделирование--формализация--информационная безопасность--информационные технологии
Аннотация: Приводятся теоретические сведения по всем темам базового курса информатики. Рассмотрены различные методы решения задач.
Найти похожие
|
13.
|
Вид документа : Однотомное издание
Шифр издания : 621.0/Ф 95
Автор(ы) : Фурунжиев Р. И., Гугля В. А.
Заглавие : САПР, или как ЭВМ помогает конструктору
Выходные данные : Минск: Вышэйшая школа, 1987
Колич.характеристики :205 с.:
ил.; 17 см
Примечания : Предм. указ.: с. 203-205
Цена : 0.30 р.
ГРНТИ : 50.51
УДК : 621.0012:658.512.22
ББК : 34.42
Предметные рубрики: Организация производства-- Системы автоматизированного проектирования
Ключевые слова (''Своб.индексиров.''): системы автоматизированного проектирования--автоматизация--проектное решение--интерполяция--экстремум--конструктор--подсистема--дилемма--формализация
Аннотация: В популярной форме рассказывается об основах конструкторских САПР машиностроения. Анализируются состояние и перспективы развития средств автоматизации проектирования у нас в стране и за рубежом.
Найти похожие
|
14.
|
Вид документа : Однотомное издание
Шифр издания : 007(03)/П 24
Автор(ы) : Пекелис В. Д.
Заглавие : Кибернетика от А до Я
: Маленькая энциклопедия
Выходные данные : М.: Дет. лит., 1990
Колич.характеристики :479 с.:
ил.; 27 см
Серия: Библиотечная серия
ISBN, Цена 5-08-000951-9: 2.00 р.
ГРНТИ : 28.01.33
УДК : 007(03)
ББК : 32.81
Предметные рубрики: Кибернетика
Ключевые слова (''Своб.индексиров.''): шифрование--формализация--кибернетика--информатика
Найти похожие
|
15.
|
Вид документа : Однотомное издание
Шифр издания : 66/А 67
Автор(ы) : Анищенко Л. М., Лавренюк С. Ю.
Заглавие : Математические основы проектирования высокотемпературных технологических процессов
: научное издание
Выходные данные : М.: Наука, 1986
Колич.характеристики :80 с.:
ил.; 20 см
Серия: Проблемы науки и технического прогресса
Примечания : Библиогр.: с. 77
Цена : 0.70 р.
ГРНТИ : 61.13
УДК : 66
Предметные рубрики: Химическая промышленность-- Химическая технология
Ключевые слова (''Своб.индексиров.''): технологические процессы--математические методы--формализация--основы синтеза
Аннотация: Рассмотрены математические методы, применяемые при использовании ЭВМ для проектирования высокотемпературных технологических процессов.
Найти похожие
|
16.
|
Вид документа : Однотомное издание
Шифр издания : 657/Р 28
Автор(ы) : Рашитов Р. С.
Заглавие : Логико-математическое моделирование в бухгалтерском учете
: научное издание
Выходные данные : М.: Финансы, 1979
Колич.характеристики :128 с.:
табл.; 20 см
Цена : 0.40 р.
ГРНТИ : 06.81.85
УДК : 657
Предметные рубрики: Учет и отчетность-- Бухгалтерский учет
Ключевые слова (''Своб.индексиров.''): отчетность--система счетов--логико-математическое моделирование--формализация--теоретико-методологические проблемы
Аннотация: В монографии рассматриваются теоретико-методологические проблемы бухгалтерского учета и пути их разрешения. Описываются конкретный опыт логико-математической формализации бухгалтерского учета, обслуживаются различные его концепции в условиях применения ЭВМ. Ряд предложений автора имеет дискуссионный характер.
Найти похожие
|
17.
|
Вид документа : Однотомное издание
Шифр издания : 657/Р 28
Автор(ы) : Рашитов Р. С., Мишин К. Ф., Бочков Н. И.
Заглавие : Машинная обработка учетно-статистической информации
: научное издание
Выходные данные : Л.: Изд-во Ленингр. ун-та, 1979
Колич.характеристики :208 с.:
ил., табл.; 20 см
Коллективы :
М-во высш. и сред. спец. образования РСФСР (Москва)
Цена : 1.06 р.
ГРНТИ : 06.81.85
УДК : 657.26
Предметные рубрики: Учет и отчетность-- Бухгалтерский учет
Ключевые слова (''Своб.индексиров.''): логико-математические модели--учетно-статистическая информация--формализация--алгоритмизация
Аннотация: Монография посвящена вопросам формализации, алгоритмизации и программирования обработки учетно-статистической информации. В ней излагаются основы логико-математической формализации бухгалтерского учета, специальная методика построения алгоритмов, а также конкретные системы автоматизации обработки учетно-статистической информации.
Найти похожие
|
18.
|
Вид документа : Однотомное издание
Шифр издания : 1М/С 41
Автор(ы) : Сичивица О. М.
Заглавие : Методы и формы научного познания
: научное издание
Выходные данные : М.: Высшая школа, 1972
Колич.характеристики :95 с.
; 20 см
Цена : 0.19 р.
ГРНТИ : 02.15
УДК : 1М7
Предметные рубрики: Философия-- Общефилософские проблемы
Ключевые слова (''Своб.индексиров.''): методы научного познания--методы эмпирического исследования--методы теоретического исследования--формы научного познания--абстрагирование--идеализация--формализация--аксиоматический метод
Аннотация: Все многообразие методов и форм научного познания предстало перед нами как достаточно определенно очерченная система. Типология методов базируется здесь на учете степени их общности и места в познавательном процессе. За этим фактически стоит различная роль тех или иных методов научного познания.
Найти похожие
|
19.
|
Вид документа : Однотомное издание
Шифр издания : 1М/М 69
Автор(ы) : Михайлова И. Б
Заглавие : Чувственное отражение в современном научном познании
: монография
Выходные данные : М.: Мысль, 1972
Колич.характеристики :279 с.
; 20 см
Цена : 1.10 р.
ГРНТИ : 02.15
УДК : 1М7
Предметные рубрики: Философия-- Общефилософские проблемы
Ключевые слова (''Своб.индексиров.''): научное познание--чувственное отражение--сущность--диалектика--формализация--гносеология
Аннотация: В монографии исследуется сущность и роль чувственного отражения в познании и практическом преобразовании окружающего мира. На основе последних достижений психологии, физиологии, кибернетики рассматриваются структура форм чувственного отражения, механизмы создания и функционирования чувственных образов.
Найти похожие
|
20.
|
Вид документа : Однотомное издание
Шифр издания : 338/Ж 59
Автор(ы) : Жеребин В. М., Мальцев В. Н., Совалов М. С.
Заглавие : Экономические информационные системы
: рационализация проектирования
Выходные данные : М.: Изд-во "Наука", 1978
Колич.характеристики :200 с.:
ил.; 21 см
Коллективы :
Центр. экономико-мат. ин-т, Акад. наук СССР
Серия: Проблемы советской экономики
Примечания : Библиогр.: с. 195-198 (89 назв.)
Цена : 1.40 р.
ГРНТИ : 06.75
УДК : 338-50
Предметные рубрики: Экономика-- Экономическая информация
Ключевые слова (''Своб.индексиров.''): информационные системы--формализация--типизация--автоматизация--прикладные программы
Аннотация: В работе раскрывается понятие экономической информационной системы. На фоне обобщенной методологии построения систем рассматриваются наиболее перспективные направления рационализации проектирования, такие, как формализация, типизация и автоматизация.
Найти похожие
|
|
|
|
Электронный каталог
Стандартный (по одному полю)