Информатика и ИТ
Тестовый вопрос
Решающий вклад в возможность формальных преобразований логических выражений (формализации логических операций) внес
Варианты ответа
Ответ из базыРешающий вклад в возможность формальных преобразований логических выражений (формализации логических операций) внес
Джордж Буль
Решение:
Джордж Буль (1815–1864) – английский математик и логик. Профессор математики Королевского колледжа Корка (Англия). Один из предтеч математической логики.
Буль первым применил идеи символического метода к логике («Математический анализ логики», 1847). Он показал, что символика такого рода подчиняется тем же законам, что и алгебраическая, из чего следовало, что логические символы можно складывать, вычитать, умножать и даже делить. В такой символике высказывания могут быть сведены к форме уравнений, а заключение из двух посылок силлогизма – получено путем исключения среднего термина по обычным алгебраическим правилам. Еще более оригинальной и примечательной была часть его системы, где Буль показал, как из любого числа высказываний, включающих любое число терминов, вывести любое заключение, следующее из этих высказываний, путем чисто символических манипуляций.
Джордж Буль (1815–1864) – английский математик и логик. Профессор математики Королевского колледжа Корка (Англия). Один из предтеч математической логики.
Буль первым применил идеи символического метода к логике («Математический анализ логики», 1847). Он показал, что символика такого рода подчиняется тем же законам, что и алгебраическая, из чего следовало, что логические символы можно складывать, вычитать, умножать и даже делить. В такой символике высказывания могут быть сведены к форме уравнений, а заключение из двух посылок силлогизма – получено путем исключения среднего термина по обычным алгебраическим правилам. Еще более оригинальной и примечательной была часть его системы, где Буль показал, как из любого числа высказываний, включающих любое число терминов, вывести любое заключение, следующее из этих высказываний, путем чисто символических манипуляций.
Дата изменения страницы не означает экспертную проверку ответа. Как проверять материалы.
Сообщить об ошибке или предложить уточнение
К вопросу № 3 280. Адрес этой страницы будет добавлен автоматически.
Ещё вопросы по дисциплине
Вся тема «Информатика и ИТ» →
Ячейки статической памяти можно представить как электронные микроэлементы — __________________, состоящие из нескольких транзисторов.
Ячейки динамической памяти можно представить в виде __________________, способных накапливать заряд на своих обкладках.
Языки программирования __________________ поколения — языки программирования, соответствующие некоторой области применения и обеспечивающие возможность структурного программирования.
Языки __________________ поколения — языки программирования, в которых управление и структуры данных непосредственно отражают архитектуру ЭВМ.
Язык __________________ — набор типов операторов, добавляемый к некоторому существующему языку программирования и позволяющий использовать последний для обработки данных в базе данных.
Эффективное кодирование базируется на основной теореме __________________ для каналов без шума.