Новые поступления (книга в стадии обработки) Иванов, Евгений Михайлович. Геделевский аргумент [Текст] : учебное пособие / Е. М. Иванов. - Саратов : Научная книга, 2004. - 63, [1] с. - Библиогр. - ISBN 5-93888-389-X : 35.00 р.
Рубрики: философия--философия духовной жизни математика--математическая логика Кл.слова (ненормированные): геделевский аргумент -- искусственный интеллект -- сознание -- метафизика -- мозг -- мышление -- человек и машина -- Геделя теорема -- ум -- формализация -- смысл -- алгоритмические проблемы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Степанов, Михаил Федорович. Автоматическое решение формализованных задач теории автоматического управления [Текст] : автореф. дис. на соиск. учен. степ. д-ра техн. наук : 05.13.01; 05.13.18 / М. Ф. Степанов ; . - Саратов : [б. и.], 2004. - 35, [1] с. - Библиогр. - ISBN [Б. и.] : [б. ц.]
Рубрики: автоматика.кибернетика--системы автоматического управления Кл.слова (ненормированные): автоматического управления теория -- формализация -- автоматизация проектирования -- системы автоматического управления (САУ) Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: |
Новые поступления (книга в стадии обработки) 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 р.
Рубрики: философия--философия Германии--Германия, 20 в. Кл.слова (ненормированные): феноменология -- экзистенциализм -- религия -- философия религии -- персоналии -- неоплатонизм -- христианство -- мистицизм -- психология -- эпистемология -- метафизика -- философия истории -- формализация Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: |
Новые поступления (книга в стадии обработки) Угринович, Николай Дмитриевич. Информатика и ИКТ. Базовый курс [Текст] : учеб. для 9 кл. / Н. Д. Угринович. - 4-е изд. - Москва : БИНОМ. Лаб. знаний, 2006. - 320 с. : ил. - (Информатика). - ISBN 5-94774-225-X (в пер.) : 85.70 р. Допущено М-вом образования и науки Рос. Федерации. Загл. обл.: Угринович Н. Базовый курс, 9
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- информационные технологии -- компьютеры -- информация -- кодирование информации -- обработка информации -- алгоритмизация -- программирование -- моделирование -- формализация -- коммуникационные технологии -- информатизация общества Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Угринович, Николай Дмитриевич. Информатика и информационные технологии. 10-11 классы [Текст] : учебник / Н. Д. Угринович. - 3-е изд. - Москва : БИНОМ. Лаб. знаний, 2006. - 511, [1] с. : ил. - (Информатика). - ISBN 5-94774-445-7 (в пер.) : 110.00 р. Допущено М-вом образования Рос. Федерации в качестве учеб. по информатике для учащихся 10-11 кл. естеств.-мат. профиля общеобразоват. учреждений
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- информационные технологии -- компьютеры -- информация -- кодирование информации -- программное обеспечение -- логика -- программирование -- алгоритмизация -- формализация -- коммуникационные технологии -- информатизация общества Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Бешенков, Сергей Александрович. Моделирование и формализация [Текст] : метод. пособие / С. А. Бешенков, Е. А. Ракитина. - Москва : БИНОМ. Лаб. Базовых Знаний, 2002. - 333, [3] с. : рис. - (Информатика). - Библиогр.: с. 331-333. - ISBN 5-93208-117-1 : 99.00 р.
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- информационное моделирование -- формализация Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Ракитина, Елена Александровна |
Новые поступления (книга в стадии обработки) Угринович, Николай Дмитриевич. Информатика и ИКТ [Текст] : учеб. для 9 кл. / Н. Д. Угринович. - Москва : БИНОМ. Лаб. знаний, 2008. - 295, [9] с. : рис. - ISBN 978-5-94774-852-9 (в пер.) : 100.00 р.
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- информационные технологии -- компьютеры -- информация -- кодирование информации -- обработка информации -- алгоритмизация -- программирование -- моделирование -- формализация -- коммуникационные технологии -- информатизация общества Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Угринович, Н. Д. Информатика и ИКТ. Базовый курс [Текст] : учеб. для 9 кл. общеобразоват. учреждений / Н. Д. Угринович. - 2-е изд., испр. и доп. - Москва : БИНОМ, 2005. - 320 с. : ил. - ISBN 5-94774-225-Х (в пер.) : 94.60 р.
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- программирование -- коммуникационные технологии -- информационные технологии -- компьютеры -- информация -- кодирование информации -- обработка информации -- алгоритмизация -- моделирование -- формализация -- информатизация общества Аннотация: Большое внимание уделяется формированию у учащихся алгоритмического и системного мышления, а также практических умений и навыков в области информационных технологий. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Угринович, Н. Д. Информатика и информационные технологии [Текст] : учеб. для 10-11 кл. общеобразоват. учреждений / Н. Д. Угринович. - 2-е изд. - Москва : БИНОМ, 2005. - 511 с. : ил. - ISBN 5-94774-189-Х (в пер.) : 134.20 р.
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- коммуникационные технологии -- информационные технологии -- компьютеры -- информация -- кодирование информации -- программное обеспечение -- логика -- программирование -- алгоритмизация -- формализация -- информатизация общества Аннотация: Особое внимание уделено изучению объектно-ориентированного программирования на языке Visual Basic, основ логики, систем счисления и коммуникационных технологий. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Информатика [Текст] : учеб. пособие / Под ред. П. П. Беленького. - Ростов н/Д : Феникс, 2003. - 448 с. : ил. ; 21 см. - (Учебники, учебные пособия). - ISBN 5-222-02513-6 : 89.00 р. Рекомендовано М-вом образования РФ
Рубрики: Вычислительная техника--Информатика Кл.слова (ненормированные): вычислительная техника -- информатика -- кодирование информации -- компьютер -- моделирование -- формализация -- алгоритмизация -- программирование -- информационные технологии Аннотация: Содержит теоретический и практический материалы, выводы по каждому разделу и контрольные вопросы для самостоятельной проверки усвоения материала обучающимися. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Беленький, П. П. |
Новые поступления (книга в стадии обработки) Старостин, В. Г. Формализация проектирования процессов обработки резанием [Текст] / В. Г. Старостин, В. Е. Лелюхин. - М. : Машиностроение, 1986. - 136 с. : ил. ; 21см. - (Б-ка технолога). - 0.45 р.
Рубрики: Обработка материалов--Обработка резанием Кл.слова (ненормированные): формализация -- обработка резанием -- технологические процессы -- шероховатость поверхности -- заготовки Аннотация: Рассмотрены вопросы технологического обеспечения автоматизированного проектирования процесса обработки резанием, изложены методика и приемы формализованного решения технологических задач и синтеза технологических процессов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Лелюхин, В. Е. |
Новые поступления (книга в стадии обработки) Молодцов, В. А. Репетитор по информатике [Текст] : учеб. пособие / В. А. Молодцов, Н. Б. Рыжикова, Т. Г. Головко. - Ростов н/Д : Феникс, 2004. - 480 с. : ил. ; 21 см. - Библиогр.: с. 462-465 (41 назв.). - ISBN 5-222-04253-7 : 127.00 р. На обл. авт. не указаны
Рубрики: Вычислительная техника--Информатика Кл.слова (ненормированные): вычислительная техника -- информатика -- компьютер -- персональный компьютер -- программное обеспечение -- алгоритмизация -- программирование -- моделирование -- формализация -- информационная безопасность -- информационные технологии Аннотация: Приводятся теоретические сведения по всем темам базового курса информатики. Рассмотрены различные методы решения задач. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Рыжикова, Н. Б. Головко, Т. Г. |
Новые поступления (книга в стадии обработки) Фурунжиев, Р. И. САПР, или как ЭВМ помогает конструктору [Текст] / Р. И. Фурунжиев, В. А. Гугля. - Минск : Вышэйшая школа, 1987. - 205 с. : ил. ; 17 см. - 0.30 р. Предм. указ.: с. 203-205
Рубрики: Организация производства--Системы автоматизированного проектирования Кл.слова (ненормированные): системы автоматизированного проектирования -- автоматизация -- проектное решение -- интерполяция -- экстремум -- конструктор -- подсистема -- дилемма -- формализация Аннотация: В популярной форме рассказывается об основах конструкторских САПР машиностроения. Анализируются состояние и перспективы развития средств автоматизации проектирования у нас в стране и за рубежом. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Гугля, В. А. |
Новые поступления (книга в стадии обработки) Пекелис, В. Д. Кибернетика от А до Я [Текст] : маленькая энциклопедия / В. Д. Пекелис. - М. : Дет. лит., 1990. - 479 с. : ил. ; 27 см. - (Библиотечная серия). - ISBN 5-08-000951-9 : 2.00 р.
Рубрики: Кибернетика Кл.слова (ненормированные): шифрование -- формализация -- кибернетика -- информатика Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Анищенко, Л. М. Математические основы проектирования высокотемпературных технологических процессов [Текст] : научное издание / Л. М. Анищенко, С. Ю. Лавренюк. - М. : Наука, 1986. - 80 с. : ил. ; 20 см. - (Проблемы науки и технического прогресса). - Библиогр.: с. 77. - 0.70 р.
Рубрики: Химическая промышленность--Химическая технология Кл.слова (ненормированные): ТЕХНОЛОГИЧЕСКИЕ ПРОЦЕССЫ -- МАТЕМАТИЧЕСКИЕ МЕТОДЫ -- ФОРМАЛИЗАЦИЯ -- ОСНОВЫ СИНТЕЗА Аннотация: Рассмотрены математические методы, применяемые при использовании ЭВМ для проектирования высокотемпературных технологических процессов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Лавренюк, С. Ю. |
Новые поступления (книга в стадии обработки) Рашитов, Р. С. Логико-математическое моделирование в бухгалтерском учете [Текст] : научное издание / Р. С. Рашитов. - М. : Финансы, 1979. - 128 с. : табл. ; 20 см. - 0.40 р.
Рубрики: Учет и отчетность--Бухгалтерский учет Кл.слова (ненормированные): ОТЧЕТНОСТЬ -- СИСТЕМА СЧЕТОВ -- ЛОГИКО-МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- ФОРМАЛИЗАЦИЯ -- ТЕОРЕТИКО-МЕТОДОЛОГИЧЕСКИЕ ПРОБЛЕМЫ Аннотация: В монографии рассматриваются теоретико-методологические проблемы бухгалтерского учета и пути их разрешения. Описываются конкретный опыт логико-математической формализации бухгалтерского учета, обслуживаются различные его концепции в условиях применения ЭВМ. Ряд предложений автора имеет дискуссионный характер. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Рашитов, Р. С. Машинная обработка учетно-статистической информации [Текст] : научное издание / Р. С. Рашитов, К. Ф. Мишин, Н. И. Бочков ; М-во высш. и сред. спец. образования РСФСР (Москва). - Л. : Изд-во Ленингр. ун-та, 1979. - 208 с. : ил., табл. ; 20 см. - 1.06 р.
Рубрики: Учет и отчетность--Бухгалтерский учет Кл.слова (ненормированные): ЛОГИКО-МАТЕМАТИЧЕСКИЕ МОДЕЛИ -- УЧЕТНО-СТАТИСТИЧЕСКАЯ ИНФОРМАЦИЯ -- ФОРМАЛИЗАЦИЯ -- АЛГОРИТМИЗАЦИЯ Аннотация: Монография посвящена вопросам формализации, алгоритмизации и программирования обработки учетно-статистической информации. В ней излагаются основы логико-математической формализации бухгалтерского учета, специальная методика построения алгоритмов, а также конкретные системы автоматизации обработки учетно-статистической информации. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Мишин, К. Ф. Бочков, Н. И. |
Новые поступления (книга в стадии обработки) Сичивица, О. М. Методы и формы научного познания [Текст] : научное издание / О. М. Сичивица. - М. : Высшая школа, 1972. - 95 с. ; 20 см. - 0.19 р.
Рубрики: Философия--Общефилософские проблемы Кл.слова (ненормированные): МЕТОДЫ НАУЧНОГО ПОЗНАНИЯ -- МЕТОДЫ ЭМПИРИЧЕСКОГО ИССЛЕДОВАНИЯ -- МЕТОДЫ ТЕОРЕТИЧЕСКОГО ИССЛЕДОВАНИЯ -- ФОРМЫ НАУЧНОГО ПОЗНАНИЯ -- АБСТРАГИРОВАНИЕ -- ИДЕАЛИЗАЦИЯ -- ФОРМАЛИЗАЦИЯ -- АКСИОМАТИЧЕСКИЙ МЕТОД Аннотация: Все многообразие методов и форм научного познания предстало перед нами как достаточно определенно очерченная система. Типология методов базируется здесь на учете степени их общности и места в познавательном процессе. За этим фактически стоит различная роль тех или иных методов научного познания. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Михайлова, И. Б Чувственное отражение в современном научном познании [Текст] : монография / И. Б Михайлова. - М. : Мысль, 1972. - 279 с. ; 20 см. - 1.10 р.
Рубрики: Философия--Общефилософские проблемы Кл.слова (ненормированные): НАУЧНОЕ ПОЗНАНИЕ -- ЧУВСТВЕННОЕ ОТРАЖЕНИЕ -- СУЩНОСТЬ -- ДИАЛЕКТИКА -- ФОРМАЛИЗАЦИЯ -- ГНОСЕОЛОГИЯ Аннотация: В монографии исследуется сущность и роль чувственного отражения в познании и практическом преобразовании окружающего мира. На основе последних достижений психологии, физиологии, кибернетики рассматриваются структура форм чувственного отражения, механизмы создания и функционирования чувственных образов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Жеребин, В. М. Экономические информационные системы [Текст] : рационализация проектирования / В. М. Жеребин, В. Н. Мальцев, М. С. Совалов ; отв. ред. Б. П. Суворов ; Центр. экономико-мат. ин-т. - М. : Изд-во "Наука", 1978. - 200 с. : ил. ; 21 см. - (Проблемы советской экономики). - Библиогр.: с. 195-198 (89 назв.). - 1.40 р.
Рубрики: Экономика--Экономическая информация Кл.слова (ненормированные): ИНФОРМАЦИОННЫЕ СИСТЕМЫ -- ФОРМАЛИЗАЦИЯ -- ТИПИЗАЦИЯ -- АВТОМАТИЗАЦИЯ -- ПРИКЛАДНЫЕ ПРОГРАММЫ Аннотация: В работе раскрывается понятие экономической информационной системы. На фоне обобщенной методологии построения систем рассматриваются наиболее перспективные направления рационализации проектирования, такие, как формализация, типизация и автоматизация. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Мальцев, В. Н. Совалов, М. С. Суворов, Б. П. |