Автор: Георгий Осипович Ефремов Название: Математическая логика и машины Издательство: Знание Год: 1962 Страниц: Формат: DJVU Размер: 1,3 МБ
Логика — наука о законах человеческого мышления — зародилась еще в античной древности. Но не более ста лет назад она стала точной наукой. Новая наука получила название математической логики, изучающей математические доказательства. В первый период развития она занималась применением математического, прежде всего алгебраического, метода для исследования логических связей. Первую попытку распространить буквенное исчисление на логику сделал Лейбниц. Однако новый логический аппарат тогда не находил применения в науке и долго не получал развития. Попытки введения математической символики в логику возобновляются только в XIX веке. Следует отметить интересную работу Джорджа Буля «Исследование законов мысли», опубликованную в Лондоне в 1854 году, в которой автор применяет к проблемам формальной логики операции математического типа. Это важное событие на пути создания «алгебры логики». Позднее методы Буля уточняются и получают дальнейшее развитие в работах ряда крупных математиков. Значительный вклад в развитие алгебры логики внес русский математик П.С. Порецкий, завершивший своими исследованиями первый период развития математической логики.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь. Мы рекомендуем Вам зарегистрироваться либо зайти на сайт под своим именем.
Другие новости, похожие на книгу Ефремов Г.О. - Математическая логика и машины:
Вы можете разместить ссылку на книгу Ефремов Г.О. - Математическая логика и машины на своем сайте, блоге, любимом форуме или просто поделиться ей с друзьями:
HTML ссылка на книгу Ефремов Г.О. - Математическая логика и машины:
Ссылка для форума книга Ефремов Г.О. - Математическая логика и машины:
Ссылка на книгу Ефремов Г.О. - Математическая логика и машины:
Помощь по использованию электронной библиотеки книг: