Конспект лекций «Метематическая логика». 2017
Теория алгоритмов
2. Булевы функции.
3 Логические Исчисления.
4 Предикаты и кванторы.
Скачать готовые ответы к экзамену, шпаргалки и другие учебные материалы в формате Word Вы можете в основной библиотеке Sci.House
Воспользуйтесь формой поиска
Конспект лекций «Метематическая логика»
релевантные научные источники:
Книги и учебники по дисциплине Математическая логика:
- Лекции по математической логике - 2017 год
- Байиф Ж.К.. Логические задачи: Пер. с франц./Перевод Сударева Ю. Н.; Под редакцией и с посдесд И. М. Яглома.— М.: Мир,1983.— 172 с. - 1983 год
-
Аналитическая геометрия -
Вариационное исчисление -
Векторный и тензорный анализ -
Высшая геометрия -
Высшая математика -
Вычислительная математика -
Дискретная математика -
Дифференциальное и интегральное исчисление -
Дифференциальные уравнения -
Исследование операций -
История математики -
Комплексное исчисление -
Линейная алгебра -
Линейное программирование -
Математическая логика -
Математическая физика -
Математический анализ -
Пределы -
Ряды -
Статистика -
Теория вероятностей -
Теория графов -
Теория игр -
Теория принятия решений -
Теория случайных процессов -
Теория чисел -
Финансовая математика -
Функциональный анализ -
-
Антропология -
Астрономия -
Безопасность жизнедеятельности -
Библиотечное дело -
Биология -
Военное дело -
География -
Зоология -
История -
Культурология -
Литература -
Математика -
Медицина -
Педагогика -
Политология -
Право России -
Право України -
Психология -
Религоведение -
СМИ и журналистика -
Социология -
Технические науки -
Транспорт -
Физика -
Философия -
Финансы -
Экология -
Экономика -
Этнография и демография -
Юриспруденция -
Языкознание -