| начало | написать нам | в избранное | сделать стартовой |
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ ОБНОВЛЕННОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!!

Базы данных


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

Вид поиска

Область поиска
 Найдено в других БД:Электронный каталог СарМИОН (2)Саратовские издания (2)Публикации учёных СГУ (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=формализация<.>)
Общее количество найденных документов : 11
Показаны документы с 1 по 11
1.
A867648-ОХФ, A867649-ОХФ-ЧЗ-3, A867650-ОХФ, A867651-ОХФ, A867652-ОХФ, A871527-ОХФ, A890410-ОХФ-МИОН
    Толстова, Юлиана Николаевна.
    Измерение в социологии [Текст] : курс лекций / Ю. Н. Толстова. - Москва : Инфра-М, 1998. - 222 с. - (Высшее образование, ISSN Б. и.). - Библиогр. - ISBN 5-86225-807-8 : 35.00 р.
УДК
Рубрики:
социология -- социологические исследования
Кл.слова (ненормированные):
социологические методы -- формализация -- Терстоуна метод -- парных сравнений метод -- тестирование -- психосемантические методы -- измерения в социологии -- социологические исследования

Найти похожие
2.
A477479-ОХФ, A507130-ОХФ, A507626-ОХФ, A507630-ОХФ, A873322-ОХФ
   Гильберт, Давид

    Основания математики [Текст] : [в 2 т.] / Д. Гильберт, П. Бернайс. - Москва : Наука. Гл. ред. физ.-мат. лит. - (Математическая логика и основания математики).
   [Т. 1] : Логические исчисления и формализация арифметики. - Москва : Наука. Гл. ред. физ.-мат. лит., 1979. - 557, [3] с. - ISBN [Б. и.] (в пер.) : 35.00 р.
УДК
Рубрики:
математика -- математическая логика
Кл.слова (ненормированные):
математическая логика -- исчисления высказываний -- рекурсии


Доп. точки доступа:
Бернайс, Пауль
Найти похожие
3.
A874119-ОХФ
   
    Социальные системы: Формализация и компьютерное моделирование [Текст] : учеб. пособие / А. К. Гуц, В. В. Коробицын, А. А. Лаптев. - Омск : Изд. Омск. ун-та, 2000. - 159, [1] с. - Библиогр. - ISBN [Б. и.] : 35.00 р.
УДК
Рубрики:
социология -- социальная структура общества
Кл.слова (ненормированные):
социальные системы -- компьютерное моделирование -- личность -- индивид -- окружающая среда -- межличностные отношения -- гендер -- семья -- этногенез -- общество -- глобальные проблемы человечества -- этносы -- мировая система


Доп. точки доступа:
Гуц, Александр Константинович
Коробицын, В. В.
Лаптев, Александр Анатольевич
Найти похожие
4.
A884402-ОХФ, A884403-ОХФ
    Иванов, Евгений Михайлович.
    Генделевский аргумент [Текст] : (Учеб. пособ.) / Евгений Михайлович Иванов. - Саратов : Науч. кн., 2004. - 63, [1] с. - Библиогр. - ISBN 5-93888-389-X : 35.00 р.
УДК
Рубрики:
философия -- философия духовной жизни
математика -- математическая логика
Кл.слова (ненормированные):
геделевский аргумент -- искусственный интеллект -- сознание -- метафизика -- мозг -- мышление -- человек и машина -- Геделя теорема -- ум -- формализация -- смысл -- алгоритмические проблемы

Держатели документа:
ЗНБ СГУ
Найти похожие
5.
A950467-ОХФ
    Степанов, Михаил Федорович.
    Автоматическое решение формализованных задач теории автоматического управления [Текст] : автореф. дис. на соиск. учен. степ. д-ра техн. наук : 05.13.01; 05.13.18 / М. Ф. Степанов ; . - Саратов : [б. и.], 2004. - 35, [1] с. - Библиогр. - ISBN [Б. и.] : [б. ц.]
УДК
Рубрики:
автоматика.кибернетика -- системы автоматического управления
Кл.слова (ненормированные):
автоматического управления теория -- формализация -- автоматизация проектирования -- системы автоматического управления (САУ)



Найти похожие
6.
A940469-ОХФ-МИОН
    Heidegger, Martin.
    The Phenomenology of Religious Life [Text] : научное издание / Martin Heidegger. - 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 р.
