Программирование. Комбинаторная логика — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения.

Программирование. Математическая логика — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного

Вопросы борьбы в русской истории. Логика намерений и логика обстоятельств — Новая книга Андрея Фурсова посвящена проблемам борьбы в русской истории. Автор рассматривает различные аспекты и периоды этого противостояния от Смуты начала XVII века до наших дней. Среди проблем, над которыми размышляет А. И.

Собственная логика городов. Новые подходы в урбанистике — Книга стала итогом ряда междисциплинарных исследований, объединенных концепцией «собственной логики городов», которая предлагает альтернативу устоявшейся традиции рассматривать город преимущественно как зеркало социальных процессов.

Логика — В настоящем издании рассматриваются такие темы, как: "Логика как наука", "Основные логические законы", "Понятие как форма мышления", "Операции с понятиями", "Суждение как форма мышления", "Логические отношения между суждениями.

Логика — Автор серии «Хочу учиться!» Марк Беденко широко известен своими уникальными учебными пособиями, направленными на то, чтобы вызвать у детей интерес к обучению. В рабочей тетради содержится более 200 задач на развитие логического мышления, составленных по оригинальной авторской методике.

Логика — Настоящее учебное пособие предназначено для изучения теоретических основ курса логики и приобретения практических навыков решения наиболее важных типов логических задач, предусмотренных курсом логики для студентов гуманитарных специальностей, обучающихся по программе бакалавриата.

Популярная логика — Математическая логика — своеобразная область науки, тесно связанная как с математикой, так и с философией,— выдвинулась на первый план в последние десятилетия, когда возникла потребность в автоматизации процессов, выполнявшихся ранее лишь человеческим мозгом.

Логика неудачи — Человек включен в сложные динамические системы, являясь их важной составляющей, во многом определяющей развитие ситуации. Автор разрабатывает специальный понятийный аппарат, отражающий как объективные параметры сложных областей реальности, так и ее субъективный образ, на основе которого люди и действуют.

Логика для всех: от пиратов до мудрецов — В книжку вошли разработки десяти занятий математического кружка с примерами задач различного урорня сложности, задачами для самостоятельного решения и методическими указаниями для учителя. Приведен также большой список дополнительных задач.

Логика традиционная и современная — Учебное пособие «Логика» состоит из двух книг: «Традиционная логика» и «Современная логика». В первой книге «Традиционная логика» в систематизированном, дидактически выдержанном виде раскрывается ...

Логика: конспект лекций с задачами — Данное учебное пособие знакомит читателя с одной из древнейших наук — логикой, которая, появившись приблизительно 2,5 ...

Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов . Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса ...

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

Словарь по логике — Словарь представляет собой справочник, излагающий основные понятия, операции и законы логики. Его задача — познакомить читателя с логикой как одной из теоретических основ информатики. Словарь будет полезен учителям, учащимся старших классов, студентам ...

Логика — Настоящее учебное пособие предназначено для изучения теоретических основ курса логики и приобретения практических навыков решения наиболее важных типов логических задач, ...

Философская логика. Истоки и эволюция — В книге рассматриваются основные логические концепции, существовавшие на протяжении всей истории философской логики — с античных времен до наших ...

Введение в логику и научный метод — На протяжении десятилетий эта книга служила основным учебником по логике и научному методу в большинстве американских вузов ...

Логика намерений и логика обстоятельств — Новая книга Андрея Фурсова посвящена проблемам борьбы в русской истории. Автор рассматривает различные аспекты и периоды ...

...лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного ...