Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

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

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

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

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

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

1-20 21-25

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

УДК

130.3(075.8)

510.2(075.8)

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

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

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

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

УДК

681.5(043.3)

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

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

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

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

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 в.

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

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

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

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

УДК

004(075.3)

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

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

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

УДК

004(075.3)

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

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

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

УДК

004(072.8)

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

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

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

Угринович, Николай Дмитриевич.
Информатика и ИКТ [Текст] : учеб. для 9 кл. / Н. Д. Угринович. - Москва : БИНОМ. Лаб. знаний, 2008. - 295, [9] с. : рис. - ISBN 978-5-94774-852-9 (в пер.) : 100.00 р.

УДК

004(075.3)

Угринович, Н. Д.
Информатика и ИКТ. Базовый курс [Текст] : учеб. для 9 кл. общеобразоват. учреждений / Н. Д. Угринович. - 2-е изд., испр. и доп. - Москва : БИНОМ, 2005. - 320 с. : ил. - ISBN 5-94774-225-Х (в пер.) : 94.60 р.

УДК

004(075.3)

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

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

Угринович, Н. Д.
Информатика и информационные технологии [Текст] : учеб. для 10-11 кл. общеобразоват. учреждений / Н. Д. Угринович. - 2-е изд. - Москва : БИНОМ, 2005. - 511 с. : ил. - ISBN 5-94774-189-Х (в пер.) : 134.20 р.

УДК

004(075.3)

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

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

10.

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

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

ББК 32.97

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

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

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

11.

Старостин, В. Г.
Формализация проектирования процессов обработки резанием [Текст] / В. Г. Старостин, В. Е. Лелюхин. - М. : Машиностроение, 1986. - 136 с. : ил. ; 21см. - (Б-ка технолога). - 0.45 р.

ГРНТИ	55.19
УДК	621.91.01

ББК 34.631

Рубрики: Обработка материалов--Обработка резанием

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

Доп. точки доступа:
Лелюхин, В. Е.
Найти похожие

12.

Молодцов, В. А.
Репетитор по информатике [Текст] : учеб. пособие / В. А. Молодцов, Н. Б. Рыжикова, Т. Г. Головко. - Ростов н/Д : Феникс, 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.

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

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

ББК 34.42

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

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

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

14.

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

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

ББК 32.81

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

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

15.

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

ГРНТИ	61.13
УДК	66

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

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

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

16.

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

ГРНТИ	06.81.85
УДК	657

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

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

17.

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

ГРНТИ	06.81.85
УДК	657.26

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

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

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

18.

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

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

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

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

19.

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

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

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

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

20.

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

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

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

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

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

1-20 21-25

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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