Написать рефераты, курсовые и дипломы самостоятельно.  Антиплагиат.
Студенточка.ru: на главную страницу. Написать самостоятельно рефераты, курсовые, дипломы  в кратчайшие сроки
Рефераты, курсовые, дипломные работы студентов: научиться писать  самостоятельно.
Контакты Образцы работ Бесплатные материалы
Консультации Специальности Банк рефератов
Карта сайта Статьи Подбор литературы
Научим писать рефераты, курсовые и дипломы.


подбор литературы периодические источники литература по предмету

Логические доказательства



Год выпуска: 2014
Автор: Сергей Попов und Наталья Брошкова
Издательство: LAP Lambert Academic Publishing
Страниц: 464
ISBN: 9783659515392
Описание
Исследуются секвенциальные пропозициональные выводы. Для этого вводится оригинальный механизм диаграмм выводов, представляющие собой нагруженные графы произвольной структуры, и описывающие классы выводов. Отношение эквивалентности выводов, как изоморфизма канонических диаграмм, совпадает с традиционной эквивалентностью, определяемой эквивалентными преобразованиями выводов. Диаграммы позволяют решить ряд задач исследования выводов: определить нелокальные преобразования, соответствующих устранению сечений, без собственно их устранения; описать формулы сечения, не выводящие выводы из класса эквивалентности, и т.п. Сформулирован класс локальных секвенций, характеризующихся простыми доказательствами. С другой стороны описаны классы сложно выводимых секвенций. При этом если аргументом функции сложности выступает число переменных, из которых построены секвенция, то почти все выводы сложные. Но если выступает длина секвенции, то удалось построить только одну последовательность нелокальных...


Похожие книги

  1. В.В. Тарасенко. Логика и методология управления. Книга для руководителя. – М.: Юнити-Дана, 2010. – 368 с.
  2. А.Д. Гетманова. Логика. – М.: КноРус, 2012. – 240 с.
  3. В.П. Москвин. Аргументативная риторика. Теоретический курс для филологов. – Ростов-на-Дону: Феникс, 2008. – 640 с.
  4. А.Е. Конверский. Логика традиционная и современная. – М.: Идея-Пресс, 2010. – 380 с.
  5. Г.М. Сергиевский, Н.Г. Волченков. Функциональное и логическое программирование. – М.: Академия, 2010. – 320 с.
  6. Е.А. Сидоренко. Логика. Парадоксы. Возможные миры. Размышления о мышлении в девяти очерках. – М.: Едиториал УРСС, 2002. – 312 с.
  7. В.Я. Перминов. Развитие представлений о надежности математического доказательства. – М.: Едиториал УРСС, 2004. – 240 с.
  8. А.Тренделенбург. Логические исследования. Часть 2. – М.: Либроком, 2011. – 538 с.
  9. А.Тренделенбург. Логические исследования. Часть 1. – М.: Либроком, 2011. – 368 с.
  10. Ю.А. Шиханович. Логические и математические исчисления. – М.: Научный мир, 2011. – 256 с.
  11. Рабби Йегуда Галеви. Сефер га-кузари (Книга хазара). Книга ответа и доказательства по поводу унижаемой веры. – М.: Текст, Книжники, 2014. – 432 с.
  12. Виктор Цветков. Логика в науке и методы доказательств. – М.: LAP Lambert Academic Publishing, 2012. – 92 с.
  13. Сергей Попов und Наталья Брошкова. Логические доказательства. – М.: LAP Lambert Academic Publishing, 2014. – 464 с.
  14. Е.И. Бунина, А.В. Михалев, А.Г. Пинус. Элементарная и близкая к ней логические эквивалентности классических и универсальных алгебр. – М.: МЦНМО, 2015. – 360 с.
  15. Стивен Т.Дэвис. Бог, разум и теистические доказательства. – М.: Наука - Восточная литература, 2016. – 280 с.
  16. О.Ф. Серебрянников. Эвристические принципы и логические исчисления. – М.: Наука, 1970. – 284 с.
  17. К.В. Сорвин. Классическая и неклассическая формы онтологического аргумента. От доказательства бытия Бога к рефлексивной социологии знания. – М.: Русская панорама, 2016. – 448 с.

Образцы работ

Тема и предметТип и объем работы
Риторика, как социальное явление. Феномен риторики
Философия
Диплом
87 стр.
Значение логики, логика и жизнь
Логика
Реферат
21 стр.



Задайте свой вопрос по вашей теме

Гладышева Марина Михайловна

marina@studentochka.ru
+7 911 822-56-12
с 9 до 21 ч. по Москве.
Контакты
marina@studentochka.ru
+7 911 822-56-12
с 9 до 21 ч. по Москве.
Поделиться
Мы в социальных сетях
Реклама



Отзывы
Галина
Приятная неожиданность. Большое спасибо! Я думала, что ответа за о грн. не будет. Есть еще добрые люди.