Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и расмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения. Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.


учебная и научная литература

учебники и пособия для вузов

знания и навыки

Введение в математическую логику

любовные романы

фэнтези

современная русская литература

современные любовные романы

современная зарубежная литература

детективы

об истории серьезно

приключения

книги о приключениях

ужасы / мистика

cтихи, поэзия

книги по психологии

стихи и поэзия

гуманитарные и общественные науки

русская классика

мистика

боевики, остросюжетная литература

публицистическая литература

В учебном пособии рассмотрены условия и предпосылки создания комфортной городской среды; тенденции и целевые ориентиры формирования и преобразования среды современных городов; методические положения и практические рекомендации по улучшению художественной выразительности городских пространств; даны предложения по обновленному развитию общественных, жилых, производственных, рекреационных, туристских городских пространств; приведены закономерности и приемы, а также инструменты композиционной организации городских пространств.
Соответствует требованиям федеральных государственных образовательных стандартов высшего образования последнего поколения.
Для студентов, обучающихся по специальностям 07.03.04 «Градостроительство», 07.03.01 «Архитектура», 08.03.01 «Городское строительство и хозяйство», 38.03.04 «Государственное и муниципальное управление», преподавателей вузов, для специалистов, принимающих решения в области управления процессами городского развития, и всех читателей, кто интересуется вопросами формирования среды современных городов.

основы строительства

архитектура

Философия и эстетика формирования городской среды

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

бухучет / налогообложение / аудит

МСФО

управление экономикой

Трансформация отчетности как способ получения информации в системе заданных стандартов

Целью учебника является обеспечение получения студентами необходимых знаний, умений и навыков в отношении процессов теплопередачи, конструкций, теплотехнических расчетов и особенностей эксплуатации теплообменных аппаратов.
Соответствует требованиям федеральных государственных образовательных стандартов высшего образования последнего поколения.
Предназначен для обучающимся по специальности 26.05.06 «Эксплуатация судовых энергетических установок». Может быть полезен для специалистов, занимающихся проектированием судовых энергетических установок, и действующих судовых механиков.

основы производства

теплоэнергетика

Теплопередача и теплообменные аппараты

Справочное пособие предназначено для тех, кто интересуется семейным правом и желает разобраться в юридических тонкостях, но не обладает специальным образованием.
Книга поможет понять особенности российского семейного законодательства, а также разобраться в тонкостях китайских законов. Материал излагается в форме лаконичных ответов на вопросы. Ответы сформулированы на основе
произведенного авторами анализа законодательства России и Китая.
Для широкого круга читателей, интересующихся спецификой брака с иностранцем (гражданином Китая).

законы и постановления

гражданский кодекс РФ

семейный кодекс РФ

гражданское право

Семейное право России и Китая в вопросах и ответах

Предметом книги является история русского искусства в XIX столетии. Автор предпринимает опыт панорамного обозрения развития пластических видов искусства, а жанр учебных очерков, предлагающий сочетание лаконичности с четкой систематизацией излагаемого материала, является наиболее отвечающим этой задаче. Наряду с изобразительным искусством, важное место в книге отводится русской архитектуре в период «после ампира».
Издание адресовано студентам, аспирантам и преподавателям высших учебных заведений архитектурного, художественного и гумманитарного профиля, а также широкой аудитории читателей, интересующихся историей русского искусства и культуры.

история искусства

Русское искусство XIX века: Учебное пособие

В учебнике рассмотрены вопросы управления рисками, которые могут систематически возникать в хозяйственно-финансовой деятельности организаций и территорий. Изложено понимание сущности и содержания рисков, процесса управления рисками. Рассмотрены виды рисков, методы оценки рисков и управления рисками.
Предназначен для студентов, обучающихся по направлениям и профилям подготовки «Менеджмент», «Экономика», «Государственное и муниципальное управление», «Жилищное хозяйство и коммунальная инфраструктура», «Торговое дело», а также по инженерным, технологическим и другим направлениям и специальностям подготовки, изучающих дисциплины экономико-организационного и управленческого циклов. Может быть полезен аспирантам, слушателям школ бизнеса и курсов повышения квалификации и переподготовки кадров, преподавателям вузов, работникам исследовательских и консалтинговых фирм, руководителям и специалистам организаций и органов территориального управления.

риски

менеджмент и кадры

Риски организаций и территорий

Учебное пособие посвящено исследованию психологических аспектов геополитических отношений в современном мировом пространстве. Основное внимание уделяется трансформации субъектов геополитических отношений, в частности больших социальных групп. Целью работы стало проведение комплексного анализа актуальных социально-психологических проблем в рамках становления геополитической психологии как нового научного направления и определения ее места в структуре глобальной психологии. Представлен краткий методологический и концептуально-терминологический анализ геополитики как научной дисциплины и политической практики в их связи с проблемами социальной психологии, раскрыты возможности психологической науки в изучении геополитических процессов и управлении ими. Рассмотрены психологические детерминанты формирования больших социальных групп, информационно-психологические, социально-экономические и социально-демографические факторы геополитического взаимодействия.
Рекомендуется для студентов психологических факультетов всех специальностей по направлению подготовки высшего образования 37.00.00 «Психологические науки», специалистов смежных отраслей науки, а также широкого круга читателей, которых интересуют проблемы политической психологии, политологии и глобалистики.

социальная психология

психология

Психология геополитических отношений: понятия, факторы, технологии

Полная версия

Введение в математическую логику