Тақырыптар

Математикалық логика

Mathematical Logic · 117 мақала

  1. Стандартты емес логикалар және олардың жіктелуі

    Бетандартты емес логика – бұл дәстүрлі логикадан өзгеше формалды жүйелер. Олар логикалық салдар мен шындықтың жаңа модельдерін құруға мүмкіндік береді. Философия және информатикада қолданылады.

    #368230 · 1 мин оқу

  2. Логикалық форма: мағына мен құрылымның абстракциясы

    Логикалық форма: мағынаны формалдау, дәлдік пен анықтыққа қол жеткізу. Аргумент формасы, формалды жүйелер, семантикалық құрылымдар туралы біліңіз.

    #378140 · 1 мин оқу

  3. Белгілі бір шартты грамматикалар: Prolog және тілдік талдау

    Логикалық бағдарламалау тілдерінде (Prolog) грамматиканы сипаттау тәсілі – DCG. Атрибуттық грамматикамен байланысты, бірінші ретті логикадағы анықталған шарттар жиыны.

    #378523 · 5 мин оқу

  4. Формалдық тілдегі теоремалар жиыны

    Математикалық логикадағы теория – формальді тілдегі сөйлемдер жиыны. Аксиомалар, теоремалар, дедуктивті жүйелер туралы мағлұмат.

    #388793 · 5 мин оқу

  5. Дов Габбай: Израильдік логик және ғалым

    Дов М. Габбай – ізраилдік логик, 450-ден астам ғылыми мақала авторы. Логика, тіл, есептеу, философия саласындағы маңызды еңбектер жазған.

    #398999 · 3 мин оқу

  6. Марков логикалық желілер: Статистикалық қатынастарды оқыту формализмі

    Марков логикалық желілер: статистикалық қатынастарды оқыту үшін қолданылатын, бірінші ретті логикаға негізделген ықтималдық логика. 2003 ж. енгізілді.

    #399610 · 2 мин оқу

  7. Білім туралы модальды логиканың даму тарихы мен қазіргі ағымдары

    Эпистемикалық модальды логика – білім туралы пайымдау логикасы. Тарихы, дамуы, қолданылу аймақтары (философия, АИ, экономика) туралы ақпарат.

    #408657 · 6 мин оқу

  8. Модальды операторлар: логика, мағына және түрлері

    Модальдық операторлар – модальдық логикадағы логикалық байланыстар. Бұл операторлар пікірлерден жаңа пікірлер құрайды, қажеттілік, мүмкіндік сияқты модальдық көзқарастарды білдіреді.

    #409036 · 2 мин оқу

  9. Классикалық емес логикалардың жіктелуі

    Бекеттік емес логика – классикалық логикамен үйлеспейтін логика түрі. Формулалар жиыны ұқсас, бірақ теоремалар жиыны өзгеше. Логика, философия.

    #425692 · 2 мин оқу

  10. Тұрақты модельдер: Логикалық бағдарламалаудағы мағынасы мен қолданылуы

    Логикалық бағдарламалаудағы тұрақтандырылған модельдер (жауап жиынтықтары) негативтің мағынасын анықтайды. Автоэпистемикалық логика, әдепкі логика негізі.

    #430823 · 5 мин оқу

  11. Шектеулермен логикалық бағдарламалау

    Шектеулермен логикалық бағдарламалау: шектеулерді қанағаттандыру арқылы логикалық бағдарламалау кеңейтіледі. Құрау шарттары мен логикалық өрнектерді үйлестіреді.

    #432355 · 13 мин оқу

  12. Жапэ: Логикалық дәлелдемелерді құруға көмектесетін бағдарламалық құрал

    Jape – математикалық логиканы оқытуға арналған графикалық құрал. Java тілінде жазылған, Mac, Unix, Windows жүйелерінде қолданылады. Дәлелдемелерді дамытуға көмектеседі.

    #449845 · 1 мин оқу

  13. Гёдель, Эшер, Бах кітабындағы MU жұмбағы

    Жұмбақ: "Gödel, Escher, Bach" кітабындағы MU жүйесі. Формальды жүйе ішіндегі және оның сыртындағы ойлауды салыстырады. MIU қағидалары, түрлендірулер мен шектеулер.

    #451752 · 2 мин оқу

  14. Логикадағы клаузалар: анықтамасы мен түрлері

    Логикада клауза – әдепкілер мен логикалық байланыстардан құралған формула. Дискьюнктивті немесе конъюнктивті болуы мүмкін. Маңызды түсініктер мен анықтамалар.

    #453687 · 1 мин оқу

  15. F-logic

    #465172 · 1 мин оқу

  16. Knowledge Interchange Format

    #496754 · 1 мин оқу

  17. Implicational propositional calculus

    #508810 · 1 мин оқу