|
libcats.org
Формирование математической логикиСтяжкин Н.И.Бурное развитие математической логики во многом определяет основные тенденции научного прогресса наших дней. Ее принципы применяются не только в математике, но и в логических элементах вычислительных устройств, при машинном переводе с одного языка на другой, в сложных кибернетических системах и в других многочисленных областях и практики. Нынешний расцвет математической логики был подготовлен веками длительной и многообразной эволюции логических теорий и учений. Автор описывает узловые вехи в становлении и развитии наиболее ценных, с современной точки зрения, логических концепций: от материальной импликации мегарцев и стоиков до семиотики Г. Фреге и Ч. Пирса, от древнеиндийских предвосхищений вероятностной логики до идеографии Д. Пеано, от силлогистики Аристотеля до Г. Лейбница и алгебро-логических концепций XIX-XX вв. Книга рассчитана на математиков, философов, логиков, на работников, связанных с автоматикой, моделированием, с работой счетно-решающих устройств в области физики, химии, биологии, лингвистики и др., на преподавателей и студентов, на всех лиц, желающих ознакомиться с методами математической логики и историей ее формирования.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#1
Элементы современной теории функционально-дифференциальных уравненийАзбелев, Максимов, Рахматуллина.
2.27 Mb
#3
Оперативный контроль качества материалов цементного производстваБогданова И.В., Егоров Г.Б.
2.12 Mb
#7
Технология основного органического синтезаИ.И. ЮкельсонКатегория: Биология биохимия химия, Химические технологии
12.30 Mb
|
|