УДК
Рубрики:
философия -- философия Германии -- Германия -- 20 в.
Кл.слова (ненормированные):
феноменология -- экзистенциализм -- религия -- философия религии -- персоналии -- неоплатонизм -- христианство -- мистицизм -- психология -- эпистемология -- метафизика -- философия истории -- формализация



Найти похожие
7.
A966558-ОХФ, A966559-ОХФ
    Угринович, Николай Дмитриевич.
    Информатика и ИКТ. Базовый курс [Текст] : учеб. для 9 кл. / Н. Д. Угринович. - 4-е изд. - Москва : БИНОМ. Лаб. знаний, 2006. - 320 с. : ил. - (Информатика). - ISBN 5-94774-225-X (в пер.) : 85.70 р.
Допущено М-вом образования и науки Рос. Федерации. Загл. обл.: Угринович Н. Базовый курс, 9
УДК
Рубрики:
вычислительная техника -- информационные технологии
Кл.слова (ненормированные):
информатика -- информационные технологии -- компьютеры -- информация -- кодирование информации -- обработка информации -- алгоритмизация -- программирование -- моделирование -- формализация -- коммуникационные технологии -- информатизация общества

Найти похожие
8.
A966560-ОХФ, A966561-ОХФ, A966562-ОХФ
    Угринович, Николай Дмитриевич.
    Информатика и информационные технологии. 10-11 классы [Текст] : учебник / Н. Д. Угринович. - 3-е изд. - Москва : БИНОМ. Лаб. знаний, 2006. - 511, [1] с. : ил. - (Информатика). - ISBN 5-94774-445-7 (в пер.) : 110.00 р.
Допущено М-вом образования Рос. Федерации в качестве учеб. по информатике для учащихся 10-11 кл. естеств.-мат. профиля общеобразоват. учреждений
УДК
Рубрики:
вычислительная техника -- информационные технологии
Кл.слова (ненормированные):
информатика -- информационные технологии -- компьютеры -- информация -- кодирование информации -- программное обеспечение -- логика -- программирование -- алгоритмизация -- формализация -- коммуникационные технологии -- информатизация общества

Найти похожие
9.
Учебная литература, A966563-ОХФ, A966564-ОХФ,
    Бешенков, Сергей Александрович.
    Моделирование и формализация [Текст] : метод. пособие / С. А. Бешенков, Е. А. Ракитина. - Москва : БИНОМ. Лаб. Базовых Знаний, 2002. - 333, [3] с. : рис. - (Информатика). - Библиогр.: с. 331-333. - ISBN 5-93208-117-1 : 99.00 р.
УДК
Рубрики:
вычислительная техника -- информационные технологии
Кл.слова (ненормированные):
информатика -- информационное моделирование -- формализация


Доп. точки доступа:
Ракитина, Елена Александровна
Найти похожие
10.
Учебная литература, A978239-ОХФ, A978240-ОХФ-ЧЗ-4
    Угринович, Николай Дмитриевич.
    Информатика и ИКТ [Текст] : учеб. для 9 кл. / Н. Д. Угринович. - Москва : БИНОМ. Лаб. знаний, 2008. - 295, [9] с. : рис. - ISBN 978-5-94774-852-9 (в пер.) : 100.00 р.
УДК
Рубрики:
вычислительная техника -- информационные технологии
Кл.слова (ненормированные):
информатика -- информационные технологии -- компьютеры -- информация -- кодирование информации -- обработка информации -- алгоритмизация -- программирование -- моделирование -- формализация -- коммуникационные технологии -- информатизация общества

Найти похожие
11.
A982501-ОХФ
    Ильичев, Алексей Васильевич.
    Основы анализа эффективности и рисков целевых программ. Истоки, формализация, реализация [Текст] / А. В. Ильичев. - Москва : Науч. мир, 2009. - 302, [30] с. : фот. цв. - Библиогр.: с. 300-303 (54 назв.). - ISBN 978-5-91522-051-4 (в пер.) : 246.00 р.
УДК
Рубрики:
космонавтика -- космонавтика
Кл.слова (ненормированные):
ракетно-космическая техника -- жизненный цикл -- целевые программы -- техническое проектирование -- риски -- персоналии



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