548 записей
Шиханович Ю. А.
Логические и математические исчисления : учеб. пособие / Шиханович Ю. А. - М. : Научный мир, 2011. - 253 с. : ил. - Библиогр.:с. 235-236 . - ISBN 978-5-91522-246-4 .
Логические и математические исчисления : учеб. пособие / Шиханович Ю. А. - М. : Научный мир, 2011. - 253 с. : ил. - Библиогр.:
Воеводин В. В.
Вычислительная математика и структура алгоритмов. 10 лекций о том, почему трудно решать задачи на вычислительных системах параллельной архитектуры и что надо знать дополнительно, чтобы успешно преодолевать эти трудности : учебник для вузов / Воеводин В. В. ; МГУ им. М. В. Ломоносова. - 2-е изд., стер. - М. : Изд-во Московского университета, 2010. - 166 с. : ил. - (Суперкомпьютерное образование). - Библиогр.:с. 161 . - ISBN 978-5-211-05933-7 .
Вычислительная математика и структура алгоритмов. 10 лекций о том, почему трудно решать задачи на вычислительных системах параллельной архитектуры и что надо знать дополнительно, чтобы успешно преодолевать эти трудности : учебник для вузов / Воеводин В. В. ; МГУ им. М. В. Ломоносова. - 2-е изд., стер. - М. : Изд-во Московского университета, 2010. - 166 с. : ил. - (Суперкомпьютерное образование). - Библиогр.:
Морозов Ю. В.
Основы высшей математики и статистики : учебник для вузов / Морозов Ю. В. - М. : Медицина, 2010. - 231 с. : ил. - (Учебная литература для студентов медицинских вузов). -ISBN 5-225-03348-2 .
Основы высшей математики и статистики : учебник для вузов / Морозов Ю. В. - М. : Медицина, 2010. - 231 с. : ил. - (Учебная литература для студентов медицинских вузов). -
Информатика и математика для юристов : учебник для бакалавров / Попов А. М., Сотников В. Н., Нагаева Е. И., Акимов М. Л. ; ред. Попов А. М. - 2-е изд., перераб. и доп. - М. : Юрайт, 2012. - 507 с. : ил. - (Бакалавр). - Библиогр. в конце кн. - ISBN 978-5-9916-1489-4 .
Уткин В. Б., Балдин К. В., Рукосуев А. В.
Математика и информатика : учебное пособие для вузов / Уткин В. Б., Балдин К. В., Рукосуев А. В. ; общ. ред. Уткин В. Б. - 4-е изд. - М. : Издательско-торговая корпорация "Дашков и К", 2012. - 468 с. : ил. - Библиогр.:с. 464-468 . - ISBN 978-5-394-01925-8 .
Математика и информатика : учебное пособие для вузов / Уткин В. Б., Балдин К. В., Рукосуев А. В. ; общ. ред. Уткин В. Б. - 4-е изд. - М. : Издательско-торговая корпорация "Дашков и К", 2012. - 468 с. : ил. - Библиогр.:
Непейвода Н. Н.
Прикладная логика : учеб. пособие для вузов / Непейвода Н. Н. - 2-е изд., испр. и доп. - Новосибирск : Изд-во Новосиб. ун-та, 2000. - 488 с. - Библиогр.:с. 479-481 . - ISBN 5-7615-0490-1 .
Прикладная логика : учеб. пособие для вузов / Непейвода Н. Н. - 2-е изд., испр. и доп. - Новосибирск : Изд-во Новосиб. ун-та, 2000. - 488 с. - Библиогр.:
Хомич В. И.
Логика высказываний и исчисление высказываний : учеб. пособие по курсу "Математическая логика и теория алгоритмов" / Хомич В. И. ; ред. Крищенко А. П. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2004. - 41 с. - Библиогр.:с. 41 . - ISBN 5-7038-2528-8 .
Логика высказываний и исчисление высказываний : учеб. пособие по курсу "Математическая логика и теория алгоритмов" / Хомич В. И. ; ред. Крищенко А. П. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2004. - 41 с. - Библиогр.:
Колмогоров А. Н., Драгалин А. Г.
Математическая логика. Введение в математическую логику : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 5-е изд. - М. : Ленанд, 2015. - 233 с. - (Классический университетский учебник). - Библиогр.:с. 224 . - ISBN 978-5-9710-1502-4 .
Математическая логика. Введение в математическую логику : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 5-е изд. - М. : Ленанд, 2015. - 233 с. - (Классический университетский учебник). - Библиогр.:
Скорубский В. И., Поляков В. И., Зыков А. Г.
Математическая логика : учебник и практикум для академического бакалавриата / Скорубский В. И., Поляков В. И., Зыков А. Г. ; Университет ИТМО. - М. : Юрайт, 2017. - 210 с. : ил., портр. - (Бакалавр. Академический курс). - Библиогр.:с. 176-178 . - ISBN 978-5-534-01114-2 .
Математическая логика : учебник и практикум для академического бакалавриата / Скорубский В. И., Поляков В. И., Зыков А. Г. ; Университет ИТМО. - М. : Юрайт, 2017. - 210 с. : ил., портр. - (Бакалавр. Академический курс). - Библиогр.:
Колмогоров А. Н., Драгалин А. Г.
Математическая логика. Введение в математическую логику : учебное пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - М. : URSS : Ленанд, 2017. - 233 с. : ил. - (Классический университетский учебник). - Библиогр.:с. 224 . - ISBN 978-5-9710-3843-6 .
Математическая логика. Введение в математическую логику : учебное пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - М. : URSS : Ленанд, 2017. - 233 с. : ил. - (Классический университетский учебник). - Библиогр.: