Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

в найденном

В текущей базе данных найдено документов :25

В других БД по вашему запросу найдено:

Электронный каталог (10)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>KL=формализация<.>)

Общее количество найденных документов : 25
Показаны документы с 1 по 20

1-20 21-25

Сичивица, О. М.
Методы и формы научного познания [Текст] : научное издание / О. М. Сичивица. - М. : Высшая школа, 1972. - 95 с. ; 20 см. - 0.19 р.

ГРНТИ	02.15
УДК	1М7

Рубрики: Философия--Общефилософские проблемы

Кл.слова (ненормированные):
МЕТОДЫ НАУЧНОГО ПОЗНАНИЯ -- МЕТОДЫ ЭМПИРИЧЕСКОГО ИССЛЕДОВАНИЯ -- МЕТОДЫ ТЕОРЕТИЧЕСКОГО ИССЛЕДОВАНИЯ -- ФОРМЫ НАУЧНОГО ПОЗНАНИЯ -- АБСТРАГИРОВАНИЕ -- ИДЕАЛИЗАЦИЯ -- ФОРМАЛИЗАЦИЯ -- АКСИОМАТИЧЕСКИЙ МЕТОД
Аннотация: Все многообразие методов и форм научного познания предстало перед нами как достаточно определенно очерченная система. Типология методов базируется здесь на учете степени их общности и места в познавательном процессе. За этим фактически стоит различная роль тех или иных методов научного познания.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Михайлова, И. Б
Чувственное отражение в современном научном познании [Текст] : монография / И. Б Михайлова. - М. : Мысль, 1972. - 279 с. ; 20 см. - 1.10 р.

ГРНТИ	02.15
УДК	1М7

Рубрики: Философия--Общефилософские проблемы

Кл.слова (ненормированные):
НАУЧНОЕ ПОЗНАНИЕ -- ЧУВСТВЕННОЕ ОТРАЖЕНИЕ -- СУЩНОСТЬ -- ДИАЛЕКТИКА -- ФОРМАЛИЗАЦИЯ -- ГНОСЕОЛОГИЯ
Аннотация: В монографии исследуется сущность и роль чувственного отражения в познании и практическом преобразовании окружающего мира. На основе последних достижений психологии, физиологии, кибернетики рассматриваются структура форм чувственного отражения, механизмы создания и функционирования чувственных образов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Рашитов, Р. С.
Машинная обработка учетно-статистической информации [Текст] : научное издание / Р. С. Рашитов, К. Ф. Мишин, Н. И. Бочков ; М-во высш. и сред. спец. образования РСФСР (Москва). - Л. : Изд-во Ленингр. ун-та, 1979. - 208 с. : ил., табл. ; 20 см. - 1.06 р.

ГРНТИ	06.81.85
УДК	657.26

Рубрики: Учет и отчетность--Бухгалтерский учет

Кл.слова (ненормированные):
ЛОГИКО-МАТЕМАТИЧЕСКИЕ МОДЕЛИ -- УЧЕТНО-СТАТИСТИЧЕСКАЯ ИНФОРМАЦИЯ -- ФОРМАЛИЗАЦИЯ -- АЛГОРИТМИЗАЦИЯ
Аннотация: Монография посвящена вопросам формализации, алгоритмизации и программирования обработки учетно-статистической информации. В ней излагаются основы логико-математической формализации бухгалтерского учета, специальная методика построения алгоритмов, а также конкретные системы автоматизации обработки учетно-статистической информации.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Мишин, К. Ф.
Бочков, Н. И.
Найти похожие

Анищенко, Л. М.
Математические основы проектирования высокотемпературных технологических процессов [Текст] : научное издание / Л. М. Анищенко, С. Ю. Лавренюк. - М. : Наука, 1986. - 80 с. : ил. ; 20 см. - (Проблемы науки и технического прогресса). - Библиогр.: с. 77. - 0.70 р.

ГРНТИ	61.13
УДК	66

Рубрики: Химическая промышленность--Химическая технология

Кл.слова (ненормированные):
ТЕХНОЛОГИЧЕСКИЕ ПРОЦЕССЫ -- МАТЕМАТИЧЕСКИЕ МЕТОДЫ -- ФОРМАЛИЗАЦИЯ -- ОСНОВЫ СИНТЕЗА
Аннотация: Рассмотрены математические методы, применяемые при использовании ЭВМ для проектирования высокотемпературных технологических процессов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Лавренюк, С. Ю.
Найти похожие

