656.25 С 19 Сапожников, Валерий Владимирович. Надежность систем железнодорожной автоматики, телемеханики и связи : учеб. пособие для вузов ж.д. трансп. / под ред. Вл. В. Сапожникова. - М. : Маршрут, 2003. - 263 с. - (Высш. проф. образование. Автоматика, телемеханика и связь на ж.-д. трансп.). - ISBN 5-89035-119-2 : 26.40 р. - Текст : непосредственный. Содержание: Показатели надежности Методы расчета надежности Надежность напольных устройств и аппаратуры СЖАТ Нормирование и доказательство безопасности систем железнодорожной автоматики Расчеты показателей безотказности и безопасности СЖАТ Надежность СЖАТ и качество перевозочного процесса
Кл.слова (ненормированные): показатели надежности -- расчет надежности -- безопасность СЖАТ -- безотказность СЖАТ -- надежность СЖАТ -- перевозочный процесс Для просмотра полного текста, пожалуйста, авторизируйтесь. Доп.точки доступа: Сапожников, Владимир Владимирович; Шаманов, Виктор Иннокентьевич; Сапожников, Владимир Владимирович \ред.\ Экземпляры всего: 47 АБ (46), ЧЗ №1 (1) Свободны: АБ (44), ЧЗ №1 (1) Количество выдач: 46 |
656.25 С 33 Сертификация и доказательство безопасности систем железнодорожной автоматики / ред. В. В. Сапожников. - М. : Транспорт, 1997. - 289 с. - ISBN 5-277-02000-4 : Б. ц.. - Текст : непосредственный.
Кл.слова (ненормированные): безопасность методология доказательства -- метод экспертный -- алгоритм технологический -- совместимость электромагнитная -- информация сбор -- информация обработка -- устройство микроэлектронное Для просмотра полного текста, пожалуйста, авторизируйтесь. Доп.точки доступа: Сапожников, Владимир Владимирович \ред.\ Экземпляры всего: 3 УА (3) Свободны: УА (3) Количество выдач: 0000000 |
51 Ш 26 Шарыгин, Игорь Федорович. Задачи по геометрии: Планиметрия : сборник задач / И. Ф. Шарыгин. - М. : Наука. Гл. ред. физ.-мат. лит., 1982. - 160 с. - (Библиотечка "Квант" Выпуск 17). - 0.30 р. - Текст : непосредственный.
Кл.слова (ненормированные): Вычисление -- Доказательство -- Окружность -- Указания -- Решения -- Неравенства -- Площадь -- Треугольник -- Призма -- Многоугольник -- Параллелепипед -- Конус Экземпляры всего: 2 УА (2) Свободны: УА (2) Количество выдач: 0000000 |
005 Т 76 Трояновский, В. М. Логика в менеджменте : учеб. пособие / В. М. Трояновский. - М. : РДЛ, 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
Логика Для просмотра полного текста, пожалуйста, авторизируйтесь. Экземпляры всего: 1 ДХ (1), ЧЗ №2 Свободны: ДХ (1) Количество выдач: 0000000 |
51 С 30 Семенов, Ефим Евстафьевич. Изучаем геометрию : Книга для учащихся 6-8 кл. средней школы / Е. Е. Семенов. - М. : Просвещение, 1987. - 256 с. - (в пер.) : . - Текст : непосредственный.
Кл.слова (ненормированные): Прямая -- Плоскость -- Измерения -- Аксиома -- Теорема -- Доказательство -- Теорема Пифагора -- Движение -- Функция -- Планиметрия Свободных экз. нет Количество выдач: 0000000 |
16 Ф 33 Федосихина, Елизавета Александровна. Учимся логически мыслить : Профессиональная компетентность руководителя: учебно-методическое пособие / Е. А. Федосихина, Н. В. Силкина, О. И. Кашник ; Мин-во общего и проф. образования РФ, Красноярская ж.-д., Сибирский гос. ун-т путей сообщ. - Новосибирск : Сибирский хронограф ; Красноярск : [б. и.], 1999. - 175 с. - ISBN 5-87550-087-5 : Б. ц.. - Текст : непосредственный. Содержание: Теоретические основы логики Понятие как форма мышления Суждение как форма мышления Умозаключение как форма мышления Логические основы теории аргументации и доказательства Профессионально-логическая речь руководителя Убеждение Практикум. Тематика итоговых вопросов для проведения собеседования, курсовых зачетов и экзаменов Рекомендуемая литература
Кл.слова (ненормированные): логика -- форма мышления -- суждение -- умозаключение -- аргументация -- доказательство -- речь профессионально-логическая -- убеждение Доп.точки доступа: Силкина, Надежда Владимировна; Кашник, Ольга Ильинична; Министерство общего и профессионального образования Российской Федерации; Красноярская железная дорогаСибирский государственный университет путей сообщения Экземпляры всего: 7 УА (3), АБ (4) Свободны: УА (3), АБ (4) Количество выдач: 3 |
656.2 Х86 Хохлов, Александр Алексеевич. Технические средства обеспечения безопасности движения на железных дорогах : учеб. пособие для ВУЗов ж.-д. трансп. / А. А. Хохлов, В. И. Жуков. - М. : УМЦ по образованию на ж.д. трансп., 2009. - 553 с. - (Высшее проф. образование). - ISBN 978-5-89035-575-1 : 217.80 р., 850.00 р. - Текст : непосредственный. Содержание: История развития технических средств обеспечения безопасности движения на железных дорогах. Цели и задачи курса Оценка безопасности и надежности конструкции. Основные термины и определения Методы качественной и количественной оценки безопасности и надежности ТСО БД Элементная база ТСО БД Сертификация и доказательство безопасности систем ТСО БД Организационные методы обеспечения безопасности движения Технические средства обеспечения безопасности движения на перегонах и станциях Технические средства комплексной механизации на сортировочных горках и обеспечения безопасности движения на переездах Системы автоматического контроля и обеспечения безопасности движения подвижного состава Основные принципы формирования системы управления безопасностью движения подвижного состава Обеспечение безопасности движения устройствами автоматизированной диагностики подвижного состава Обеспечение безопасности движения устройствами автоматизированной диагностики подвижного состава Системы контроля безопасного вождения локомотивов машинистами Перспективные технологии и технические средства обеспечения безопасности движения подвижного состава Безопасность движения при выполнении ремонтных работ на железнодорожных путях
Кл.слова (ненормированные): СЦБ, ИСТОРИЯ -- ТСО БД -- НАДЕЖНОСТЬ, ПАРАМЕТРЫ -- ТЕХНИЧЕСКИЕ СРЕДСТВА, БЕЗОПАСНОСТЬ -- НЕВОССТАНАВЛИВАЕМЫЕ ОБЪЕКТЫ -- ТСО БД, ОТКАЗЫ -- НАПОЛЬНЫЕ УСТРОЙСТВА -- КАБЕЛЬНЫЕ ЛИНИИ -- ВОЗДУШНЫЕ ЛИНИИ -- УСТРОЙСТВА ЭЛЕКТРОСНАБЖЕНИЯ -- РЕМОНТОПРИГОДНОСТЬ -- ТРАНСПОРТНОЕ ПРОИСШЕСТВИЕ, КЛАССИФИКАЦИЯ -- БЛОКИРОВКА, ПОЛУАВТОМАТИЧЕСКАЯ -- БЛОКИРОВКА, АВТОМАТИЧЕСКАЯ -- АВТОБЛОКИРОВКА -- СОРТИРОВОЧНАЯ ГОРКА -- АСООД -- САКМА -- АСКО ПВ -- ТЕХНОЛОГИЧЕСКАЯ ДИСЦИПЛИНА, КОНТРОЛЬ -- ЖЕЛЕЗНОДОРОЖНЫЙ ПУТЬ, ДИАГНОСТИКА -- ЛОКОМОТИВНАЯ БРИГАДА, ДЕЯТЕЛЬНОСТЬ -- МАШИНИСТ -- ОГРАЖДЕНИЕ -- ПОДВИЖНОЙ СОСТАВ, ОБСЛУЖИВАНИЕ -- БУКСОВЫЙ УЗЕЛ, ДИАГНОСТИКА -- КОЛЕСНАЯ ПАРА, ДИАГНОСТИКА -- СИСТЕМА ОПОВЕЩЕНИЯ Аннотация: В пособии рассматриваются основные проблемы, связанные с обеспечением надежности и безопасности технических средств, обеспечивающих движение поездов (ТСО БД), элементная база, вопросы сертификации и связанные с этим организационные методы. Излагаются принципы формирования систем управления безопасностью движения. Приводятся конструктивные решения TCO БД, устанавливаемых на перегонах и станциях, средств комплексной механизации на сортировочных горках и переездах, систем автоматического контроля обеспечения безопасности движения. Рассмотрены нормативы содержания и устройства диагностики состояния железнодорожного пути. Особое внимание уделено анализу систем контроля безопасного вождения локомотивов машинистами и влиянию человеческого фактора на безопасность движения. Излагаются вопросы безопасности движения при выполнении ремонтных работ на железнодорожных путях. Предназначено для студентов, обучающихся по специальности "Организация и безопасность движения", аспирантов, инженеров, разрабатывающих TCO БД в рамках создания системы управления безопасностью движения поездов, а также для работников всех служб, обеспечивающих безопасность движения на железнодорожном транспорте. Для просмотра полного текста, пожалуйста, авторизируйтесь. Доп.точки доступа: Жуков, Виктор Иванович Экземпляры всего: 34 АБ (33), ЧЗ №1 (1) Свободны: АБ (30), ЧЗ №1 (1) Количество выдач: 89 |
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 |
656.2 З-46 Здравствуй, Абакан-Тайшет! : о комсомольцах и молодежи покоривших Саяны / В. Г. Распутин, Б. Н. Полевой ; сост. Б. Макаров. - Красноярск : Красноярское книжное издательство, 1975. - 302 с. - Автор указан на обороте титульного листа. - Б. ц.. - Текст : непосредственный.
Кл.слова (ненормированные): АБАКАН-ТАЙШЕТ, МАГИСТРАЛЬ -- КОШУРНИКОВО, СТАНЦИЯ -- СТРОИТЕЛЬСТВО ЖЕЛЕЗНОЙ ДОРОГИ АБАКАН - ТАЙШЕТ Аннотация: Железнодорожная магистраль Абакан – Тайшет, которую называли трассой мужества, вошла в биографию комсомола одной из ее замечательных страниц. Подвиг изыскателей А. Кошурникова, А. Журавлева, К. Стофато был для тысяч молодых строителей живым примером мужества и высокой гражданственности. Дневник А. Кошурникова – это ярчайшее проявление силы духа советского молодого человека – открывает эту книгу. Вторая ее часть повествует о комсомольцах и молодежи 60-х годов, протянувших сквозь неприступные Саяны серебряные рельсы. Традиции, дух, опыт Абакан – Тайшета – это живая сила и поныне. тому доказательство дела бывших абакан-тайшетцев и поколения комсомольцев 70-х годов, которые трудятся на различных стройках страны, в том числе и на стройке века – БАМе. Об этом – третья часть книги. Для просмотра полного текста, пожалуйста, авторизируйтесь. Доп.точки доступа: Распутин, Валентин Григорьевич (писатель ; 1937 - 2015); Полевой, Борис Николаевич (1908 - 1981); Кампов, Борис Николаевич; Макаров, Б. \сост.\; Местное (краевое) издание с краеведческим материалом. Экземпляры всего: 2 УА (2) Свободны: УА (2) Количество выдач: 1 |
16 Г 96 Гусев, Дмитрий Алексеевич. Логика : учебное пособие / Д. А. Гусев ; рец. С. В. Кузнецова [и др.]. - Москва : Прометей, 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 |
656.25 С 19 Надежность систем железнодорожной автоматики, телемеханики и связи : учебное пособие для студентов вузов железнодорожного транспорта / Вл. В. Сапожников, В. В. Сапожников, Д. В. Ефанов, В. И. Шаманов ; под редакцией Вл. В. Сапожникова ; рецензент В. Б. Мехов. - Москва : УМЦ ЖДТ, 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
Кл.слова (ненормированные): ПОКАЗАТЕЛИ НАДЕЖНОСТИ -- РАСЧЕТ НАДЕЖНОСТИ -- БЕЗОПАСНОСТЬ СЖАТ -- ОТКАЗЫ СИСТЕМ АВТОМАТИКИ -- НАДЕЖНОСТЬ СЖАТ -- ПЕРЕВОЗОЧНЫЙ ПРОЦЕСС -- ОТКАЗЫ -- ПОТОК ОТКАЗОВ -- ТЕОРИЯ НАДЕЖНОСТИ ПОКАЗАТЕЛЕЙ -- НЕВОССТАНАВЛИВАЕМЫЕ СИСТЕМЫ, НАДЕЖНОСТЬ -- ВИДЫ РЕЗЕРВИРОВАНИЯ -- СЖАТ -- КАБЕЛЬНЫЕ ЛИНИИ, БЕЗОТКАЗНОСТЬ -- ВОЗДУШНЫЕ ЛИНИИ, БЕЗОТКАЗНОСТЬ -- БЕЗОТКАЗНОСТЬ АППАРАТУРЫ -- УСТРОЙСТВА ЭЛЕКТРОСНАБЖЕНИЯ, БЕЗОТКАЗНОСТЬ -- НАДЕЖНОСТЬ СИСТЕМ МОДЕЛИРОВАНИЯ -- МИКРОЭЛЕКТРОННЫЕ СИСТЕМЫ, НАДЕЖНОСТЬ -- ПОЛУПРОВОДНИКОВЫЕ ПРИБОРЫ, ОТКАЗЫ -- ИНТЕГРАЛЬНЫЕ СХЕМЫ, ОТКАЗЫ -- ПРИЧИНЫ ОТКАЗОВ -- ТЕХНОЛОГИЧЕСКАЯ РАДИОСВЯЗЬ, НАДЕЖНОСТЬ -- ДВУХСТОРОННЯЯ ПАРКОВАЯ СВЯЗЬ -- МАГИСТРАЛЬНАЯ ЦИФРОВАЯ СВЯЗЬ -- РЕМОНТОПРИГОДНОСТЬ -- АЛСН -- ДИСПЕТЧЕРСКАЯ ЦЕНТРАЛИЗАЦИЯ -- МАЖОРИТАРНЫЕ СИСТЕМЫ -- ДВУХКАНАЛЬНЫЕ СИСТЕМЫ -- НАДЕЖНОСТЬ ТРАНСФОРМАТОРА -- НАДЕЖНОСТЬ ДРОССЕЛЕЙ -- НАДЕЖНОСТЬ ДРОССЕЛЬ-ТРАНСФОРМАТОРА -- РЕЛЬСОВЫЕ ЦЕПИ, БЕЗОТКАЗНОСТЬ -- ПУЛЬТ-ТАБЛО Аннотация: Изложены основные понятия и определения теории надежности, методы расчета надежности резервированных и нерезервированных систем автоматики и вычислительной техники. Проведен анализ причин отказов устройств железнодорожной автоматики, телемеханики и связи. Приведены статистические данные об отказах. Рассмотрены методы расчета и нормирования показателей безопасности. Произведено сравнение основных безопасных структур. Рассмотрено влияние надежности систем управления на качество перевозочного процесса. Предназначено для студентов вузов железнодорожного транспорта, обучающихся по направлению 23.05.05 "Системы обеспечения движения поездов", может быть полезно аспирантам, научным сотрудникам, а также специалистам, связанным с разработкой устройств железнодорожной автоматики, телемеханики и связи. Для просмотра полного текста, пожалуйста, авторизируйтесь. Доп.точки доступа: Сапожников, Владимир Владимирович; Сапожников, Валерий Владимирович; Ефанов, Дмитрий Викторович; Шаманов, Виктор Иннокентьевич; Сапожников, Владимир Владимирович \ред.\; Мехов, В. Б. \рец.\ Свободных экз. нет Количество выдач: 0000000 |
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
Аннотация: В учебном пособии представлена логика как наука об открытии, развитии, обосновании и аргументации истины. В нем подробно объясняются основные понятия, рассматривается большое количество примеров. Отдельная глава посвящена анализу и решению наиболее известных логических парадоксов. Главный акцент в книге сделан на раскрытии познавательного потенциала логики. С этой целью теоретическая часть сведена к минимуму. Для просмотра полного текста, пожалуйста, авторизируйтесь. Свободных экз. нет Количество выдач: 0000000 |
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 |
16 И 25 Ивин, Александр Архипович. Логика. Элементарный курс : учебное пособие для вузов / А. А. Ивин. - 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
Аннотация: В учебном пособии изложены основы логики. Рассмотрен предмет логики и его составляющие, язык как знаковая система, его грамматика и связь с миром. Описаны имена и их виды, высказывания, логические законы. Приведена логика категорических высказываний и логические особенности естественного языка. Рассмотрены доказательство и опровержение, индуктивные рассуждения, дискуссия и полемика, виды убедительных оснований. Для просмотра полного текста, пожалуйста, авторизируйтесь. Свободных экз. нет Количество выдач: 0000000 |
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 |