В настоящей книге, одной из немногих в отечественной и мировой научной литературе, приводятся сведения о математических понятиях, терминах и обозначениях. Читатель узнает, кто и когда ввел понятие, определение и термин; как оно называлось при своем первом появлении; когда возник современный термин и кем он был предложен; что он означает в точном переводе на русский язык; кому принадлежит обозначение (если оно имеется). Сведения даются в алфавитном порядке. Идея книги возникла, когда обнаружилось, что исторические сведения рассеяны в огромном числе статей и книг, в предисловиях, примечаниях и сносках. Насколько удалось найти специальные публикации, это - несколько страниц в "Математике в школе" за 1941 г. (автор - Н.И.Шевченко), брошюра В.В.Никишова "Словник походження математичнiх термiнiв" (1935) и книга Ch.Mugler "Dictionnaire historique de la terminologie g'eom'etrique des grecs" (Paris, 1958). Теперь к ним можно добавить пособие "Математическая терминология" Е.А.Орловой (изд-во МГУ, 1989). Елена Алексеевна установила по словарям, когда именно и из какого языка тот или иной термин вошел в русский язык. История открытия -- одно из средств (а может быть, и единственное средство) сделать аудиторию, хотя бы в какой-то степени, свидетелем открытия, что так интересно и так важно для понимания логики развития математики и логики самой математики. Можно сослаться на мнение А.Пуанкаре: "В ее строго логической форме математическая дисциплина принимает столь искусственный характер, что ставит в тупик любого. Забывая исторические истоки, мы видим, как вопросы могут быть разрешены, но перестаем понимать, как и почему они были поставлены". Исторический подход решает еще одну задачу -- объяснить и сделать понятным определение, доказательство, решение. Ф.Клейн писал, что нет более доходчивого объяснения, чем обращение к истории предмета. Он щедро делился опытом в "Лекциях об истории развития математики в XIX веке". Книга такого жанра, естественно, не может быть полной и законченной. Увы, никто необъятного объять не может.

Рассматриваются методы дедуктивного вывода и обобщения в системах принятия решений. Дается описание двух классов формальных систем: исчисления высказываний и исчисления предикатов первого порядка. Рассматриваются декларативные, процедурные и специальные модели представления знаний; особое внимание уделяется семантическим сетям. Приводятся дедуктивные методы вывода, где наряду с классическими типа принципа резолюции и его модификации излагаются методы дедуктивного вывода на семантических сетях; дается применение методов дедукции в системах управления сложными объектами. Рассматриваются методы обобщения понятий по признакам и по структурам и их реализация в системах управления. Излагаются методы обобщения с использованием нечетких переменных и иерархические методы кластеризации. Для специалистов в области искусственного интеллекта, систем управления и принятия решений.

В настоящее издание избранных произведений Фихте включены важнейшие работы первого периода, начиная с самых ранних - "Опыты критики всякого откровения" (1792) и "Востребования от государей Европы свободы мысли, которую они до сих пор подавляли" (1792) и кончая трактатом 1801 г. "Ясное, как солнце, сообщение широкой публике об истинной сущности новейшей философии".

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

Указанная монография, не углубляясь в технические детали современной логики, освещает некоторые её проблемы с их идейной стороны. При этом речь идёт как о понятиях, участвующих в формирова- нии логической теории в целом (исторический аспект развития логики и её связь с теорией аргументации), так и о понятиях частного порядка (например, идейный аспект теории «нормальных форм»). Вместе с тем главная цель автора — обсудить справедливость (достаточ- ность) традиционного определения логической дедукции как движения мысли «от общего к частному», по крайней мере, в той части ло- гики, которую называют «логикой высказываний». В этой связи автор показывает, что дедукция, равным образом, как и эксперимент, демонстрирует характерные черты верификации, что вполне объясня- ет, почему именно Декарт поставил дедукцию на второе место (в порядке исследования) после интеллектуальной интуиции.

Ця книга витримала дев'ять видань і по суті є одним із базових підручників з логіки для студентів юридичних спеціальностей. Найважливіші переваги підручника: чітка побудова матеріалу; автору вдалося навіть найскладніші розділи подати доступно і зрозуміло; теоретичний матеріал органічно поєднується з практикою судового пізнання, особливостями правового дослідження. За змістом підручник повністю відповідає програмі навчальної дисципліни "Логіка" для студентів юридичних спеціальностей. Розраховано на студентів юридичних спеціальностей, фахівців, які цікавляться питаннями застосування логіки у практиці юриста.

  Текст у форматі PDF 10.73 Мб