Найдено документов - 16 | Найти похожие: "Индекс ББК" = 'В12' | Версия для печати |
Сортировать по:
1. Документ
Зайцева О. Н.
Математические методы в приложениях. Дискретная математика : учебное пособие / О. Н. Зайцева, А. Н. Нуриев, П. В. Малов ; Зайцева О. Н., Нуриев А. Н., Малов П. В. - Казань : КНИТУ, 2014. - 173 с. - Рекомендовано УМО РАЕ по классическому университетскому и техническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям подготовки: 230400 – «Информационные системы и технологии», 230100 – «Информатика и вычислительная техника», 090900 – «Информационная безопасность». - Книга из коллекции КНИТУ - Математика. - URL: http://e.lanbook.com/books/element.php?pl1_id=73295. - URL: https://e.lanbook.com/img/cover/book/73295.jpg. - ISBN 978-5-7882-1570-9.
Математические методы в приложениях. Дискретная математика : учебное пособие / О. Н. Зайцева, А. Н. Нуриев, П. В. Малов ; Зайцева О. Н., Нуриев А. Н., Малов П. В. - Казань : КНИТУ, 2014. - 173 с. - Рекомендовано УМО РАЕ по классическому университетскому и техническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям подготовки: 230400 – «Информационные системы и технологии», 230100 – «Информатика и вычислительная техника», 090900 – «Информационная безопасность». - Книга из коллекции КНИТУ - Математика. - URL: http://e.lanbook.com/books/element.php?pl1_id=73295. - URL: https://e.lanbook.com/img/cover/book/73295.jpg. - ISBN 978-5-7882-1570-9.
Авторы: Зайцева О. Н., Нуриев А. Н., Малов П. В.
Ключевые слова: дискретная математика
Ссылка на ресурс: http://e.lanbook.com/books/element.php?pl1_id=73295
Подробнее
Аннотация: В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но иллюстрирована многочисленными простыми для пониманимя примерами. Изложение курса дискретной математики представлено в форме решения математических задач различной сложности, связанных с программированием. Предложены алгоритмы решения этих задач, написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и дискретная математика», «Логика» студентами института легкой промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»).
2. Документ
Малышев Д. С.
Комбинаторные методы формирования границы эффективной разрешимости дискретных задач в семействе наследственных классов графов : учебно-методическое пособие / Д. С. Малышев ; Малышев Д. С. - Нижний Новгород : ННГУ им. Н. И. Лобачевского, 2011. - 45 с. - Рекомендовано методической комиссией факультета, ВМК для студентов ННГУ, обучающихся по направлению подготовки 010500 «Прикладная математика, и информатика», по направлению подготовки 010400 «Информационные технологии» и специальности 080801 «Прикладная информатика» и специализирующихся в области дискретной математики и математической кибернетики, а также для аспирантов, обучающихся по специальности 01.01.09 «Дискретная математика и математическая кибернетика». - Книга из коллекции ННГУ им. Н. И. Лобачевского - Математика. - URL: https://e.lanbook.com/book/153511. - URL: https://e.lanbook.com/img/cover/book/153511.jpg.
Комбинаторные методы формирования границы эффективной разрешимости дискретных задач в семействе наследственных классов графов : учебно-методическое пособие / Д. С. Малышев ; Малышев Д. С. - Нижний Новгород : ННГУ им. Н. И. Лобачевского, 2011. - 45 с. - Рекомендовано методической комиссией факультета, ВМК для студентов ННГУ, обучающихся по направлению подготовки 010500 «Прикладная математика, и информатика», по направлению подготовки 010400 «Информационные технологии» и специальности 080801 «Прикладная информатика» и специализирующихся в области дискретной математики и математической кибернетики, а также для аспирантов, обучающихся по специальности 01.01.09 «Дискретная математика и математическая кибернетика». - Книга из коллекции ННГУ им. Н. И. Лобачевского - Математика. - URL: https://e.lanbook.com/book/153511. - URL: https://e.lanbook.com/img/cover/book/153511.jpg.
Авторы: Малышев Д. С.
Ссылка на ресурс: https://e.lanbook.com/book/153511
Подробнее
Аннотация: Учебно-методическое пособие Малышева Д.С. содержит новые результаты, относящиеся к вопросам сложностной стратификации наследственных классов графов для некоторых экстремальных графовых задач. Изучение вычислительной сложности задач в таких классах ведется на основе метода «критического» класса графов. В пособии содержится подробное изложение причин интереса к теории таких классов графов, соответствующие определения с комментариями, а также результаты из диссертации автора. Для самоконтроля понимания изложенного материала в пособие включены вопросы и задачи. Настоящее учебно-методическое пособие предназначено для студентов, обучающихся по направлениям подготовки «Прикладная математика и информатика», «Прикладная информатика», «Информационные технологии», а также для аспирантов, обучающихся по специальности 01.01.09 «Дискретная математика и математическая кибернетика».
3. Книга
Ризниченко Г. Ю.
Лекции по математическим моделям в биологии. Ч. 1. Описание процессов в живых системах во времени / Г. Ю. Ризниченко. - М. : [б. и.] ; Ижевск, 2002. - 231 с. - ISBN 5-93972-093-5. - Текст : непосредственный.
Лекции по математическим моделям в биологии. Ч. 1. Описание процессов в живых системах во времени / Г. Ю. Ризниченко. - М. : [б. и.] ; Ижевск, 2002. - 231 с. - ISBN 5-93972-093-5. - Текст : непосредственный.
Авторы: Ризниченко Г. Ю.
Шифры: Р498
Ключевые слова: математические модели, биологические системы, бифуркации типы, динамический хаос, фрактальные множества, микробные популяции моделирование, популяции модели роста
4. Книга
Лихтарников Л. М.
Занимательные логические задачи : Для учащихся нач. шк. / Л. М. Лихтарников. - СПб. : Лань-Мик, 1996. - 125 с. - Текст : непосредственный.
Занимательные логические задачи : Для учащихся нач. шк. / Л. М. Лихтарников. - СПб. : Лань-Мик, 1996. - 125 с. - Текст : непосредственный.
Авторы: Лихтарников Л. М.
Шифры: Л656
Ключевые слова: логика, логика математическая
5. Книга
Никольская И. Л.
Учимся рассуждать и доказывать : кн. для учащихся 6-10 кл. / И. Л. Никольская, Е. Е. Семенов. - М. : Просвещение, 1989. - 190 с. : ил. - ISBN 5-09-000591-5. - Текст : непосредственный.
Учимся рассуждать и доказывать : кн. для учащихся 6-10 кл. / И. Л. Никольская, Е. Е. Семенов. - М. : Просвещение, 1989. - 190 с. : ил. - ISBN 5-09-000591-5. - Текст : непосредственный.
Авторы: Никольская И. Л., Семенов Е. Е.
Шифры: Н640
Ключевые слова: геометрия, загадки, задачи, рассказы, теоремы
6. Книга
Теребилов О. Ф.
Логика математического мышления / О. Ф. Теребилов. - Л. : Изд-во Ленингр. ун-та, 1987. - 191 с. - Текст : непосредственный.
Логика математического мышления / О. Ф. Теребилов. - Л. : Изд-во Ленингр. ун-та, 1987. - 191 с. - Текст : непосредственный.
Авторы: Теребилов О. Ф.
Шифры: Т350
Ключевые слова: классическая рациональность, классический анализ, логическое мышление, математическое мышление, психология деятельности, психология мышления
7. Книга
Марков А. А.
Элементы математической логики / А. А. Марков ; под ред. А. Г. Драгалина. - М. : Изд-во Моск. ун-та, 1984. - 79 с. - Текст : непосредственный.
Элементы математической логики / А. А. Марков ; под ред. А. Г. Драгалина. - М. : Изд-во Моск. ун-та, 1984. - 79 с. - Текст : непосредственный.
Авторы: Марков А. А.
Шифры: М268
Ключевые слова: исчисление предикатов, логика высказываний, математическая логика, семиотика, теории алгорифмов
8. Книга
Кутасов А. Д.
Элементы математической логики : пособие для учащихся 9-10 кл. / А. Д. Кутасов. - М. : Просвещение, 1977. - 63 с. - Библиогр.: с. 62. - Текст : непосредственный.
Элементы математической логики : пособие для учащихся 9-10 кл. / А. Д. Кутасов. - М. : Просвещение, 1977. - 63 с. - Библиогр.: с. 62. - Текст : непосредственный.
Авторы: Кутасов А. Д.
Шифры: К950
Ключевые слова: задачи, математическая логика
9. Книга
Кейслер Г. Дж.
Теория моделей / Кейслер Г. Дж., Ч. Ч. Чэн ; перевод с английского. - Москва : Мир, 1977. - 614 с. - Текст : непосредственный.
Теория моделей / Кейслер Г. Дж., Ч. Ч. Чэн ; перевод с английского. - Москва : Мир, 1977. - 614 с. - Текст : непосредственный.
Авторы: Кейслер Г. Дж., Чэн Ч. Ч.
Шифры: 517 - К337
Ключевые слова: математическая логика, математические модели, математическое моделирование, теория моделей
Экземпляры: Всего: 1, из них: аб. 142/2 УК2-1
10. Книга
Кейслер Г. Дж.
Теория непрерывных моделей / Кейслер Г. Дж., Ч. Ч. Чэн ; перевод с английского. - Москва : Мир, 1971. - 184 с. - Текст : непосредственный.
Теория непрерывных моделей / Кейслер Г. Дж., Ч. Ч. Чэн ; перевод с английского. - Москва : Мир, 1971. - 184 с. - Текст : непосредственный.
Авторы: Кейслер Г. Дж., Чэн Ч. Ч.
Шифры: 51 - К337
Ключевые слова: математическая логика, математические модели, математическое моделирование, теория непрерывных моделей
Экземпляры: Всего: 1, из них: аб. 142/2 УК2-1
11. Книга
Мендельсон Э.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Москва : Высшая школа, 1971. - 320 с. - Текст : непосредственный.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Москва : Высшая школа, 1971. - 320 с. - Текст : непосредственный.
Авторы: Мендельсон Э.
Шифры: 51 - М501
Ключевые слова: математическая логика, математика
Экземпляры: Всего: 1, из них: аб. 142/2 УК2-1
12. Книга
Столяр А. А.
Элементарное введение в математическую логику : пособие для учителей / А. А. Столяр. - М. : Просвещение, 1965. - 163 с. - Библиогр.: с. 162. - Текст : непосредственный.
Элементарное введение в математическую логику : пособие для учителей / А. А. Столяр. - М. : Просвещение, 1965. - 163 с. - Библиогр.: с. 162. - Текст : непосредственный.
Авторы: Столяр А. А.
Шифры: С812
Ключевые слова: исчисление высказываний, логика высказываний, логика предикатов, логические системы, математическая логика
13. Книга
Столяр А. А.
Логические проблемы преподавания математики : учеб. пособие для вузов / А. А. Столяр. - Минск : Высш. шк., 1965. - 254 с. : ил. - Доп. Мин. обр. БССР. - Текст : непосредственный.
Логические проблемы преподавания математики : учеб. пособие для вузов / А. А. Столяр. - Минск : Высш. шк., 1965. - 254 с. : ил. - Доп. Мин. обр. БССР. - Текст : непосредственный.
Авторы: Столяр А. А.
Шифры: 51(07) - С816
Ключевые слова: аксиоматический метод, логические операции, математическая логика, теоретико-множественные понятия
Экземпляры: Всего: 1, из них: ОГЛ ауд.1105 УК2-1
14. Книга
Калужнин Л. А.
Что такое математическая логика? / Л. А. Калужнин. - М. : Наука, 1964. - 151 с. - Библиогр.: с. 149-150. - Текст : непосредственный.
Что такое математическая логика? / Л. А. Калужнин. - М. : Наука, 1964. - 151 с. - Библиогр.: с. 149-150. - Текст : непосредственный.
Авторы: Калужнин Л. А.
Шифры: К176
Ключевые слова: кванторы, логика высказываний, логика предикатов, логические операции, математическая логика, основания математики, силлогизмы, суждения
15. Книга
Гудстейн Р. Л.
Математическая логика / Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской. - М. : Иностр. лит., 1961. - 162 с. - (Б-ка сборника "МАТЕМАТИКА"). - Текст : непосредственный.
Математическая логика / Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской. - М. : Иностр. лит., 1961. - 162 с. - (Б-ка сборника "МАТЕМАТИКА"). - Текст : непосредственный.
Авторы: Гудстейн Р. Л.
Шифры: Г935
Ключевые слова: логика, математическая логика
16. Книга
Новиков П. С.
Элементы математической логики / П. С. Новиков. - М. : Гос. изд-во физ.-мат. лит., 1959. - 400 с. - На развороте тит. л.: Математическая логика и основания математики. - Текст : непосредственный.
Элементы математической логики / П. С. Новиков. - М. : Гос. изд-во физ.-мат. лит., 1959. - 400 с. - На развороте тит. л.: Математическая логика и основания математики. - Текст : непосредственный.
Авторы: Новиков П. С.
Шифры: Н731
Ключевые слова: аксиоматическая арифметика, алгебра высказываний, исчисление высказываний, исчисление предикатов, логика предикатов, математическая логика, теорема Левенгейма, теорема Сколема, теория доказательств