логика

Логика, Иванов Е.А., 2007

Логика, Иванов Е.А., 2007.

   В основу учебника положены лекции, прочитанные автором — Е.А. Ивановым, доктором философских наук, профессором — в Академии труда и социальных отношений, а также в Российской таможенной академии.
Излагается общая логика, вводятся элементы символической (математической) и диалектической логики.
Освещаются основные положения логики, которые необходимо знать будущим юристам. Иллюстративный материал подобран с учетом специфики юридической аудитории.
Дается приложение «Практические задания» — для семинарских занятий и самостоятельной работы над учебным материалом.
3-е издание дополнено новым разделом «Теория», где раскрыты сущность и специфика теории как особой формы мышления и освещены формы развития научного знания: факт, проблема, гипотеза (в том числе судебно-следственная версия).
Весь учебный материал приведен в полное соответствие с Государственным образовательным стандартом высшего профессионального образования и переработан в соответствии с действующим российским законодательством.
Для студентов юридических вузов и факультетов.

Логика, Иванов Е.А., 2007
Скачать и читать Логика, Иванов Е.А., 2007
 

Математическая логика и теория алгоритмов, Сергиевская И.М., 2004

Математическая логика и теория алгоритмов, Сергиевская И.М., 2004.

   Логикой называют науку о законах и формах мышления. Формальная логика изучает формы правильных рассуждений. Математическая логика - часть формальной логики - изучает формы рассуждений, принятые в математике.
В настоящее время значение математической логики в инженерном образовании возрастает в связи с необходимостью развития математического мышления, а также изучения дискретной или компьютерной математики. Математическая логика и теория алгоритмов являются основой курса дискретной математики, что нашло отражение в данном учебном пособии.
Учебное пособие адресовано студентам, обучающимся по направлениям 210300 - радиотехника, 230000 - информатика и вычислительная техника, и по специальностям: 210401 - физика и техника оптической связи, 210402 - средства связи с подвижными объектами, 210403 - защищенные системы связи, 210404 - многоканальные телекоммуникационные системы, 210405 - радиосвязь,
радиовещание и телевидение, 210406 - сети связи и системы коммутации, и полностью соответствует действующему Государственному образовательному стандарту высшего профессионального образования и требованиям квалификационной характеристики выпускника. Теоретическая часть пособия основана на лекциях, читанных автором в Поволжской государственной академии телекоммуникаций и информатики.

Математическая логика и теория алгоритмов, Сергиевская И.М., 2004
Скачать и читать Математическая логика и теория алгоритмов, Сергиевская И.М., 2004
 

Неклассические логики высказываний, Кузьмин Е.В., 2016

Неклассические логики высказываний, Кузьмин Е.В., 2016.

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

Неклассические логики высказываний, Кузьмин Е.В., 2016
Скачать и читать Неклассические логики высказываний, Кузьмин Е.В., 2016
 

Формальная грамматика и интенсиональная логика, Герасимова И.А., 2000

Формальная грамматика и интенсиональная логика, Герасимова И.А., 2000.

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

Формальная грамматика и интенсиональная логика, Герасимова И.А., 2000
Скачать и читать Формальная грамматика и интенсиональная логика, Герасимова И.А., 2000
 

Введение в логику, Учебник, Бочаров В.А., Маркин В.И., 2008

Введение в логику, Учебник, Бочаров В.А., Маркин В.И., 2008.

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

Введение в логику, Учебник, Бочаров В.А., Маркин В.И., 2008
Скачать и читать Введение в логику, Учебник, Бочаров В.А., Маркин В.И., 2008
 

Элементы математической логики, Новиков П.С., 1973

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

Элементы математической логики, Новиков П.С., 1973
Скачать и читать Элементы математической логики, Новиков П.С., 1973
 

Веселые задачи, Перельман Я., 2023

Веселые задачи, Перельман Я., 2023.

Сборник включает 550 задач и головоломок с ответами и решениями, собранными знаменитым популяризатором науки Яковом Исидоровичем Перельманом (1882–1942). Они публиковались в книгах «Для юных математиков. Первая сотня головоломок» и «Для юных математиков. Вторая сотня головоломок», в коллективном сборнике «Наука на досуге», а также в различных российских и советских журналах в период с 1906 по 1940 г. Тексты даны в авторской редакции и в современной орфографии. Большинство рисунков выполнены штатным художником ленинградского издательства «Время» Юрием (Георгием) Дмитриевичем Скалдиным (1891–1951).

Веселые задачи, Перельман Я., 2023
Скачать и читать Веселые задачи, Перельман Я., 2023
 

Основы логики, Учебник, Бочаров В.А., Маркин В.И., 2008

Основы логики, Учебник, Бочаров В.А., Маркин В.И., 2008.

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

Основы логики, Учебник, Бочаров В.А., Маркин В.И., 2008
Скачать и читать Основы логики, Учебник, Бочаров В.А., Маркин В.И., 2008
 
Показана страница 1 из 18