выводить теорему
1АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …
2Геометрия — (γήμετρώ земля, μετρώ мерю). Понятия о пространстве, положении и форме принадлежат к числу первоначальных, с которыми человек был знаком уже в глубокой древности. Первые шаги в Г. были сделаны египтянами и халдеями. В Греции Г. была введена… …
3Блез Паскаль — Паскаль Блез Blaise Pascal Блез Паскаль (автор Филипп де Шампень) Род деятельности: математик, философ, литер …
4Паскаль Б. — Паскаль Блез Blaise Pascal Блез Паскаль (автор Филипп де Шампень) Род деятельности: математик, философ, литер …
5Паскаль Блез — Blaise Pascal Блез Паскаль (автор Филипп де Шампень) Род деятельности: математик, философ, литер …
6Юм Давид — (Hume) знаменитый философ и историк. Родился в Эдинбурге 26 апреля 1711 г. Происходил из благородной шотландской фамилии. Отца он потерял в детстве; мать, которую он вспоминает с любовью и благодарностью, посвятила себя воспитанию детей. Учился в …
7Юм, Давид — (Hume) знаменитый философ и историк. Родился в Эдинбурге 26 апреля 1711 г. Происходил из благородной шотландской фамилии. Отца он потерял в детстве; мать, которую он вспоминает с любовью и благодарностью, посвятила себя воспитанию детей. Учился в …
8Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… …
9ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) …
10ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …
- 1
- 2