Электрондық каталогта іздеу

517.1
С 89
Судоплатов, С. В.
    Математическая логика и теория алгоритмов : учебник для студентов обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; М-во образования и науки РФ, НГТУ. - М. : ИНФРА-М ; Новосибирск : НГТУ, 2008. - 224 с. - (Высшее образование). - ISBN 978-5-16-001975-8. - ISBN 978-5-7782-0458-4 : 2300.00 тг

Судоплатов, С.В. Математическая логика и теория алгоритмов [Текст] : учебник для студентов обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова, 2008. - 224 с.

517.1
И 26
Игошин, В. И.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 032100 "Математика" / В. И. Игошин. - 3-е изд. стер. - М. : ACADEMIA, 2007. - 303 с. : ил. - (Высшее профессиональное образование). - ISBN 5-7695-3728-0 : 3200.00 тг

Игошин, В.И. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 032100 "Математика" / В. И. Игошин, 2007. - 303 с.

517.1
М 30
Марченков, С. С.
    Рекурсивные функции : учебное пособие / С. С. Марченков. - М. : Физматлит, 2007. - 62 с. : ил. - (Популярные лекции по математике). - ISBN 978-5-9221-0825-6 : 1400.00 тг

Марченков, С.С. Рекурсивные функции [Текст] : учебное пособие / С. С. Марченков, 2007. - 62 с.

517.1
Е 80
Ершов, Ю. Л.
    Проблемы разрешимости и конструктивные модели : научное издание / Ю. Л. Ершов. - М. : Наука, 1980. - 415 с. : ил. - (Математическая логика и основания математики). - 720.00 тг

Ершов, Ю.Л. Проблемы разрешимости и конструктивные модели [Текст] : научное издание / Ю. Л. Ершов, 1980. - 415 с.

517.1=қаз
Ж 56
Жетпісов, Қ.
    Математикалық логика және дискретті математика : оқулық университетінің "Математика", "Иинформатика", "Ақппараттық жүйелер" мамандықтары бойынша білім алушы студенттерге арналған / Қ. Жетпісов ; Қазақстан Республикасының Білім және ғылым министрлігі, Е.А. Бөкетов атындағы Қарағанды мемлекеттік ун-ті. - Қарағанды : Басылым ҰҒТАО, 2008. - 301 б. - ISBN 9965-690-13-8 : 1200.00 тг, 300.00 тг
Есть цифровая копия: : http://elib.kstu.kz/fulltext//Skan/matematikalyk logika diskrette matematika.pdf. - [Б. м. : б. и.]

Жетпісов, Қ. Математикалық логика және дискретті математика [Текст] : оқулық университетінің "Математика", "Иинформатика", "Ақппараттық жүйелер" мамандықтары бойынша білім алушы студенттерге арналған / Қ. Жетпісов, 2008. - 301 б.

517.1=қаз
Ж 56
Жетпісов, Қ.
    Математикалық логика және дискретті математика : оқулық университеттердің "математика", "информатика", "ақпараттық жүйелер" мамандықтары арналған / Қ. Жетпісов ; Қазақстан Республикасы Білім және ғылым министрлігі. - Алматы : Дәуір, 2011. - 262 б. - (ҚР Жоғары оқу орындарының Қауымдастығы). - ISBN 978-601-217-186-0 : 494.00 тг
Есть цифровая копия: : http://elib.kstu.kz/fulltext//Skan/matematikalyk logika zhane diskrette matematika.pdf. - [Б. м. : б. и.]

Жетпісов, Қ. Математикалық логика және дискретті математика [Текст] : оқулық университеттердің "математика", "информатика", "ақпараттық жүйелер" мамандықтары арналған / Қ. Жетпісов, 2011. - 262 б.

517.1=қаз
Д 64
Досанбай, П. Т.
    Математикалық логика : оқулық механика-математика факультетінде студенттерге арналған / П. Т. Досанбай ; Қазақстан Республикасы Білім және ғылым министрлігі. - Алматы : ЖШС РПБК "Дәуір", 2011. - 277 б. : сурет. - (ҚР Жоғары оқу орындарының қауымдастығы). - ISBN 978-601-217-244-7 : 666.00 тг
Есть цифровая копия: : http://elib.kstu.kz/fulltext//Skan/Matematikalyk logika.pdf. - [Б. м. : б. и.]

Досанбай, П.Т. Математикалық логика [Текст] : оқулық механика-математика факультетінде студенттерге арналған / П. Т. Досанбай, 2011. - 277 б.

517.1
Ш 24
Шапорев, С. Д.
    Математическая логика. Курс лекций и практических занятий : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев ; Научно - методический Совет по математике и механике вузов Северо-Запада. - СПб. : БХВ - Петербург, 2007. - 410 с. : ил. - (Учебное пособие ). - ISBN 978-5-94157-702-6 : 2985.00 тг

Шапорев, С.Д. Математическая логика. Курс лекций и практических занятий [Текст] : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев, 2007. - 410 с.