Рашитов, Р. С.
Логико-математическое моделирование в бухгалтерском учете [Текст] : научное издание / Р. С. Рашитов. - М. : Финансы, 1979. - 128 с. : табл. ; 20 см. - 0.40 р.

ГРНТИ	06.81.85
УДК	657

Рубрики: Учет и отчетность--Бухгалтерский учет

Кл.слова (ненормированные):
ОТЧЕТНОСТЬ -- СИСТЕМА СЧЕТОВ -- ЛОГИКО-МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- ФОРМАЛИЗАЦИЯ -- ТЕОРЕТИКО-МЕТОДОЛОГИЧЕСКИЕ ПРОБЛЕМЫ
Аннотация: В монографии рассматриваются теоретико-методологические проблемы бухгалтерского учета и пути их разрешения. Описываются конкретный опыт логико-математической формализации бухгалтерского учета, обслуживаются различные его концепции в условиях применения ЭВМ. Ряд предложений автора имеет дискуссионный характер.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Жеребин, В. М.
Экономические информационные системы [Текст] : рационализация проектирования / В. М. Жеребин, В. Н. Мальцев, М. С. Совалов ; отв. ред. Б. П. Суворов ; Центр. экономико-мат. ин-т. - М. : Изд-во "Наука", 1978. - 200 с. : ил. ; 21 см. - (Проблемы советской экономики). - Библиогр.: с. 195-198 (89 назв.). - 1.40 р.

ГРНТИ	06.75
УДК	338-50

Рубрики: Экономика--Экономическая информация

Кл.слова (ненормированные):
ИНФОРМАЦИОННЫЕ СИСТЕМЫ -- ФОРМАЛИЗАЦИЯ -- ТИПИЗАЦИЯ -- АВТОМАТИЗАЦИЯ -- ПРИКЛАДНЫЕ ПРОГРАММЫ
Аннотация: В работе раскрывается понятие экономической информационной системы. На фоне обобщенной методологии построения систем рассматриваются наиболее перспективные направления рационализации проектирования, такие, как формализация, типизация и автоматизация.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Мальцев, В. Н.
Совалов, М. С.
Суворов, Б. П.
Найти похожие

Беляев, Максим Анатольевич.
Основы информатики [Текст] : учебник для вузов / М. А. Беляев. - Ростов-на-Дону : Феникс, 2006. - 352 с. - (Высшее образование). - ISBN 5-222-09776-5 : 204.01 р.

ББК 32.81я73

Рубрики: Радиоэлектроника--Кибернетика

Кл.слова (ненормированные):
Excel -- Power Point -- Word -- microsoft Excel -- microsoft Power Point -- microsoft windows 2000 -- microsoft word -- windows 2000 -- алгоритмизация -- базы данных -- защита информации -- интернет -- информатика -- информационные процессоры -- компьютерные сети -- моделирование -- носители информации -- операционные системы -- персональные компьютеры -- программирование -- табличные процессоры -- текстовые редакторы -- учебники для вузов -- формализация -- эвм -- электронные презентации
Аннотация: Учебник состоит из двух разделов: теоретического и практического. В теоретической части учебника изложены основы современной информатики как комплексной научно-технической дисциплины. Практическая часть освещает алгоритмы основных действий при работе с текстовым процессором Microsoft Word, табличным редактором Microsoft Excel, программой для создания презентаций Microsoft Power Point, программами-архиваторами и антивирусными программами.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие

Угринович, Н. Д.
Информатика и ИКТ [Текст] : базовый уровень : учебник для 11 класса / Н. Д. Угринович. - 9-е изд. - М. : БИНОМ. Лаборатория знаний, 2014. - 192 с. : ил. ; 22 см. - ISBN 978-5-9963-1758-5 : 290.40 р.
Гриф: рек. М-вом образования и науки РФ к использованию в образоват. процессе в имеющих гос. аккредитацию и реализующих образоват. программы общ. образования образоват. учреждениях

ГРНТИ	50.01.33
УДК	004(075)

ББК 32.97

Рубрики: Вычислительная техника--Информатика

