ГлавнаяРегистрацияВход Аворут
Вторник, 19.03.2024, 14:13
Форма входа
Меню сайта


Категории каталога
Экономическая статистика [4]
Книги по экономической статистике: статистика труда, статистика населения и трудовых ресурсов, статистика финансов, статистика кредитных операций и операций с ценными бумагами и тд. Вы можете скачать книгу бесплатно.
Логика [15]
Книги по логике и математической логике и тд. Вы можете скачать книгу бесплатно.
Дискретная математика [23]
Книги по дискретной математике и тд. Вы можете скачать книгу бесплатно.
Эконометрия (эконометрика) [16]
Книги по эконометрике (эконометрии)и тд. Вы можете скачать книгу бесплатно.
Исследование операций [10]
Книги по математическим методам и моделям, исследованию операций, математическому программированию и тд. Вы можете скачать книгу бесплатно.
Математические методы и модели [11]
Книги по математическим методам и моделям, исследованию операций, математическому программированию и тд. Вы можете скачать книгу бесплатно.
Теория графов [24]
Книги по теории графов и тд. Вы можете скачать книгу бесплатно.
Логистика [3]
Книги по логистике и тд. Вы можете скачать книгу бесплатно.
Математическое программирование [19]
Книги по математическим методам и моделям, исследованию операций, математическому программированию и тд. Вы можете скачать книгу бесплатно.
Другие книги [4]
В эту категорию вошли книги, для которых ещё не создан раздел или его было трудно определить
Сметное дело в строительстве [2]
Книги по сметному делу в строительстве и тд. Вы можете скачать книгу бесплатно.
Информатика. MS Excel [2]
Книги по информатике, программированию: табличный процессор MS Excel и тд. Вы можете скачать книгу бесплатно.
Информатика. MS Access [2]
Книги по информатике, программированию: система управления базами данных MS Access и тд. Вы можете скачать книгу бесплатно.
Психология. Принятие решений [3]
Книги по психологии принятия решений и тд. Вы можете скачать книгу бесплатно.
Психология. Коучинг [3]
Книги по психологии:коучинг и тд. Вы можете скачать книгу бесплатно.
Финансовый анализ [8]
Книги по финансовому анализу: технический и фундаментальный анализ, рекомендации для игры на бирже и тд. Вы можете скачать книгу бесплатно.
Финансовая математика [2]
Книги по финансовой математике и тд. Вы можете скачать книгу бесплатно.
Теория игр [7]
Книги по теории игр и тд. Вы можете скачать книгу бесплатно.
Теория вероятностей и математическая статистика [53]
Книги по теории вероятностей, математической статистике и тд. Вы можете скачать книгу бесплатно.
Информационные системы и технологии [14]
Книги по информационным системам, информационным технологиям и тд. Вы можете скачать книгу бесплатно.










Друзья сайта




Главная » Файлы » Книги скачать бесплатно » Логика

В категории материалов: 15
Показано материалов: 1-10
Страницы: 1 2 »

Сортировать по: Дате · Названию · Рейтингу · Комментариям · Загрузкам · Просмотрам
Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. — 2-е изд. — М.: ФИЗМАТЛИТ, 2004. — 128 с. Логика. Скачать бесплатно.
В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.

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

Логика | Просмотров: 4093 | Загрузок: 988 | Добавил: avorut | Дата: 13.08.2008

Математическая теория логического вывода. Сборник переводов под редакцией Л. В. Идельсона и Г. Е. Минца. Изд-во Наука главная редакция физико-математической литературы. Логика. Скачать бесплатно.
Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца; см. ниже) статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием «машинной логики», в частности, появлением многочисленных работ, посвященных машинному доказательству теорем). В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории. Читатель, не обладающий никакими специальными сведениями в области математической логики (но обладающий некоторой математической культурой), может использовать этот сборник в качестве пособия для систематического изучения теории логического вывода.
Ключевые слова: логика, скачать бесплатно, учебник по логике, логический вывод, математическая логика
Логика | Просмотров: 1673 | Загрузок: 510 | Добавил: avorut | Дата: 28.06.2008

Лихтарников Л. M., Сукачева Т. Г. Математическая логика. Курс лекций. Задачник-практикум и решения. Серия "Учебники для вузов. Специальная литература" / Оформление обложки С. Л. Шапиро, А. А. Олексенко. — СПб.: Издательство "Лань", 1999. — 288 с. Логика. Скачать бесплатно.
Учебное пособие предназначено для студентов университетов и педагогических институтов, изучающих курс математической логики.
 
Ключевые слова: логика, математическая логика, учебник скачать бесплатно, курс лекций, задачник по логике, практикум по логике, решения по логике
Логика | Просмотров: 8192 | Загрузок: 1533 | Добавил: avorut | Дата: 28.06.2008

Колмогоров A. H. Драгалин А. Г. Введение в математическую логику. — М.: Изд-во Моск. ун-та, 1982 — 120 с. Логика. Скачать бесплатно.
Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.
Ключевые слова: логика, математическая логика, учебник скачать бесплатно, логика высказываний, логика предикатов
Логика | Просмотров: 2200 | Загрузок: 464 | Добавил: avorut | Дата: 28.06.2008

