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

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

Рубрики: Математика

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

22.12
A92
Атушева, М. К.
    Алгоритмы и структуры данных [Текст] / М. К. Атушева. - Уральск : [б. и.], 2005. - 75 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12

Рубрики: Математика

Кл.слова (ненормированные):
Атушева -- алгоритмы -- структуры данных
Держатели документа:
ЗКГУ
Экземпляры всего: 1
ч/з.6 (1)
Свободны: ч/з.6 (1)

22.12
Т 33

    Теория моделей в Казахстане : Сборник науч. работ, посвящ. памяти А. Д. Тайманова. [Текст]. - Алматы. : [б. и.], 2006. - 448 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12

Рубрики: Основное математики

Кл.слова (ненормированные):
Теория моделей в Казахстане
Держатели документа:
ЗКГУ
Доп.точки доступа:
Еримбетова, М. М.

Экземпляры всего: 2
ч/з.2 (2)
Свободны: ч/з.2 (2)