Кл.слова (ненормированные):
АРХИТЕКТУРА КОМПЬЮТЕРА -- ЗАЩИТА ИНФОРМАЦИИ -- МЕТОДЫ ЗАЩИТЫ -- КОМПЬЮТЕРНЫЕ МОДЕЛИ -- ВИЗУАЛИЗАЦИЯ -- ФОРМАЛИЗАЦИЯ -- Windows -- Linux -- ИНФОРМАЦИОННЫЕ ПРОЦЕССЫ -- СУБД -- БАЗЫ ДАННЫХ -- ИНФОРМАЦИОННОЕ ОБЩЕСТВО -- ИНТЕРНЕТ -- ОПЕРАЦИОННЫЕ СИСТЕМЫ
Аннотация: Учебник ориентирован на преподавание в общеобразовательных учреждениях курса "Информатика и ИКТ" в 11 классе на базовом уровне. Учебник полностью соответствует образовательному стандарту, утвержденному Министерством образования и науки РФ. В учебнике рассматриваются архитектура компьютера и методы защиты информации, системный подход к моделированию, формализация и ее визуализация с использованием интерактивных компьютерных моделей, базы данных и СУБД. Большое внимание уделяется формированию практических умений и навыков в процессе выполнения практических компьютерных работ. Учебник мультисистемный, так как практические работы могут выполняться в операционных системах Windows и Linux. В учебник помещены тесты для подготовки к ЕГЭ по курсу "информатика и ИКТ".
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Киселева, Н. А.
Математика и действительность [Текст] : научное издание / Н. А. Киселева. - М. : Изд-во Моск. ун-та, 1967. - 124 с. ; 21. - Библиогр.: с. 118-123 (149 назв.). - 0.48 р.

ГРНТИ	02.31.31
УДК	51:1

Рубрики: Математика--Философские проблемы математики

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКОЕ ПОЗНАНИЕ -- АБСТРАГИРОВАНИЕ -- ИДЕАЛИЗАЦИЯ -- ФОРМАЛИЗАЦИЯ -- АКСИОМАТИЗАЦИЯ -- РАЗВИТИЕ МАТЕМАТИКИ -- МАТЕРИАЛИЗМ -- ИДЕАЛИЗМ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

10.

Пекелис, В. Д.
Кибернетика от А до Я [Текст] : маленькая энциклопедия / В. Д. Пекелис. - М. : Дет. лит., 1990. - 479 с. : ил. ; 27 см. - (Библиотечная серия). - ISBN 5-08-000951-9 : 2.00 р.

ГРНТИ	28.01.33
УДК	007(03)

ББК 32.81

Рубрики: Кибернетика

Кл.слова (ненормированные):
шифрование -- формализация -- кибернетика -- информатика
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие

11.

Информатика [Текст] : учеб. пособие для ср. учеб. заведений / ред. П. П. Беленький. - Ростов-на-Дону : Феникс, 2004. - 448 с. - (Учебники, учебные пособия). - ISBN 5-222-02513-6 : 155.00 р.

ББК 32.81я722

Рубрики: Радиоэлектроника--Кибернетика

Кл.слова (ненормированные):
алгоритмизация -- алгоритмы -- вещество -- вирусы -- интернет -- информатика -- информационные процессы -- информационные технологии -- информация -- компьютеры -- модели -- моделирование -- пособия для средних специальных учебных заведений -- программирование -- процессоры -- файлы -- формализация -- эвм -- энергия
Аннотация: Содержит необходимые теоретические и практические материалы по информатике.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Беленький, П. П.
Найти похожие

12.

Нелюбин, Лев Львович.
Перевод и прикладная лингвистика [Текст] / Л. Л. Нелюбин. - Москва : Высшая школа, 1983. - 207 с. - На русском языке. - 1.40 р.
Библиогр.:с.183-190

ББК 81

Рубрики: Языкознание--Прикладное языкознание

Кл.слова (ненормированные):
аббревиация -- алгоритмы -- аффиксальное словообразование -- двуязычие -- достоверность словаря -- законы перевода -- избыточность -- иностранные языки -- информация -- количество информации -- конфронтация -- конфронтация словосочетаний -- корреляция -- корреляция связей -- лексикография -- лингвистика -- лингвисты -- маос -- машинные словари -- моделируемые тексты -- морфология -- надежность словаря -- обновление словаря -- отбор текстов -- оценка закона эсту -- переводы -- перфорации -- подъязыки -- прикладная лингвистика -- прикладная лингвистика -- произвольная формализация -- семантическая формализация -- словари -- словарь оборотов -- словообразование -- сокращения -- структура словаря -- структурная формализация -- условная формалицация -- ученые -- формализация -- эвм -- энтропия -- эсту -- языкознание
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие

