Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический - установление выполнимости логических функций - и синтаксический - построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления...
ISBN: 978-5-9221-1340-3
Издательство:
Физматлит
Дата выхода: сентябрь 2011
Учебник содержит систематическое изложение базового курса теории вероятностей. За основу взята аксиоматика А. Н. Колмогорова, однако использование сложного математического аппарата сведено к минимуму. Это делает книгу доступной для лиц, владеющих стандартным вузовским курсом высшей математики. Учебник сочетает достаточную строгость изложения с прикладной направленностью. Отразив в известной мере...
ISBN: 978-5-8114-1219-8
Издательство:
Лань
Дата выхода: апрель 2012
Приведены краткая теория, задачи с решениями и тесты по механике, молекулярной физике и термодинамике. Пособие состоит из двух разделов, соответствующих программе курса физики для технических университетов. В начале каждой главы излагаются теоретические основы, основные определения и формулы. Приведено много задач разной степени сложности с решениями и задачи для самостоятельного решения. Изложены...
ISBN: 978-5-8114-1601-1
Издательство:
Лань
Дата выхода: октябрь 2014
В книге обобщены результаты прикладных исследований и практического опыта нескольких десятилетий в области экономики природопользования. Предложены возможные направления совершенствования существующей теоретико-методологической базы по разработке обоснований принятия государственных решений. Представлен для обсуждения авторский вариант методики по разработке основ прикладного системного...
ISBN: 978-5-9912-0501-6
Издательство:
Горячая линия - Телеком
Дата выхода: март 2015
В учебнике изложены научные основы и практические рекомендации применения фотограмметрии для получения информации о пространственном положении объектов земной поверхности. Даны аналитический анализ геометрических свойств аэро- и космических снимков и представление о теории и инновационных технологиях обработки аэро- и космических снимков на современных цифровых фотограмметрических станциях для...
ISBN: 978-5-8291-1919-5
Издательство:
Академический проект
Дата выхода: май 2016
Зиомковский В. М., Троицкий И. В. ; под науч. ред. Вешкурцева В.И.
Учебное пособие включает разделы «Основы теоретической механики», «Строение механизмов», «Основы расчета элементов конструкций на прочность и жесткость» и «Основы проектирования деталей и узлов машин». В первом разделе рассмотрены вопросы статики, кинематики и динамики, во втором — структуры плоских рычажных механизмов, третий раздел посвящен определению напряжений и деформаций деталей при...
ISBN: 9785534001969
Издательство:
Юрайт
Дата выхода: октябрь 2017
Человек находится в разнообразных связях с окружающей средой, поэтому экологическая ситуация оказывает существенное влияние на самочувствие и здоровье людей.Цель учебного пособия — обучить студентов практическим методам изучения взаимодействия человека как биосоциального существа с различными факторами окружающей среды, способам оценки состояния здоровья и адаптационных возможностей...
ISBN: 9785534052800
Издательство:
Юрайт
Дата выхода: ноябрь 2017
Пособие посвящено вопросам применения дискретной математики в электронных и контактных структурах. В пособии 16 глав. В первых пяти из них рассматриваются элементы теории множеств, комбинаторика, теория графов, минимизация булевых формул и булево дифференциальное исчисление. Шестая глава отведена для описания устройств той технической среды, где применяется дискретная математика. Это резисторы,...
ISBN: 978-5-8114-2762-8
Издательство:
Лань
Дата выхода: декабрь 2018
Эта книга написана профессорами Штутгартского технического университета Вернером Шиленом и Петером Эберхардом — учителем и учеником. Содержание ее в своем роде уникально. Авторам удалось в компактной форме изложить сложнейший материал формального описания и компьютерного моделирования динамики систем многих тел. При этом под термином «тело» здесь понимается не только абсолютно твердое, но и...
ISBN: 978-5-4344-0437-2
Издательство:
Институт компьютерных исследований
Дата выхода: февраль 2018
Жиров А. И., Дмитриев В. В., Ласточкин А. Н. ; Под ред. Жирова А.И.
Учебник освещает современные представления о сущности и структуре экологии человека, об общей цели, задачах и едином методе прикладных экологических исследований. Обозначены методологические и методические проблемам прикладных экологических исследований. Авторами предложена методика изначальной обязательной привязки изучаемых экологических объектов, процессов и явлений к конкретным...
ISBN: 9785534069150
Издательство:
Юрайт
Дата выхода: июль 2018
Жиров А. И., Дмитриев В. В., Ласточкин А. Н. ; Под ред. Жирова А.И.
Учебник освещает современные представления о сущности и структуре экологии человека, об общей цели, задачах и едином методе прикладных экологических исследований. Обозначены методологические и методические проблемам прикладных экологических исследований. Авторами предложена методика изначальной обязательной привязки изучаемых экологических объектов, процессов и явлений к конкретным...
ISBN: 9785534069167
Издательство:
Юрайт
Дата выхода: август 2018
Учебное пособие посвящено основным вопросам механики и электромагнетизма. В нем обсуждаются и разъясняются основные понятия и законы, необходимые для решения задач механики и электродинамики, а их практическое применение проиллюстрировано большим количеством задач.Книга дополнена большим количеством иллюстраций, которые помогут студентам освоить материалы учебного пособия.
ISBN: 9785534087055
Издательство:
Юрайт
Дата выхода: январь 2019
Пособие посвящено современным высокоточным методам вычислительной газодинамики, применяемым при решении сложных задач моделирования течений, возникающих в различных областях науки и инженерных приложениях. В книге дано описание математических моделей гидро- и газодинамики, рассмотрены общие свойства связанных с этими моделями гиперболических уравнений и систем, а также методы их численного...
ISBN: 978-5-8114-3741-2
Издательство:
Лань
Дата выхода: май 2019
Рекомендовано ФУМО в системе высшего образования по укрупненной группе специальностей и направлений подготовки Химия в качестве учебника для обучающихся по основным образовательным программам высшего образования уровня бакалавриат и магистратура по направлениям подготовки Химия и специальности Фундаментальная и прикладная химия Допущено ФУМО в сфере высшего образования по укрупненной группе...
ISBN: 978-5-8114-3854-9
Издательство:
Лань
Дата выхода: декабрь 2019
Книга известного итальянского популяризатора математики для школьников Анны Черазоли написана в повествовательной форме, в которую чудесным образом вплетены занимательные истории о математических понятиях. Главные действующие лица — любопытный мальчуган Фило и его дедушка, готовый ответить на вопросы своего внука во время самых обычных дел — похода в магазин, приготовления пиццы или игры в...
ISBN: 978-5-00101-282-5
Издательство:
Лаборатория знаний
Дата выхода: июнь 2020
Книга известного итальянского популяризатора математики для школьников Анны Черазоли написана в повествовательной форме, в которую чудесным образом вплетены занимательные истории о математических понятиях. Главные действующие лица — любопытный мальчуган Фило и его дедушка, готовый ответить на вопросы своего внука во время самых обычных дел — похода в магазин, приготовления обеда или по дороге в...
ISBN: 978-5-00101-284-9
Издательство:
Лаборатория знаний
Дата выхода: июнь 2020
Книга известного итальянского популяризатора математики для школьников Анны Черазоли написана в повествовательной форме, в которую чудесным образом вплетены занимательные истории о математических понятиях. Главные действующие лица — любопытный мальчуган Фило и его дедушка, готовый ответить на вопросы своего внука во время самых обычных дел — похода в магазин, приготовления пиццы или игры в...
ISBN: 978-5-00101-283-2
Издательство:
Лаборатория знаний
Дата выхода: июнь 2020
Написан с учетом последних достижений науки и включает в себя такие разделы, как общая экология, взаимодействие общества и природы, проблемы перенаселения и загрязнения окружающей среды, охрана атмосферы, гидросферы, почв и биоресурсов, управление природопользованием и устойчивое развитие, экологическое право, экономика природопользования. Содержит контрольные вопросы и задания, глоссарий законов,...
ISBN: 978-5-406-08152-5
Издательство:
КноРус
Дата выхода: ноябрь 2020
Книга представляет собой учебное пособие по специальным главам математики для технических вузов и является естественным продолжением общего курса математики этого же автора, хотя и читается независимо. Книга содержит следующие главы: теория поля, теория аналитических функций, операционное исчисление, линейная алгебра, тензоры, вариационное исчисление, интегральные уравнения и обыкновенные...
ISBN: 978-5-9710-3674-6
Издательство:
Ленанд
Дата выхода: январь 2021