 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
В. П. Супрун
Основы математической логики
Ленанд,Editorial URSS, 2017 Страниц: 200 Формат: 60x90/16 Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и сложных разделов дискретной математики — математической логики.Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственного интеллекта, управление базами данных и управление организационно-экономическими системами.В пособии рассматриваются основные разделы математической логики (алгебра высказываний, исчисление высказываний, логика п??едикатов, исчисление предикатов и машины Тьюринга).Пособие адресовано студентам младших курсов для успешного овладения элементами математической логики, а также старшеклассникам и их преподавателям при проведении факультативных занятий по дискретной математике. Категории каталога: Основания математики. Математическая логика. Теория чисел |
|
Студенту на заметку:
Первый всероссийский съезд технопарков прошел в Нижнем Новгороде
По мнению главы Минкомсвязи, технопарки - это мощный институт, способный выводить на рынок высокотехнологичные продукты и способствующий модернизации экономики. В регионах создаются элементы инновационной инфраструктуры (лабораторные комплексы, бизнес-инкубаторы, центры протитипирования). [В идеале должна возникнуть единая экосистема, которая позволяла бы использовать объекты инфраструктуры на льготных условияхk, - считает министр. Он отметил, что технопарки способны обеспечить сопровождени...
В России создается Общероссийский Совет некоммерческих организаций России
Такое решение было принято делегатами III Съезда некоммерческих организаций России было инициировано создание Общероссийского совета некоммерческих организаций (Совета Съезда), который будет вести постоянную работу по выработке и продвижению предложений в сфере совершенствования некоммерческого сектора (постоянную работу [между Съездамиk). В Совет Съезда должны войти руководители (ведущие эксперты) действующих некоммерческих организаций, осуществляющих масштабную социально значимую д...
|