13.

Фурунжиев, Р. И.
САПР, или как ЭВМ помогает конструктору [Текст] / Р. И. Фурунжиев, В. А. Гугля. - Минск : Вышэйшая школа, 1987. - 205 с. : ил. ; 17 см. - 0.30 р.
Предм. указ.: с. 203-205

ГРНТИ	50.51
УДК	621.0012:658.512.22

ББК 34.42

Рубрики: Организация производства--Системы автоматизированного проектирования

Кл.слова (ненормированные):
системы автоматизированного проектирования -- автоматизация -- проектное решение -- интерполяция -- экстремум -- конструктор -- подсистема -- дилемма -- формализация
Аннотация: В популярной форме рассказывается об основах конструкторских САПР машиностроения. Анализируются состояние и перспективы развития средств автоматизации проектирования у нас в стране и за рубежом.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Гугля, В. А.
Найти похожие

14.

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

УДК

004(075.3)

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
информатика -- информационные технологии -- компьютеры -- информация -- кодирование информации -- обработка информации -- алгоритмизация -- программирование -- моделирование -- формализация -- коммуникационные технологии -- информатизация общества
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

15.

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

УДК

004(075.3)

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
информатика -- информационные технологии -- компьютеры -- информация -- кодирование информации -- программное обеспечение -- логика -- программирование -- алгоритмизация -- формализация -- коммуникационные технологии -- информатизация общества
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

16.

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

УДК

004(072.8)

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
информатика -- информационное моделирование -- формализация
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Доп. точки доступа:
Ракитина, Елена Александровна
Найти похожие

17.

Иванов, Евгений Михайлович.
Геделевский аргумент [Текст] : учебное пособие / Е. М. Иванов. - Саратов : Научная книга, 2004. - 63, [1] с. - Библиогр. - ISBN 5-93888-389-X : 35.00 р.

УДК

130.3(075.8)

510.2(075.8)

Рубрики: философия--философия духовной жизни

математика--математическая логика

Кл.слова (ненормированные):
геделевский аргумент -- искусственный интеллект -- сознание -- метафизика -- мозг -- мышление -- человек и машина -- Геделя теорема -- ум -- формализация -- смысл -- алгоритмические проблемы
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

18.

Степанов, Михаил Федорович.
Автоматическое решение формализованных задач теории автоматического управления [Текст] : автореф. дис. на соиск. учен. степ. д-ра техн. наук : 05.13.01; 05.13.18 / М. Ф. Степанов ; . - Саратов : [б. и.], 2004. - 35, [1] с. - Библиогр. - ISBN [Б. и.] : [б. ц.]

УДК

681.5(043.3)

Рубрики: автоматика.кибернетика--системы автоматического управления

Кл.слова (ненормированные):
автоматического управления теория -- формализация -- автоматизация проектирования -- системы автоматического управления (САУ)
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Доп. точки доступа:

Найти похожие

19.

Heidegger, Martin.
The Phenomenology of Religious Life [Текст] : научное издание / 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 р.

УДК

929Хайдеггер

929Августин Блаженный Аврелий

1(430)

Рубрики: философия--философия Германии--Германия, 20 в.

Кл.слова (ненормированные):
феноменология -- экзистенциализм -- религия -- философия религии -- персоналии -- неоплатонизм -- христианство -- мистицизм -- психология -- эпистемология -- метафизика -- философия истории -- формализация
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Доп. точки доступа:

Найти похожие

20.

Информатика [Текст] : учеб. пособие / Под ред. П. П. Беленького. - Ростов н/Д : Феникс, 2003. - 448 с. : ил. ; 21 см. - (Учебники, учебные пособия). - ISBN 5-222-02513-6 : 89.00 р.
Рекомендовано М-вом образования РФ

ГРНТИ	50.01.33
УДК	681.3:002.5/6(075.3)

ББК 32.97

Рубрики: Вычислительная техника--Информатика

Кл.слова (ненормированные):
вычислительная техника -- информатика -- кодирование информации -- компьютер -- моделирование -- формализация -- алгоритмизация -- программирование -- информационные технологии
Аннотация: Содержит теоретический и практический материалы, выводы по каждому разделу и контрольные вопросы для самостоятельной проверки усвоения материала обучающимися.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Беленький, П. П.
Найти похожие

1-20 21-25

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

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