Гохман А.В. Сборник задач по математической логике и алгебре множеств. Логика. Скачать бесплатно.
Предлагаемый сборник задач составлен в соответствии с программой универсигетского курса "Элементы математической логики и алгебры множеств". Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и указаниями, каждому разделу предпослано небольшое теоретическое введение. Сборник может быть использован как пособие для учащихся Юношеских математических школ и всех самостоятельно изучающих соответствующие разделы математики.
Ключевые слова: логика, математическая логика, алгебра множеств, сборник задач, учебник скачать бесплатно, булева алгебра, релейно-контактные схемы, бинарные отношения
Логика | Просмотров: 2234 | Загрузок: 565 | Добавил: avorut | Дата: 28.06.2008

Гладкий А.В. Математическая логика. М.: Российск. гос. гуманит. ун-т, 1998. 479 с. Логика. Скачать бесплатно. 
Книга представляет собой учебное пособие по математической логике, осебенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчётливому выделению основных идей и тщательной проработке деталей, и повышенное внимание к гуманитарным аспектам предмета - в частности, к его связям с естественным языком и лингвистикой. Излагаются семантика и сиснтаксис логики предложений и логики предикатов, элементы теории алгоритмов, формальная арифметика (включая теорему Гёделя о неполноте арифметики). Центральное место занимает теория доказательства, излагаемая на основе исчисления есттественного вывода. Книга содержит много задач и упражнений.
Для студентов математических и физико-математических факультетов, факультетов и отделений информатики, теоретической и прикладной лингвистики, искусственного интеллекта.
 
Ключевые слова: математическая логика, логика, учебник скачать бесплатно, логика предикатов, теория алгоритмов, формальная арифметика, теорема Гёделя о неполноте арифметики, теория доказательства, лингвистика
Логика | Просмотров: 2009 | Загрузок: 463 | Добавил: avorut | Дата: 28.06.2008

Ю. В. Ивлев. Логика для юристов М.: Дело, 2000. - 264 с. Логика. Скачать бесплатно. 
Цель учебника - заложить основу логической культуры мышления юриста, научить применять правила и законы логики в профессиональной деятельности.
Рассмотрены следующие темы: история и предмет логики, формальная логика как наука, основные методологические принципы диалектической и формальной логики; суждение, вопрос и норма; дедуктивные и индуктивные умозаключения; понятие; определение и классификация; аргументация и критика и др. Теоретические положения на протяжении всей книги иллюстрированы примерами из юридической практики.
Для студентов и преподавателей юридических и других вузов и факультетов.
 
Ключевые слова: логика, учебник по логике скачать бесплатно, логика для юристов, история логики, формальная логика, логика как наука, суждение, вопрос, умозаключение, понятие, определение, классификация, аргументация, критика
Логика | Просмотров: 11536 | Загрузок: 1912 | Добавил: avorut | Дата: 28.06.2008

Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств. 1965, 367 с. Логика. Скачать бесплатно. 
Книга, принадлежащая перу известных польских логиков, посвящена изложению основ современной формальной (математической или теоретической, или символической) логики и теории множеств для читателей гуманитарного профиля. В ней содержится систематическое изложение широкого круга вопросов из различных разделов математической логики, разъясняются основные теоретико-множественные понятия и аппарат, а также освещаются некоторые важнейшие методологические аспекты математической логики и оснований математики. Книга Е. Слупецкого и Л. Борковского является хорошей основой для дальнейшего изучения более трудных и обстоятельных работ по современной логике и основаниям математики.
 
Ключевые слова: логика, учебник скачать бесплатно, математическая логика, теория множеств, формальная логика
Логика | Просмотров: 1741 | Загрузок: 501 | Добавил: avorut | Дата: 19.06.2008

Чёрч А. Введение в математическую логику. Т.1. М.: ИЛ, 1960. Логика. Скачать бесплатно. 
Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. Изложенный в ней материал представляет ценность для всякого математика, в том числе и для специалиста по математической логике. В качестве справочника ею могут пользоваться также и нематематики.
Содержащееся в этом томе Введение (стр. 15—63) по существу представляет собой самостоятельное литературное произведение, которое с интересом и пользой может читаться самыми широкими кругами научных работников, интересующихся вопросами математической логики.
 
Ключевые слова: логика, математическая логика, учебник скачать бесплатно, справочник по математической логике
Логика | Просмотров: 1724 | Загрузок: 464 | Добавил: avorut | Дата: 19.06.2008

Тарский А. Введение в логику и методологию дедуктивных наук. М.: ГИИЛ, 1948. Логика. Скачать бесплатно. 
Книга известного польского математика и логика А. Тарского, представляющая собой популярное введение в математическую логику и методологию дедуктивных наук, заслуживает внимания советского читателя. Вышедшая в 1936 Г, на польском языке, она появилась в 1937 г. в немецком переводе, но была выпущена известным немецким книгоиздательством Шпрингера не в Германии, а в Вене, Правда, зто не помогло издательству; часть издания, которую оно не успело распространить до «аншлюса», так и осталась лежать на его складах... по соображениям расового порядка, В 1941 г. просмотренное и дополненное издание книги вышло на английской языке в Нью-Йорке. С этого издания и выполнен русский перевод.
Ключевые слова: логика, учебник по логике скачать бесплатно, методология
Логика | Просмотров: 2784 | Загрузок: 662 | Добавил: avorut | Дата: 19.06.2008

1-10 11-15



Заказ контрольной работы

www.ru yandex.ru rambler.ru google.com



Rambler's Top100

каталог сайтів Каталог україномовних сайтів Каталог україномовних сайтів


 
Поиск
Copyright MyCorp © 2024
Хостинг от uCoz