МАЗМҰНЫ
1.2. Тұжырымдарға қолданылатын логикалық амалдар. Терістеу
1.7 Тұжырымдар алгебрасының формулалары
1.8 Тұжырымдар алгебрасының пара-пар, тепе-тең ақиқат және тепе-тең жалған формулалары
1.10 Формулаларды тепе-тең түрлендіру
1.11 Логика алгебрасының функциялары
1.12 Нормал және жетілдірілген формалар
1.13 Формулаларды ақиқаттық мәндер кестесі бойынша қалпына келтіру
1.14 Логикалық байланыстардың толық жүйелері
2 тарау. тұжырымдар есептелімі
2.1 Тұжырымдар есептелімі формуласының ұғымы
2.2. Дәлелденетін формула ұғымы
2.3 Тұжырымдар есептелімінің аксиомалар жүйесі
2.5 Дәлелденетін формуланың анықтамасы
2.7 Формулаларды гипотезалардан қорытып шығару
2.9 Тұжырымдар алгебрасы мен тұжырымдар есептелімі арасындағы байланыс
3.2 Предикаттарға логикалық амалдарды қолдану
3.4 Предикаттар логикасының формуласының ұғымы
3.5 Предикаттар логикасының формулаларының тепе-теңдігі
3.7 Математикалық тұжырымдар мен анықтамаларды предикаттар логикасының формулалары түрінде жазу
VI тарау. АЛГОРИТМДЕР ТЕОРИЯСЫНЫҢ Элементтері
4.1 Алгоритм түсінігі және оның қасиеттері
4.3 Машинаның жұмыс істеу ережелері
Қорытынды
Көлемі: 30 бет, интервал: 1
Бағасы: 2000 т