он занимается математической логикой

  • 1Шелах, Сахарон — Сахарон Шелах ивр. שהרן שלח‎ …

    Википедия

  • 2Теория моделей — Теория моделей  раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория …

    Википедия

  • 3Моделей теория — Теория моделей  это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… …

    Википедия

  • 4Философия — Скульптура «Мыслитель» (фр. Le Penseur) Огюста Родена, которая часто используется в качестве символа философии …

    Википедия

  • 5НАУКА — особый вид познавательной деятельности, направленный на выработку объективных, системно организованных и обоснованных знаний о мире. Взаимодействует с др. видами познавательной деятельности: обыденным, художественным, религиозным, мифологическим …

    Философская энциклопедия

  • 6ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …

    Философская энциклопедия

  • 7МЫШЛЕНИЕ — направленный процесс переработки информации в когнитивной системе живых существ. М. реализуется в актах манипулирования (оперирования) внутренними ментальными репрезентациями, подчиняющимися определенной стратегии и приводящими к возникновению… …

    Философская энциклопедия

  • 8Языкознание — (языковедение, лингвистика)  наука о естественном человеческом языке вообще и о всех языках мира как индивидуальных его представителях. Место языкознания среди других наук. Языкознание и социальные науки. Поскольку язык является важнейшим… …

    Лингвистический энциклопедический словарь

  • 9мышление —         МЫШЛЕНИЕ процесс решения проблем, выражающийся в переходе от условий, задающих проблему, к получению результата. М. предполагает активную конструктивную деятельность по переструктурированию исходных данных, их расчленение, синтезирование… …

    Энциклопедия эпистемологии и философии науки

  • 10Фибоначчи — (Fibonacci) Фибоначчи первый крупный математик средневековой Европы Десятичная система счисления, арабские цифры, числа, последовательность, уровни, ряд, линии и спираль Фибоначчи Содержание >>>>>>>>> …

    Энциклопедия инвестора