Электронный каталог

22.12(5КАЗ)
Д 70
Досанбай , П. Т.
    Математикалық логика [Текст] : оқулық / П. Т. Досанбай . - А. : Дәуір, 2011. - 280 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - ISBN 9786012172447 : 666 тг

ББК 22.12(5КАЗ)

Рубрики: Математическая логика

Кл.слова (ненормированные):
математикалық логика -- пікірлер есептеуі -- предикаттар логикасы -- алгоритмдер теориясына -- жиындар теориясы -- пікілер логикасы -- логика алгебрасы -- бірінші ретті теориялар -- пост теориясы -- элементар теориясы -- алгоритм ұғымы -- черч тезисінің салдарлары
Аннотация: Оқулық мазмұны Қазақстан Республикасындағы қабылдаған математикалық логика пәні бойынша стандартқа сәйкес келеді және университетердегі және техникалық оқу жоғары оқу орындарда өтетін математикалық логика және дискретті математика пәндерін жүргізуге көмекші оқулық болады деген сенімдеміз.Оқу құралы теориялық материалдармен бірге,практикалық сабақтар жүргізуге арналған жаттығуларды және аралық бақылаулар өткізуге арналған тест тапсырмаларының үлгілерін қамтиды.Кітап соңында аралық бақылаулар өткізуге арналған тест үлгілері келттірілген.Кітап мазмұны автордың Әл-Фараби атындағы Қазақ ұлттық университетінің механика-математика факультетінде студенттерге жүргізген дәрістері мен семинар сабақтарына негізделді.
Держатели документа:
БҚМУ
Экземпляры всего: 20
ау (15), чз2 (5)
Свободны: ау (15), чз2 (5)