Сапожников, Валерий Владимирович. Надежность систем железнодорожной автоматики, телемеханики и связи : учеб. пособие для вузов ж.д. трансп. / под ред. Вл. В. Сапожникова. - М. : Маршрут, 2003. - 263 с. - (Высш. проф. образование. Автоматика, телемеханика и связь на ж.-д. трансп.). - ISBN 5-89035-119-2 : 26.40 р. - Текст : непосредственный. Содержание: Показатели надежности Методы расчета надежности Надежность напольных устройств и аппаратуры СЖАТ Нормирование и доказательство безопасности систем железнодорожной автоматики Расчеты показателей безотказности и безопасности СЖАТ Надежность СЖАТ и качество перевозочного процесса
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Доп.точки доступа: Сапожников, Владимир Владимирович; Шаманов, Виктор Иннокентьевич; Сапожников, Владимир Владимирович \ред.\
Экземпляры всего: 47 АБ (46), ЧЗ №1 (1) Свободны: АБ (44), ЧЗ №1 (1) Количество выдач: 46
Основы теории надежности(ОснТН1). Основы теории надежности(ОсТН5).
Напр.
Спец.
УП/Д
Фак.
Каф.Ч.
Сем.
ФО
Тип
23.05.05
СОД.2
ОСНТН1/2
ФТС
ИрГУПС
7
Д/О
Осн
23.05.05
СОД.1_2023
ФО
СОД
7
Д/О
Доп
23.05.05
СОД.2_2023
ФО
СОД
7
Д/О
Доп
2.
656.25 С 33
Сертификация и доказательство безопасности систем железнодорожной автоматики / ред. В. В. Сапожников. - М. : Транспорт, 1997. - 289 с. - ISBN 5-277-02000-4 : Б. ц.. - Текст : непосредственный.
Шарыгин, Игорь Федорович. Задачи по геометрии: Планиметрия : сборник задач / И. Ф. Шарыгин. - М. : Наука. Гл. ред. физ.-мат. лит., 1982. - 160 с. - (Библиотечка "Квант" Выпуск 17). - 0.30 р. - Текст : непосредственный.
Трояновский, В. М. Логика в менеджменте : учеб. пособие / В. М. Трояновский. - М. : РДЛ, 2001. - 240 с. - ISBN 5-93840-013-9 : 49.80 р. - Текст : непосредственный. Содержание: А зачем бы мне это было нужно?(Вместо предисловия) . - С .3-7 Первые сведения . - С .8-28 Понятие . - С .29-48 Суждение . - С .49-99 Законы формальной логики . - С .100-114 Дедуктивное умозаключение . - С .115-141 Индуктивное умозаключение . - С .142-157 Аналогия и гипотеза . - С .158-169 Доказательство . - С .170-203 Ведение спора . - С .204-233 Да, логика - это полезно! . - С .234
Семенов, Ефим Евстафьевич. Изучаем геометрию : Книга для учащихся 6-8 кл. средней школы / Е. Е. Семенов. - М. : Просвещение, 1987. - 256 с. - (в пер.) : . - Текст : непосредственный.
Федосихина, Елизавета Александровна. Учимся логически мыслить : Профессиональная компетентность руководителя: учебно-методическое пособие / Е. А. Федосихина, Н. В. Силкина, О. И. Кашник ; Мин-во общего и проф. образования РФ, Красноярская ж.-д., Сибирский гос. ун-т путей сообщ. - Новосибирск : Сибирский хронограф ; Красноярск : [б. и.], 1999. - 175 с. - ISBN 5-87550-087-5 : Б. ц.. - Текст : непосредственный. Содержание: Теоретические основы логики Понятие как форма мышления Суждение как форма мышления Умозаключение как форма мышления Логические основы теории аргументации и доказательства Профессионально-логическая речь руководителя Убеждение Практикум. Тематика итоговых вопросов для проведения собеседования, курсовых зачетов и экзаменов Рекомендуемая литература
Доп.точки доступа: Силкина, Надежда Владимировна; Кашник, Ольга Ильинична; Министерство общего и профессионального образования Российской Федерации; Красноярская железная дорогаСибирский государственный университет путей сообщения
Экземпляры всего: 7 УА (3), АБ (4) Свободны: УА (3), АБ (4) Количество выдач: 3
Хохлов, Александр Алексеевич. Технические средства обеспечения безопасности движения на железных дорогах : учеб. пособие для ВУЗов ж.-д. трансп. / А. А. Хохлов, В. И. Жуков. - М. : УМЦ по образованию на ж.д. трансп., 2009. - 553 с. - (Высшее проф. образование). - ISBN 978-5-89035-575-1 : 217.80 р., 850.00 р. - Текст : непосредственный. Содержание: История развития технических средств обеспечения безопасности движения на железных дорогах. Цели и задачи курса Оценка безопасности и надежности конструкции. Основные термины и определения Методы качественной и количественной оценки безопасности и надежности ТСО БД Элементная база ТСО БД Сертификация и доказательство безопасности систем ТСО БД Организационные методы обеспечения безопасности движения Технические средства обеспечения безопасности движения на перегонах и станциях Технические средства комплексной механизации на сортировочных горках и обеспечения безопасности движения на переездах Системы автоматического контроля и обеспечения безопасности движения подвижного состава Основные принципы формирования системы управления безопасностью движения подвижного состава Обеспечение безопасности движения устройствами автоматизированной диагностики подвижного состава Обеспечение безопасности движения устройствами автоматизированной диагностики подвижного состава Системы контроля безопасного вождения локомотивов машинистами Перспективные технологии и технические средства обеспечения безопасности движения подвижного состава Безопасность движения при выполнении ремонтных работ на железнодорожных путях
Техническая эксплуатация железных дорог и безопасность движения поездов(ТЭЖДБДП). Теория безопасности движения поездов(ТБДП2). Технические средства обеспечения безопасности на транспорте(ТСОБждт). Транспортные системы обеспечения безопасности движения(ТСОБД). Эксплуатация технических средств обеспечения движения поездов(ЭТСОДП1). Эксплуатация технических средств обеспечения движения поездов(ЭТСОДП2). Курсы помощников машинистов(КПМ2). Техническая эксплуатация и безопасность движения на железнодорожном транспорте(ТЭБДЖДТ). Эксплуатация систем обеспечения движения поездов(ЭСОДП). Организация обеспечения безопасности движения и автоматические тормоза(ООБДАТ). Сооружение, монтаж и эксплуатация устройств электроснабжения(СМЭУЭ). Тормозные системы и приборы безопасности ЭПС(ТСПБЭПС).
Напр.
Спец.
УП/Д
Фак.
Каф.Ч.
Сем.
ФО
Тип
23.03.03
ЭТТП.4_2023
ФО
ЭЖД
3
Д/О
Осн
23.03.03
ЭТТП.4_2021
ФО
ЭЖД
3
Д/О
Доп
23.05.05
СОД.1
ТБДП2/1
ФТС
СОД
5
Д/О
Осн
23.03.01
ТТПп.1
ТСОБждт/1
ФТС
ЭЖД
5
д/о
Доп
23.03.01
ТТПп.1
ФТС
ЭЖД
5
д/о
Осн
23.05.05
СОД.2
ЭТСОДП1/2
ФТС
СОД
7
Д/О
Осн
23.05.05
СОД.1
ЭТСОДП2/1
ФТС
СОД
7
Д/О
Доп
23.03.03
ЭТТП.4_2019
КПМ2/1
ФО
ЭЖД
7
Д/О
Осн
23.03.01
ТТПП.1_2021
ФО
ЭЖД
7
Д/О
Осн
23.03.01
ТТПП.1_2023
ТСОБД/2
ФО
ЭЖД
7
Д/О
Осн
23.03.01
ТТПП.1_2021
ФО
ЭЖД
7
Д/О
Осн
23.03.01
ТТПП.1_2023
ТСОБждт/2
ФО
ЭЖД
7
Д/О
Осн
23.03.01
ТТПП.1_2021
ФО
ЭЖД
7
Д/О
Осн
23.03.01
ТТПП.1_2023
ТЭБДЖДТ/1
ФО
ЭЖД
7
Д/О
Осн
23.05.05
СОД.1_2019
ЭСОДП/2
ФО
СОД
8
Д/О
Осн
23.05.05
СОД.2_2019
ЭСОДП/1
ФО
СОД
8
Д/О
Осн
23.05.05
СОД.1_2023
ФО
СОД
8
Д/О
Осн
23.05.05
СОД.2_2023
ФО
СОД
8
Д/О
Осн
23.05.03
ПСЖ.3Z
ООБДАТ/1
ФЗ
ЭЖД
9
З/О
Осн
23.05.05
СОД.1_2019
СМЭУЭ/1
ФО
СОД
9
Д/О
Доп
23.05.05
СОД.1_2023
ФО
СОД
9
Д/О
Доп
23.05.03
ПСЖ.3Z
ТСПБЭПС/1
ФЗ
ЭЖД
11
З/О
Осн
8.
16 Д 30
Демидов, Игорь Владимирович. Логика : учебник для бакалавров / И. В. Демидов ; под редакцией Б. И. Каверина ; рецензенты : Б. В. Салихов, А. Н. Тараканов. - 10-е изд. - Москва : Дашков и К°, 2021. - 346 с. on-line - Вид и объём ресурса: Электрон. текстовые дан. - (Учебные издания для бакалавров). - Систем. требования: Internet Explorer 4.0.2 и выше. - Университетская библиотека online. - ISBN 978-5-394-04367-3 : Б. ц.. - Текст : электронный. Содержание: Логика как наука : глава 1. - С .11-52 Понятие : глава 2. - С .53-103 Суждение : глава 3. - С .104-136 Логика вопросов и ответов : глава 4. - С .137-164 Дедуктивное умозаключение : глава 5. - С .165-200 Индуктивное умозаключение : глава 6. - С .201-217 Умозаключение по аналогии : глава 7. - С .218-235 Основные формально-логические законы : глава 8. - С .236-264 Гипотеза : глава 9. - С .265-288 Доказательство : глава 10. - С .289-322
Рубрики: Логика Кл.слова (ненормированные): МЫШЛЕНИЕ -- ВИДЫ ПОНЯТИЙ -- ВИДЫ СУЖДЕНИЙ -- ВИДЫ ВОПРОСОВ -- ВИДЫ ОТВЕТОВ -- ВИДЫ ИНДУКЦИИ -- ВИДЫ АНАЛОГИИ -- ВИДЫ ГИПОТЕЗ -- ВИДЫ ДОКАЗАТЕЛЬСТВ Аннотация: Учебное пособие включает все основные разделы курса классической логики, определяемые требованиями Государственного образовательного стандарта для юристов. Теоретический материал снабжен практическими упражнениями для закрепления учебного материала и логическими задачами. Для студентов, аспирантов, преподавателей и научных работников юридических вузов.
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Доп.точки доступа: Каверин, Б. И. \ред.\; Салихов, Б. В. \рец.\; Тараканов, А. Н. \рец.\
Свободных экз. нет Количество выдач: 0000000
Здравствуй, Абакан-Тайшет! : о комсомольцах и молодежи покоривших Саяны / В. Г. Распутин, Б. Н. Полевой ; сост. Б. Макаров. - Красноярск : Красноярское книжное издательство, 1975. - 302 с. - Автор указан на обороте титульного листа. - Б. ц.. - Текст : непосредственный.
Кл.слова (ненормированные): АБАКАН-ТАЙШЕТ, МАГИСТРАЛЬ -- КОШУРНИКОВО, СТАНЦИЯ -- СТРОИТЕЛЬСТВО ЖЕЛЕЗНОЙ ДОРОГИ АБАКАН - ТАЙШЕТ Аннотация: Железнодорожная магистраль Абакан – Тайшет, которую называли трассой мужества, вошла в биографию комсомола одной из ее замечательных страниц. Подвиг изыскателей А. Кошурникова, А. Журавлева, К. Стофато был для тысяч молодых строителей живым примером мужества и высокой гражданственности. Дневник А. Кошурникова – это ярчайшее проявление силы духа советского молодого человека – открывает эту книгу. Вторая ее часть повествует о комсомольцах и молодежи 60-х годов, протянувших сквозь неприступные Саяны серебряные рельсы. Традиции, дух, опыт Абакан – Тайшета – это живая сила и поныне. тому доказательство дела бывших абакан-тайшетцев и поколения комсомольцев 70-х годов, которые трудятся на различных стройках страны, в том числе и на стройке века – БАМе. Об этом – третья часть книги.
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Доп.точки доступа: Распутин, Валентин Григорьевич (писатель ; 1937 - 2015); Полевой, Борис Николаевич (1908 - 1981); Кампов, Борис Николаевич; Макаров, Б. \сост.\; Местное (краевое) издание с краеведческим материалом.
Экземпляры всего: 2 УА (2) Свободны: УА (2) Количество выдач: 1
Гусев, Дмитрий Алексеевич. Логика : учебное пособие / Д. А. Гусев ; рец. С. В. Кузнецова [и др.]. - Москва : Прометей, 2015. - 299 с. on-line - Вид и объём ресурса: Электрон. текстовые дан. - Систем. требования: Internet Explorer 4.0.2 и выше. - Университетская библиотека online. - ISBN 978-5-9906264-8-5 : Б. ц.. - Текст : электронный. Содержание: Введение, или что такое логика и зачем она нужна . - С .6-14 Понятие : глава 1. - С .15-61 Суждение : глава 2. - С .62-122 Умозаключение : глава 3. - С .123-181 Основные законы логики : глава 4. - С .182-228 Доказательство : глава 5. - С .229-296
Рубрики: Логика Кл.слова (ненормированные): ПОНЯТИЯ, ВИДЫ -- СУЖДЕНИЯ, ВИДЫ -- ВОПРОСЫ, ВИДЫ -- УМОЗАКЛЮЧЕНИЯ, ВИДЫ -- ДИЛЕММА -- ИНДУКЦИЯ -- АНАЛОГИЯ -- ЗАКОН ТОЖДЕСТВА -- ПРОТИВОРЕЧИЯ, ВИДЫ -- СОФИЗМЫ -- ПАРАДОКСЫ -- ПОДТВЕРЖДЕНИЯ -- ОПРОВЕРЖЕНИЯ Аннотация: Что такое логика? Чем занимается эта древняя и в то же время всегда молодая наука? Зачем она нужна, можно ли без нее обойтись, и какую роль она играет в жизни человека? Что такое формы мышления и каковы основные законы мышления? К чему приводят многочисленные логические ошибки, которые мы непроизвольно или сознательно допускаем в мышлении и речи? Что такое доказательство и каковы его разновидности? Что представляют собой основные правила доказательства и ошибки, возникающие при их нарушении? Как сделать свои мысли ясными и отчетливыми, как надо их выражать, чтобы окружающие всегда понимали, что вы хотите сказать; как отстаивать свою точку зрения и убеждать собеседника? Как грамотно вести дискуссию и одерживать победу в споре? Что такое софизмы и логические парадоксы? Обо всем этом вы узнаете, прочитав книгу, которая отличается от многих других учебных пособий по логике тем, что читать ее будет нетрудно: автор, много лет преподающий логику студентам и школьникам, постарался сделать предлагаемый вашему вниманию материал простым и ясным, а по возможности – интересным и увлекательным. Книга адресована студентам и школьникам, изучающим логику, преподавателям - в качестве обмена педагогическим опытом - и всем, интересующимся логикой и другими гуманитарными науками.
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Доп.точки доступа: Кузнецова, С. В. \рец.\; Алешинская, Е. В. \рец.\; Флеров, О. В. \рец.\
Свободных экз. нет Количество выдач: 0000000
Надежность систем железнодорожной автоматики, телемеханики и связи : учебное пособие для студентов вузов железнодорожного транспорта / Вл. В. Сапожников, В. В. Сапожников, Д. В. Ефанов, В. И. Шаманов ; под редакцией Вл. В. Сапожникова ; рецензент В. Б. Мехов. - Москва : УМЦ ЖДТ, 2017. - 318 с. on-line - Вид и объём ресурса: Электрон. текстовые дан. - (Высшее образование). - Систем. требования: Internet Explorer 4.0.2 и выше. - ЭБ «УМЦ ЖДТ». - ISBN 978-5-906938-01-5 : Б. ц.. - Текст : электронный. Содержание: Показатели надежности . - С .8-41 Методы расчета надежности . - С .42-101 Воздействия на объекты и надежность систем автоматики и связи . - С .102-121 Надежность элементной базы, аппаратуры и напольных устройств автоматики и связи . - С .122-158 Нормирование и доказательство безопасности систем железнодорожной автоматики . - С .159-180 Расчеты показателей безотказности и безопасности СЖАТ . - С .181-244 Надежность систем автоматики и телемеханики . - С .245-271 Надежность систем связи . - С .272-286 Надежность СЖАТ и качество перевозочного процесса . - С .287-306
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Доп.точки доступа: Сапожников, Владимир Владимирович; Сапожников, Валерий Владимирович; Ефанов, Дмитрий Викторович; Шаманов, Виктор Иннокентьевич; Сапожников, Владимир Владимирович \ред.\; Мехов, В. Б. \рец.\
Свободных экз. нет Количество выдач: 0000000
Основы теории надежности(ОснТН1). Основы теории надежности(ОсТН4).
Напр.
Спец.
УП/Д
Фак.
Каф.Ч.
Сем.
ФО
Тип
23.05.05
СОД.2
ОСНТН1/2
ФТС
ИрГУПС
7
Д/О
Осн
23.05.05
СОД.2_2019
ОСТН4/3
ФО
СОД
8
Д/О
Осн
12.
16 С 24
Светлов, Виктор Александрович. Логика. Современный курс : учебное пособие для вузов / В. А. Светлов. - 2-е изд., испр. и доп. - Москва : Юрайт, 2020. - 403 с. on-line - Вид и объём ресурса: Электрон. текстовые дан. - (Высшее образование). - Систем. требования: Internet Explorer 4.0.2 и выше. - ЭБС Юрайт. - ISBN 978-5-534-03145-4 : Б. ц.. - Текст : электронный. Содержание: Предисловие . - С .6 ТРАДИЦИОННАЯ ЛОГИКА : часть I Понятие : глава 1. - С .39 Суждение : глава 2. - С .84 Дедуктивные умозаключения : глава 3. - С .116 Дедуктивное доказательство и опровержение : глава 4. - С .162 Доказательство и опровержение как искусство риторики : глава 5. - С .185 КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ : часть II Логика высказываний : глава 6. - С .212 Логика предикатов : глава 7. - С .263 НЕКЛАССИЧЕСКАЯ ЛОГИКА : часть III Индуктивная логика : глава 8. - С .301 Модальная логика : глава 9. - С .333 Парадоксы : глава 10. - С .367
Рубрики: Логика Аннотация: В учебном пособии представлена логика как наука об открытии, развитии, обосновании и аргументации истины. В нем подробно объясняются основные понятия, рассматривается большое количество примеров. Отдельная глава посвящена анализу и решению наиболее известных логических парадоксов. Главный акцент в книге сделан на раскрытии познавательного потенциала логики. С этой целью теоретическая часть сведена к минимуму.
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Учебное пособие. рекомендовано региональным уч-метод. центром ВУЗа. ВУЗ. Дисциплины:
Логика(Л).
Напр.
Спец.
УП/Д
Фак.
Каф.Ч.
Сем.
ФО
Тип
23.03.01
ТТПП.1_2023
Л/8
ФО
УП
1
Д/О
Доп
23.03.01
ТТПП.2_2023
Л/9
ФО
УП
1
Д/О
Доп
38.04.03
УПМ.2
Л/1
ФО
УП
1
В/О
Доп
38.04.01
ЭМА.7
ФО
УП
1
В/О
Доп
23.05.05
СОД.1_2019
Л/4
ФО
УП
3
Д/О
Доп
23.05.05
СОД.1_2023
ФО
УП
3
Д/О
Доп
23.05.05
СОД.2_2019
Л/3
ФО
УП
3
Д/О
Доп
23.05.05
СОД.2_2023
ФО
УП
3
Д/О
Доп
23.05.06
СЖД.1_2019
Л/1
ФО
УП
6
д/о
Доп
23.05.06
СЖД.1_2023
ФО
УП
6
Д/О
Доп
23.05.06
СЖД.2_2019
Л/2
ФО
УП
6
Д/О
Доп
23.05.06
СЖД.2_2023
ФО
УП
6
Д/О
Доп
23.05.03
ПСЖ.3Z
Л/14
ФЗ
УП
8
З/О
Доп
13.
16 Б 89
Брылина, И. В. Логика и навыки критического мышления : учебное пособие / И. В. Брылина, Н. М. Панькова ; Министерство науки и высшего образования Российской Федерации, Национальный исследовательский Томский политехнический университет. - Томск : Томский политехнический университет, 2020. - 80 с. on-line - Вид и объём ресурса: Электрон. текстовые дан. - Систем. требования: Internet Explorer 4.0.2 и выше. - lanbook.com. - ISBN 978-5-4387-0959-6 : Б. ц.. - Текст : электронный. Содержание: Ведение . - С .5 Предмет и законы логики : раздел I. - С .7 Предмет науки логики : тема 1. - С .7 Язык логики и законы мышления : тема 2. - С .10 Формы мышления : раздел II. - С .21 Понятие : тема 3. - С .21 Простые суждения : тема 4. - С .30 Сложное суждение и его виды : тема 5. - С .35 Умозаключение и его виды : тема 6. - С .45 Непосредственное умозаключение : тема 7. - С .48 Дедуктивное умозаключение : тема 8. - С .53 Индуктивное умозаключение и умозаключение по аналогии : тема 9. - С .62 Аргументация и критическое мышление : раздел III. - С .67 Доказательство. Опровержение. Аргументация : тема 10. - С .67
Рубрики: Логика--Критическое мышление Аннотация: В пособии подробно рассмотрены основные законы и формы правильного мышления, категории логики и диалектики; отражена роль логики в становлении критического мышления. Авторы опираются на новые научные и учебные издания (2000-х гг.). Предназначено для магистрантов всех направлений и специальностей и всех заинтересованных в развитии логической компетенции.
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Доп.точки доступа: Панькова, Н. М.; Министерство науки и высшего образования Российской ФедерацииНациональный исследовательский Томский политехнический университет
Свободных экз. нет Количество выдач: 0000000
Ивин, Александр Архипович. Логика. Элементарный курс : учебное пособие для вузов / А. А. Ивин. - 2-е изд., испр. и доп. - Москва : Юрайт, 2021. - 215 с. on-line - Вид и объём ресурса: Электрон. текстовые дан. - (Высшее образование). - Систем. требования: Internet Explorer 4.0.2 и выше. - ЭБС Юрайт. - ISBN 978-5-534-09541-8 : Б. ц.. - Текст : электронный. Содержание: Предмет логики : тема 1 Слова и вещи : тема 2 Имена : тема 3 Высказывания : тема 4 Логические законы : тема 5 Логика категорических высказываний : тема 6 Доказательство и опровержение : тема 7 Индуктивные рассуждения : тема 8 Логические особенности естественного языка : тема 9 Дискуссия и полемика : тема 10 Убедительные основания : тема 11
Рубрики: Логика Аннотация: В учебном пособии изложены основы логики. Рассмотрен предмет логики и его составляющие, язык как знаковая система, его грамматика и связь с миром. Описаны имена и их виды, высказывания, логические законы. Приведена логика категорических высказываний и логические особенности естественного языка. Рассмотрены доказательство и опровержение, индуктивные рассуждения, дискуссия и полемика, виды убедительных оснований.
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Учебное пособие. рекомендовано региональным уч-метод. центром ВУЗа. ВУЗ. Дисциплины:
Логика(Л).
Напр.
Спец.
УП/Д
Фак.
Каф.Ч.
Сем.
ФО
Тип
38.04.03
УПМ.2
Л/1
ФО
УП
1
В/О
Осн
38.04.01
ЭМА.7
ФО
УП
1
В/О
Осн
15.
519 Б 53
Бессмертный, Игорь Александрович. Интеллектуальные системы : учебник и практикум для вузов / И. А. Бессмертный, А. Б. Нугуманова, А. В. Платонов. - Москва : Юрайт, 2023. - 243 с. on-line - Вид и объём ресурса: Электрон. текстовые дан. - (Высшее образование). - Систем. требования: Internet Explorer 4.0.2 и выше. - ЭБС Юрайт. - ISBN 978-5-534-01042-8 : Б. ц.. - Текст : электронный. Содержание: Введение Интеллектуальные системы, основанные на знаниях : часть 1 Основы логического программирования : глава 1 Язык Prolog как среда логического программирования Prolog и автоматическое доказательство теорем Методы поиска на дереве решений : глава 2 Задачи, решаемые перебором вариантов Методы спуска по дереву решений Экспоненциальная сложность поиска на дереве решений и методы ее редуцирования : глава 3 Наивный логический поиск и задачи реального мира Алгоритмические методы ускорения поиска Теоретико-множественные методы ускорения поиска Методы поиска, основанные на прецедентах Основы машинного обучения : часть II Введение в машинное обучение. Этапы решения задач машинного обучения : глава 4 Обучение с учителем : глава 5 Обучение без учителя : глава 6 Обработка естественного языка и машинный анализ текстов : часть III Обработка естественного языка : глава 7 Машинный анализ текстов на естественном языке : глава 8 Моделирование текстов на естественном языке : глава 9 Рекомендуемая литература
Рубрики: Искусственный интеллект Аннотация: Развитие компьютерных и телекоммуникационных технологий достигло уровня, позволяющего внедрять интеллектуальные методы не только в мощные вычислительные системы, но даже в персональные компьютеры и мобильные устройства. Примерами реализации интеллектуальных методов могут служить поисковые системы (Google, Яндекс), системы оптического распознавания текстов, речевого ввода данных, машинного перевода, автомобильной навигации и др. В курсе собраны наиболее полезные и простые подходы к решению интеллектуальных задач, апробированные в учебном процессе на кафедре вычислительной техники Университета ИТМО (Санкт-Петербургского национального исследовательского университета информационных технологий, механики и оптики).
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Доп.точки доступа: Нугуманова, Алия Багдатовна; Платонов, Алексей Владимирович
Свободных экз. нет Количество выдач: 0000000