51 П 185 Паронджанов, Владимир Даниелович. Как улучшить работу ума : Алгоритмы без программистов - это очень просто / В.Д. Паронджанов. - москва : Дело, 2001. - 360 с. : ил. - ISBN 5774902110 : 161.67 р. ГРНТИ 27 УДК:510.5 Ключевые слова: Алгоритмы -- Интеллектуальный терроризм -- Ум -- Сила ума -- Язык Дракон -- Понимание -- Взаимопонимание -- Информатика -- Эргономичные алгоритмы -- Визуализация циклов -- Визуализация логических формул -- Эргономичные тексты -- Дружелюбное программирование -- Визуальные операторы реального времени -- Человеческая деятельность -- Формализация знаний -- Визуальный дракон-редактор -- Визуальное структурное программирование -- Исчисление икон -- Эргономизация математики Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
Ю4 Б649 Бирюков, Борис Владимирович. Жар холодных чисел и пафос бесстрастной логики : Формализация мышления от античных времен до эпохи кибернетики / Б.В. Бирюков, В.Н. Тростников. - 3-е изд.,перераб.и доп. - М. : Едиториал УРСС, 2004. - 228 с. - ISBN 5354003105 : 155.90 р. ГРНТИ 02.21 ББК Ю4 Ключевые слова: логика -- история логики -- философия мышления -- формализация мышления Доп.точки доступа: Тростников, В.Н. --- Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
004 И889 Исследование проблем организационного управления в вузе и разработка методов их решений с использованием онтологий. Адаптивная нечеткая модель оценивания результатов автоматизированного тестирования : отчет о НИР (промежуточ.) / Рук. Л.В. Найханова; ВСГТУ. - Улан-Удэ, 2007 - . - 136 с. : ил ГРНТИ 50 28.17.19 УДК:004.8519.816 Рубрики: Информационные технологии--Автоматизированное тестирование--Отчеты о НИР --- Математическое моделирование --- Доп.точки доступа: Найханова, Л.В. \рук. работы.\ --- ВСГТУ Экземпляры всего: 1 Mесто хранения: зал ППС (1) Свободны: зал ППС (1) |
55 М744 Моделирование атмосферных физических процессов и радиоэлектронных систем : отчет о НИР (промежуточ.) / Рук. Д.Ш. Ширапов; ВСГТУ. - Улан-Удэ, 2007 - . - 37 с. : ил. - № ГР 01.2007 10054 ГРНТИ 37.21 УДК:550 Ключевые слова: моделирование атмосферных процессов -- радиоэлектронные системы -- имитационные модели РИСУ -- формализация программного обеспечения -- распараллеливание программного обеспечения -- дисперсные уравнения -- волноводы гиротропные эллиптические -- электромагнитное поле -- подмагничивание -- отчеты о НИР Доп.точки доступа: Ширапов, Д.Ш. \рук. работы.\ --- ВСГТУ Экземпляры всего: 1 Mесто хранения: зал ППС (1) Свободны: зал ППС (1) |
004 П192 Паскова, Анна Александровна. Информатика. Краткий курс [Текст] : учеб. пособие [для вузов] / А.А. Паскова, Р.П. Бутко ; Майкопский гос. техн. ун-т. - Майкоп : Изд. А.А. Григоренко, 2009. - 148 с. : ил. - ISBN 978-5-91807-013-0 : 527.01 р. ГРНТИ 20 УДК:004(075.8) Ключевые слова: информатика -- информационные процессы -- арифметические основы ПК -- логические основы ПК -- программное обеспечение -- файловые системы компьютеров -- моделирование -- формализация -- алгоритмизация -- программирование -- графическая информация -- текстовая информация -- электронные таблицы -- технология OLE -- базы данных -- управление базами данных -- компьютерные сети -- защита информации -- учебные пособия Доп.точки доступа: Бутко, Раиса Петровна --- Майкопский гос. техн. ун-т Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
002 В676 Волкова, Виолетта Николаевна. Теория систем и системный анализ : Учебник для бакалавров, обучающихся по направлению подготовки 010502 (351400) "Прикладная информатика" / В. Н. Волкова. - Москва : Юрайт, 2012. - 678, [1] с. : ил. ; 22 см. - (Бакалавр). - Предм. указ.: с. 664-669. - Библиогр.: с. 673-679 (109 назв.). - 1000 экз.. - ISBN 978-5-9916-1829-8 (в пер.) : 526.35 р., 470.00 р. Рек. ГОУ ВПО "Санкт-Петербург. гос. политехн. ун-т" ГРНТИ 28.29 УДК:002:001.8:005(075.8) Ключевые слова: теория систем -- системный анализ -- анализ систем -- формализация моделей принятия решений -- формулирование целей -- структуризация целей -- анализ целей -- модели организации сложных экспертиз -- методы организации сложных экспертиз -- информационное моделирование экономических систем -- методы системного анализа -- учебники Доп.точки доступа: Денисов, Анатолий Алексеевич --- Экземпляры всего: 16 Mесто хранения: кх (2), аб (14) Свободны: кх (2), аб (13) |
519.8 С56 Советов, Борис Яковлевич. Моделирование систем : Учебник для бакалавров, обучающихся по направлениям "Информатика и вычислительная техника" и "Информационные системы" / Б. Я. Советов, С. А. Яковлев ; Санкт-Петербург. гос. электротехн. ун-т. - 7-е изд. - Москва : Юрайт, 2012. - 343 с. : ил. ; 21 см. - (Бакалавр). - 1000 экз.. - ISBN 978-5-9916-1580-8 (в пер.) : 273.24 р. Рек. МОиН РФ ГРНТИ 50.07.03 УДК:519.876(075.8)004.94(075.8) Ключевые слова: моделирование систем -- теория моделирования систем -- формализация процессов функционирования систем -- алгоритмизация процессов функционирования систем -- статистическое моделирование систем -- инструментальные средства моделирования систем -- планирование машинных экспериментов -- обработка результатов моделирования систем -- анализ результатов моделирования систем -- типовые математические схемы -- моделирование для принятия решений -- методы моделирования -- учебники Доп.точки доступа: Яковлев, Сергей Алексеевич --- Санкт-Петербургский государственный электротехнический университет Экземпляры всего: 5 Mесто хранения: аб (3), чз (2) Свободны: аб (3), чз (2) |
658 М53 Месарович, М. Теория иерархических многоуровневых систем : научное издание / М. Месарович, Д. Мако, И. Такахара ; Пер. с англ. под ред. И. Ф. Шахнова. - М. : Мир, 1973. - 344 с. : ил. - 4.99 р. ГРНТИ 50.47 УДК:658.012.011.56 Ключевые слова: многоуровневые иерархические системы -- концептуализация -- формализация -- координация -- математическая теория координации Доп.точки доступа: Мако, Д. --- Такахара, И. --- Шахнов, И.Ф. \ред.\ --- Экземпляры всего: 1 Mесто хранения: аб (1) Свободны: аб (1) |
16 Б649 Бирюков, Борис Владимирович. Жар холодных числ и пафос бесстрастной логики [Текст] : формализация мышления от античных времен до эпохи кибернетики / Б. В. Бирюков . - 2-е изд., перераб. и доп. - Москва : Знание, 1985. - 192 с. : ил. ; 20 см. - (Наука и прогресс). - Библиогр. в примеч. в конце глав. - 60000 экз.. - 0.35 р. ГРНТИ 02.21 ББК Ю4 Ключевые слова: мышление -- кибернетика -- формализация мышления Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
Острейковский, Владислав Алексеевич. Информатика. Теория и практика [Электронный ресурс] : учебное пособие для студентов учреждений среднего профессионального образования / В. А. Острейковский, И. В. Полякова. - Москва : ОНИКС, 2008. - 601 с. - Библиогр.: с. 599-600. - ISBN 978-5-488-02110-5 : Б. ц. Допущено УМО ГРНТИ 20 Ключевые слова: информатика -- информация -- информационные процессы -- системы счисления -- основы логики -- компьютеры -- устройство компьютеров -- информационные технологии -- моделирование -- формализация -- алгоритмизация -- программирование Перейти к внешнему ресурсу полный текст в ЭБС bookonlime Доп.точки доступа: Полякова, И. В. --- Свободных экз. нет |
004 Ш384 Шедеева, С. Д. Теоретические основы информатики : курс лекций / С. Д. Шедеева ; Вост.-Сиб. гос. ун-т технологий и упр. - Улан-Удэ : Издательство ВСГУТУ, 2013. - 101 с. : ил. ; 20 см. - 100 экз.. - 55.00 р. ГРНТИ 50 УДК:004(075.8) Ключевые слова: информатика -- информация -- системы счисления -- кодирование информации -- логические выражения -- алгоритмизация -- программирование -- моделирование -- формализация -- курс лекций -- учебные пособия Перейти к внешнему ресурсу Полный текст, Перейти к внешнему ресурсу полный текст в ЭБС bookonlime Доп.точки доступа: Восточно-Сибирский государственный университет технологий и управления (Улан-Удэ) Экземпляры всего: 43 Mесто хранения: аб (41), кх (2) Свободны: аб (39), кх (2) |
6П8.74 Б871 Бражников, А. М. Элементы научно-технического прогнозирования [Текст] / А. М. Бражников. - Москва : [б. и.], 1972 - . - (Конспект лекций). Часть II. - 1972. - 62 с. - Б. ц. ГРНТИ 65.59 Ключевые слова: мясное производство -- научно-техническое прогнозирование -- формализация пищевой технологии -- термическая обработка Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
519.8 М742 Могилевский, Вадим Дмитриевич. Формализация динамических систем : научное издание / В. Д. Могилевский. - 3-е изд. - Москва : Вузовская книга, 2011. - 215, [1] с. : ил. ; 20 cм. - Библиогр.: с. 214-215. - 100 экз.. - ISBN 978-5-9502-0513-2 (в пер.) : 279.51 р. ГРНТИ 28.17.19 УДК:519.857 Ключевые слова: формализация динамических систем -- математическое моделирование -- динамические системы -- концептуальные модели системы -- классификация систем -- вербальное описание задач формализации -- гамильтоново представление движения систем -- теории систем -- вариационные принципы механики -- принцип Гамильтона -- канонические формы представления движения -- инварианты движения -- канонические преобразования -- волновое представление движений динамических систем -- управление динамическими системами Экземпляры всего: 15 Mесто хранения: чз (2), зал ППС (1), аб (12) Свободны: чз (2), зал ППС (1), аб (12) |
Шауцукова, Л. З. Теория (с задачами и решениями) [Электронный ресурс] : пособие по информатике для студентов / Л. З. Шауцукова ; Вост.-Сиб. гос. технол. ун-т. - Улан-Удэ : [б. и.], 2000. - 281 с. : ил. - Б. ц. ГРНТИ 50 Ключевые слова: информатика -- информационные процессы -- компьютеры -- алгоритмы -- моделирование -- формализация -- учебные пособия -- электронный вариант издания Перейти к внешнему ресурсу Полный текст, Перейти к внешнему ресурсу полный текст в ЭБС bookonlime Доп.точки доступа: Восточно-Сибирский государственный технологический университет (Улан-Удэ) Свободных экз. нет |
Безусова, Татьяна Алексеевна. Теория алгоритмов. Основные подходы к формализации алгоритма [Электронный ресурс] : учебное пособие / Т. А. Безусова. - Соликамск : Издательство Соликамского государственного педагогического института, 2011. - 62 с. - Б. ц. Ключевые слова: математика -- алгоритмы. -- высшая -- математика -- формализация -- понятия -- алгоритм Аннотация: В пособии рассмотрены различные подходы к формализации понятия алгоритм: машина Тьюринга, алгоритмы Маркова, рекурсивные функции. Пособие ориентировано на студентов 3-4 курсов математических факультетов педагогических вузов, обучающихся по специальности «Математика и информатика» и «Информатика и математика". Перейти к внешнему ресурсу Полный текст в ЭБС "Руконт" Свободных экз. нет |