База данных: Электронный Каталог книг
Страница 1, Результатов: 8
Отмеченные записи: 0
1.
Подробнее
22.12(5КАЗ)
Д 70
Досанбай , П. Т.
Математикалық логика [Текст] : оқулық / П. Т. Досанбай . - А. : Дәуір, 2011. - 280 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12(5КАЗ)
Рубрики: Математическая логика
Кл.слова (ненормированные):
математикалық логика -- пікірлер есептеуі -- предикаттар логикасы -- алгоритмдер теориясына -- жиындар теориясы -- пікілер логикасы -- логика алгебрасы -- бірінші ретті теориялар -- пост теориясы -- элементар теориясы -- алгоритм ұғымы -- черч тезисінің салдарлары
Аннотация: Оқулық мазмұны Қазақстан Республикасындағы қабылдаған математикалық логика пәні бойынша стандартқа сәйкес келеді және университетердегі және техникалық оқу жоғары оқу орындарда өтетін математикалық логика және дискретті математика пәндерін жүргізуге көмекші оқулық болады деген сенімдеміз.Оқу құралы теориялық материалдармен бірге,практикалық сабақтар жүргізуге арналған жаттығуларды және аралық бақылаулар өткізуге арналған тест тапсырмаларының үлгілерін қамтиды.Кітап соңында аралық бақылаулар өткізуге арналған тест үлгілері келттірілген.Кітап мазмұны автордың Әл-Фараби атындағы Қазақ ұлттық университетінің механика-математика факультетінде студенттерге жүргізген дәрістері мен семинар сабақтарына негізделді.
Держатели документа:
БҚМУ
Экземпляры всего: 20
ау (15), чз2 (5)
Свободны: ау (14), чз2 (5)
Д 70
Досанбай , П. Т.
Математикалық логика [Текст] : оқулық / П. Т. Досанбай . - А. : Дәуір, 2011. - 280 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Математическая логика
Кл.слова (ненормированные):
математикалық логика -- пікірлер есептеуі -- предикаттар логикасы -- алгоритмдер теориясына -- жиындар теориясы -- пікілер логикасы -- логика алгебрасы -- бірінші ретті теориялар -- пост теориясы -- элементар теориясы -- алгоритм ұғымы -- черч тезисінің салдарлары
Аннотация: Оқулық мазмұны Қазақстан Республикасындағы қабылдаған математикалық логика пәні бойынша стандартқа сәйкес келеді және университетердегі және техникалық оқу жоғары оқу орындарда өтетін математикалық логика және дискретті математика пәндерін жүргізуге көмекші оқулық болады деген сенімдеміз.Оқу құралы теориялық материалдармен бірге,практикалық сабақтар жүргізуге арналған жаттығуларды және аралық бақылаулар өткізуге арналған тест тапсырмаларының үлгілерін қамтиды.Кітап соңында аралық бақылаулар өткізуге арналған тест үлгілері келттірілген.Кітап мазмұны автордың Әл-Фараби атындағы Қазақ ұлттық университетінің механика-математика факультетінде студенттерге жүргізген дәрістері мен семинар сабақтарына негізделді.
Держатели документа:
БҚМУ
Экземпляры всего: 20
ау (15), чз2 (5)
Свободны: ау (14), чз2 (5)
2.
Подробнее
22.12
И 26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студ. вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2008. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Алгебра высказываний -- Формулы алгебры -- Булевы функций -- Логика предикатов -- математическая логика -- теория алгоритмов -- задачи -- упражнения
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Держатели документа:
ЗКГУ
Экземпляры всего: 16
чз2 (5), ау (11)
Свободны: чз2 (5), ау (10)
И 26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студ. вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2008. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Алгебра высказываний -- Формулы алгебры -- Булевы функций -- Логика предикатов -- математическая логика -- теория алгоритмов -- задачи -- упражнения
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Держатели документа:
ЗКГУ
Экземпляры всего: 16
чз2 (5), ау (11)
Свободны: чз2 (5), ау (10)
3.
Подробнее
22.12
Ж 64
Жетпісов, Қ.
Математикалық логика және дискретті математика : оқулық / Қ. Жетпісов. - Алматы : Дәуір, 2011. - 264 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
жиындар теориясының элементтері -- Эйлер-Венн диаграммалары -- тұжырымдар алгебрасы -- аксиомалық әдіс -- санақ -- предикаттар санағы -- алгебралық жүйелер -- графтар -- кодтау теориясы -- математикалық логика -- дискретті математика
Аннотация: Оқулықта математикалық логика және дискреттік математика баяндалады.
Держатели документа:
БҚМУ
Экземпляры всего: 10
чз2 (10)
Свободны: чз2 (9)
Ж 64
Жетпісов, Қ.
Математикалық логика және дискретті математика : оқулық / Қ. Жетпісов. - Алматы : Дәуір, 2011. - 264 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
жиындар теориясының элементтері -- Эйлер-Венн диаграммалары -- тұжырымдар алгебрасы -- аксиомалық әдіс -- санақ -- предикаттар санағы -- алгебралық жүйелер -- графтар -- кодтау теориясы -- математикалық логика -- дискретті математика
Аннотация: Оқулықта математикалық логика және дискреттік математика баяндалады.
Держатели документа:
БҚМУ
Экземпляры всего: 10
чз2 (10)
Свободны: чз2 (9)
4.
Подробнее
51
Н 90
Нұрсұлтанов, Қ.
Математикалық логика бастамалары [Текст]. Б.2 / Қ. Нұрсұлтанов. - [Б. м.] : Республикалық баспа кабинеті, 1995. - 173 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
математика -- логика -- алгоритмдер
Аннотация: Оқу құралында предикаттар логикасы, предикаттық есептемелер және алгоритмдер теориясының бастамалары берілген.
Держатели документа:
БҚМУ
Экземпляры всего: 3
чз2 (3)
Свободны: чз2 (2)
Н 90
Нұрсұлтанов, Қ.
Математикалық логика бастамалары [Текст]. Б.2 / Қ. Нұрсұлтанов. - [Б. м.] : Республикалық баспа кабинеті, 1995. - 173 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
| УДК |
Рубрики: Математика
Кл.слова (ненормированные):
математика -- логика -- алгоритмдер
Аннотация: Оқу құралында предикаттар логикасы, предикаттық есептемелер және алгоритмдер теориясының бастамалары берілген.
Держатели документа:
БҚМУ
Экземпляры всего: 3
чз2 (3)
Свободны: чз2 (2)
5.
Подробнее
517
Н 90
Нұрсұлтанов, Қ.
Математикалық логиканың бастамалары [Текст]. . Б.2. / Қ. Нұрсұлтанов. - Алматы : Республикалық баспа кабинеті, 1995. - 173 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
математика -- предикаттар логика -- алгоритм теориясы
Аннотация: Оқу құралында предикаттар логикасы, предикаттық есептемелер және алгоритмдер теориясының бастамалары қазіргі кездегі мектеп педагогикасының талаптарына негізделіп жазылған.
Держатели документа:
БҚМУ
Экземпляры всего: 2
чз2 (2)
Свободны: чз2 (2)
Н 90
Нұрсұлтанов, Қ.
Математикалық логиканың бастамалары [Текст]. . Б.2. / Қ. Нұрсұлтанов. - Алматы : Республикалық баспа кабинеті, 1995. - 173 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
| УДК |
Рубрики: Математика
Кл.слова (ненормированные):
математика -- предикаттар логика -- алгоритм теориясы
Аннотация: Оқу құралында предикаттар логикасы, предикаттық есептемелер және алгоритмдер теориясының бастамалары қазіргі кездегі мектеп педагогикасының талаптарына негізделіп жазылған.
Держатели документа:
БҚМУ
Экземпляры всего: 2
чз2 (2)
Свободны: чз2 (2)
6.
Подробнее
22.176
П 14
Палий, И. А.
Дискретная математика и математическая логика [Текст] : учебное пособие для вузов / И. А. Палий. - 3-е изд., испр. и доп. - М. : [б. и.], 2022. - 370 с. - (Высшее образование). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.176
Рубрики: Дискретный анализ (дискретная математика, конечная математика)
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- метод математической индукции -- комбинаторика -- теория множеств -- формула включения и исключения -- неизвестные множители -- бинарные отношения -- ядро -- матрицы -- конечные бинарные отношения -- отношения эквивалентности -- функции -- теорема о гомоморфизме -- отношения порядка -- решетки -- матроиды -- алгоритм -- жадный алгоритм -- алгебра логики
Аннотация: В настоящем учебном пособии излагаются основы теории множеств, теории графов, алгебры логики, исчисления высказываний, исчисления предикатов. Теоретический материал представлен доступно и лаконично, также в книге содержится большое количество практических примеров и задач, что облегчает усвоение понятий и методов дискретной математики и математической логики.
Держатели документа:
ЗКУ им. М. Утемисова
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
П 14
Палий, И. А.
Дискретная математика и математическая логика [Текст] : учебное пособие для вузов / И. А. Палий. - 3-е изд., испр. и доп. - М. : [б. и.], 2022. - 370 с. - (Высшее образование). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Дискретный анализ (дискретная математика, конечная математика)
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- метод математической индукции -- комбинаторика -- теория множеств -- формула включения и исключения -- неизвестные множители -- бинарные отношения -- ядро -- матрицы -- конечные бинарные отношения -- отношения эквивалентности -- функции -- теорема о гомоморфизме -- отношения порядка -- решетки -- матроиды -- алгоритм -- жадный алгоритм -- алгебра логики
Аннотация: В настоящем учебном пособии излагаются основы теории множеств, теории графов, алгебры логики, исчисления высказываний, исчисления предикатов. Теоретический материал представлен доступно и лаконично, также в книге содержится большое количество практических примеров и задач, что облегчает усвоение понятий и методов дискретной математики и математической логики.
Держатели документа:
ЗКУ им. М. Утемисова
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
7.
Подробнее
81.2 Каз-4
А 62
Әмірбекова, А.
М. Мақатаевтың бейнелі сөздер сөздігі [Текст] / А. Әмірбекова ; Жауапты ред. Н. М. Уәли. - Қарағанды : Экожан, 2013. - 150 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 81.2
Каз-4
Рубрики: Казахский язык. Лексикография. Словари
Кл.слова (ненормированные):
мұқағали мақатаев -- бейнелі сөздер сөздігі -- шығармаларындағы метафорлар -- аталым метафоралар -- бейнелі-бағалауыш метафоралар -- бейнелі-предикатты метафоралар -- концептілік метафоралар -- теңеулер -- эпитеттер -- кейіптеу бейнелері -- нақыл өлеңдері
Аннотация: Сөздікте шынайы поэзия өкілі, ғажайып ақындардың бірегейі, ақиық ақын М. Мақатаевтың бейнелі сөздері (метафоралары, теңеулері, эпитеттері, перифраздары, нақыл сөздері) беріліп отыр.
Держатели документа:
БҚУ
Доп.точки доступа:
Уәли, Н.М. \жауапты ред.\
Экземпляры всего: 1
чз1 (1)
Свободны: чз1 (1)
А 62
Әмірбекова, А.
М. Мақатаевтың бейнелі сөздер сөздігі [Текст] / А. Әмірбекова ; Жауапты ред. Н. М. Уәли. - Қарағанды : Экожан, 2013. - 150 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Казахский язык. Лексикография. Словари
Кл.слова (ненормированные):
мұқағали мақатаев -- бейнелі сөздер сөздігі -- шығармаларындағы метафорлар -- аталым метафоралар -- бейнелі-бағалауыш метафоралар -- бейнелі-предикатты метафоралар -- концептілік метафоралар -- теңеулер -- эпитеттер -- кейіптеу бейнелері -- нақыл өлеңдері
Аннотация: Сөздікте шынайы поэзия өкілі, ғажайып ақындардың бірегейі, ақиық ақын М. Мақатаевтың бейнелі сөздері (метафоралары, теңеулері, эпитеттері, перифраздары, нақыл сөздері) беріліп отыр.
Держатели документа:
БҚУ
Доп.точки доступа:
Уәли, Н.М. \жауапты ред.\
Экземпляры всего: 1
чз1 (1)
Свободны: чз1 (1)
8.
Подробнее
81.2Рус-2
М 91
Муратова, Б. А.
Синтаксис. Пунктуация [Текст] : учебник русского языка для студентов / Б. А. Муратова. - Алматы : ТОО "Лантар books", 2023. - 546 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 81.2Рус-2
Рубрики: Русский язык. Грамматика
Кл.слова (ненормированные):
синтаксис -- пунктуация -- русский язык -- синтаксическая связь -- виды синтаксической связи -- предикативная связь -- тесты -- практические задания -- простое предложение -- виды -- грамматическая основа -- словосочетание -- односоставные предложения -- двусоставные предложения -- модальные виды предложения -- нечленимые предложения -- полные предложения -- неполные предложения -- второстепенные члены предложения -- чужая речь -- сложное предложение -- сложносочиненные предложения -- сложноподчиненное предложение -- бессоюзное сложное предложение
Аннотация: В книге рассматриваются общие понятия о "Синтаксис. Пунктуация", их роли в систематических разделах грамматики.
Держатели документа:
ЗКУ
Экземпляры всего: 2
чз1 (2)
Свободны: чз1 (2)
М 91
Муратова, Б. А.
Синтаксис. Пунктуация [Текст] : учебник русского языка для студентов / Б. А. Муратова. - Алматы : ТОО "Лантар books", 2023. - 546 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Русский язык. Грамматика
Кл.слова (ненормированные):
синтаксис -- пунктуация -- русский язык -- синтаксическая связь -- виды синтаксической связи -- предикативная связь -- тесты -- практические задания -- простое предложение -- виды -- грамматическая основа -- словосочетание -- односоставные предложения -- двусоставные предложения -- модальные виды предложения -- нечленимые предложения -- полные предложения -- неполные предложения -- второстепенные члены предложения -- чужая речь -- сложное предложение -- сложносочиненные предложения -- сложноподчиненное предложение -- бессоюзное сложное предложение
Аннотация: В книге рассматриваются общие понятия о "Синтаксис. Пунктуация", их роли в систематических разделах грамматики.
Держатели документа:
ЗКУ
Экземпляры всего: 2
чз1 (2)
Свободны: чз1 (2)
Страница 1, Результатов: 8