Поисковый запрос:  - ( Ключевое слово= Доказательство )

Аннотация: В пособии рассматриваются основные проблемы, связанные с обеспечением надежности и безопасности технических средств, обеспечивающих движение поездов (ТСО БД), элементная база, вопросы сертификации и связанные с этим организационные методы. Излагаются принципы формирования систем управления безопасностью движения. Приводятся конструктивные решения TCO БД, устанавливаемых на перегонах и станциях, средств комплексной механизации на сортировочных горках и переездах, систем автоматического контроля обеспечения безопасности движения. Рассмотрены нормативы содержания и устройства диагностики состояния железнодорожного пути. Особое внимание уделено анализу систем контроля безопасного вождения локомотивов машинистами и влиянию человеческого фактора на безопасность движения. Излагаются вопросы безопасности движения при выполнении ремонтных работ на железнодорожных путях. Предназначено для студентов, обучающихся по специальности "Организация и безопасность движения", аспирантов, инженеров, разрабатывающих TCO БД в рамках создания системы управления безопасностью движения поездов, а также для работников всех служб, обеспечивающих безопасность движения на железнодорожном транспорте.

Аннотация: Учебное пособие включает все основные разделы курса классической логики, определяемые требованиями Государственного образовательного стандарта для юристов. Теоретический материал снабжен практическими упражнениями для закрепления учебного материала и логическими задачами.

Аннотация: Железнодорожная магистраль Абакан – Тайшет, которую называли трассой мужества, вошла в биографию комсомола одной из ее замечательных страниц.

Аннотация: Что такое логика? Чем занимается эта древняя и в то же время всегда молодая наука? Зачем она нужна, можно ли без нее обойтись, и какую роль она играет в жизни человека? Что такое формы мышления и каковы основные законы мышления? К чему приводят многочисленные логические ошибки, которые мы непроизвольно или сознательно допускаем в мышлении и речи? Что такое доказательство и каковы его разновидности? Что представляют собой основные правила доказательства и ошибки, возникающие при их нарушении? Как сделать свои мысли ясными и отчетливыми, как надо их выражать, чтобы окружающие всегда понимали, что вы хотите сказать; как отстаивать свою точку зрения и убеждать собеседника? Как грамотно вести дискуссию и одерживать победу в споре? Что такое софизмы и логические парадоксы? Обо всем этом вы узнаете, прочитав книгу, которая отличается от многих других учебных пособий по логике тем, что читать ее будет нетрудно: автор, много лет преподающий логику студентам и школьникам, постарался сделать предлагаемый вашему вниманию материал простым и ясным, а по возможности – интересным и увлекательным. Книга адресована студентам и школьникам, изучающим логику, преподавателям - в качестве обмена педагогическим опытом - и всем, интересующимся логикой и другими гуманитарными науками.

Аннотация: Изложены основные понятия и определения теории надежности, методы расчета надежности резервированных и нерезервированных систем автоматики и вычислительной техники. Проведен анализ причин отказов устройств железнодорожной автоматики, телемеханики и связи. Приведены статистические данные об отказах. Рассмотрены методы расчета и нормирования показателей безопасности. Произведено сравнение основных безопасных структур. Рассмотрено влияние надежности систем управления на качество перевозочного процесса. Предназначено для студентов вузов железнодорожного транспорта, обучающихся по направлению 23.05.05 "Системы обеспечения движения поездов", может быть полезно аспирантам, научным сотрудникам, а также специалистам, связанным с разработкой устройств железнодорожной автоматики, телемеханики и связи.

Аннотация: В учебном пособии представлена логика как наука об открытии, развитии, обосновании и аргументации истины. В нем подробно объясняются основные понятия, рассматривается большое количество примеров. Отдельная глава посвящена анализу и решению наиболее известных логических парадоксов. Главный акцент в книге сделан на раскрытии познавательного потенциала логики. С этой целью теоретическая часть сведена к минимуму.

Аннотация: В пособии подробно рассмотрены основные законы и формы правильного мышления, категории логики и диалектики; отражена роль логики в становлении критического мышления.

Аннотация: В учебном пособии изложены основы логики. Рассмотрен предмет логики и его составляющие, язык как знаковая система, его грамматика и связь с миром. Описаны имена и их виды, высказывания, логические законы. Приведена логика категорических высказываний и логические особенности естественного языка. Рассмотрены доказательство и опровержение, индуктивные рассуждения, дискуссия и полемика, виды убедительных оснований.

Аннотация: Развитие компьютерных и телекоммуникационных технологий достигло уровня, позволяющего внедрять интеллектуальные методы не только в мощные вычислительные системы, но даже в персональные компьютеры и мобильные устройства. Примерами реализации интеллектуальных методов могут служить поисковые системы (Google, Яндекс), системы оптического распознавания текстов, речевого ввода данных, машинного перевода, автомобильной навигации и др. В курсе собраны наиболее полезные и простые подходы к решению интеллектуальных задач, апробированные в учебном процессе на кафедре вычислительной техники Университета ИТМО (Санкт-Петербургского национального исследовательского университета информационных технологий, механики и оптики).