Математическая логика и машины

Математическая логика и машины КНИГИ » НАУЧНО-ПОПУЛЯРНОЕ

Автор: Георгий Осипович Ефремов
Название: Математическая логика и машины. Новое в жизни, науке, технике
Издательство: М:, Знание
Год: 1962
Страниц:
Формат: DJVU, PDF
Размер: 11 МБ

Логика — наука о законах человеческого мышления — зародилась еще в античной древности. Но не более ста лет назад она стала точной наукой. Новая наука получила название математической логики, изучающей математические доказательства. В первый период развития она занималась применением математического, прежде всего алгебраического, метода для исследования логических связей. Первую попытку распространить буквенное исчисление на логику сделал Лейбниц. Однако новый логический аппарат тогда не находил применения в науке и долго не получал развития. Попытки введения математической символики в логику возобновляются только в XIX веке. Следует отметить интересную работу Джорджа Буля «Исследование законов мысли», опубликованную в Лондоне в 1854 году, в которой автор применяет к проблемам формальной логики операции математического типа. Это важное событие на пути создания «алгебры логики». Позднее методы Буля уточняются и получают дальнейшее развитие в работах ряда крупных математиков. Значительный вклад в развитие алгебры логики внес русский математик П. С. Порецкий, завершивший своими исследованиями первый период развития математической логики.

Скачать с turbo.to

Скачать с hitfile.net

ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!

Автор: polyanskiy 7-06-2023, 11:42 | Напечатать |

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.

С этой публикацией часто скачивают:

Математическая логика и теория алгоритмов (Блатов И.А., Старожилова О.В.) Название: Математическая логика и теория алгоритмов Автор: Блатов И.А., Старожилова О.В. Издательство: Самара: ПГУТИ Год: 2017 Страниц: 214 Формат:...

"Наука логики" Гегеля в доступном изложении Название: "Наука логики" Гегеля в доступном изложении Автор: Сергей Труфанов Издательство: Парус Год: 1999 ISBN: 5-7967-0060-X Формат: pdf, fb2...

Математическая логика (Бигаева Л.А., Салиева М.С.) Название: Математическая логика: Учебное пособие для студентов физико-математического факультета Автор: Бигаева Л.А., Салиева М.С. Издательство:...

Математическая логика (2017) Название: Математическая логика (2017) Автор: Алябьева В.Г. Издательство: Пермь: Пермский государственный национальный исследовательский университет...

Диалектическая логика. Самоучитель мышления Название: Диалектическая логика. Самоучитель мышления Автор: Войтов А.Г. Издательство: Дашков и К° Год: 2016 Страниц: 480 Формат: pdf Размер: 10 mb...

Математическая логика. Курс лекций. Задачник-практикум и решения Название: Математическая логика. Курс лекций. Задачник-практикум и решения Автор: Лихтарников Л.М., Сукачева Т.Г. Издательство: Лань Год: 2009...

Что такое математическая логика? Название: Что такое математическая логика? Автор: Калужнин Л.А. Издательство: Наука Год: 1964 Формат: pdf Страниц: 152 Размер: 29,8 Mb Язык:...

Введение в индийскую логику Навья-Ньяя Название: Введение в индийскую логику Навья-Ньяя Автор: Инголлс Д. Г. Х. Издательство: М.: ГРВЛ "Наука" Год: 1975 Формат: pdf Страниц: 241 Размер: 19...

Алгебра логики и контактные схемы Автор: Г. О. Ефремов Название: Алгебра логики и контактные схемы. Новое в жизни, науке, технике Издательство: М:, Знание Год: 1969 Страниц: 32...

Первое знакомство с математической логикой Название: Первое знакомство с математической логикой, 2-е издание Автор: Депман И. Издательство: Знание Год: 1965 Формат: DJVU, PDF Страниц: 57...

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.