 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
С. Д. Шапорев
Математическая логика. Курс лекций и практических занятий
БХВ-Петербург, 2005 Страниц: 416 Формат: 70x100/16 В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал. Для студентов, аспирантов и преподавателей технических вузов. Категории каталога: Основания математики. Математическая логика. Теория чисел |
|
Студенту на заметку:
На Землю прилетали космические пришельцы
В метеоритах ученые нашли внеземные нуклеобазы 0элементы, из которых состоит ДНК всех живых существ. А это значит, что жизнь на Землю была занесена из космоса. Раньше это была лишь одна из версий, теперь она практически доказана. Специалисты американского аэрокосмического агентства (NASA) с коллегами из вашингтонского института Карнеги пришли к выводу, что химия внутри астероидов [...]
В Млечном пути нашли [зоны жизниk
В нашей Галактике всего может быть около 50 миллиардов планет, и почти 500 миллионов из них могут быть потенциально пригодны для жизни. Всего же их во Вселенной, как полагают специалисты, может насчитываться 100 миллиардов. Соответственно и пригодных для жизни объектов – вдвое больше. Такие данные были представлены на прошлогодней ежегодной конференции Американской ассоциации содействия развитию [...]
|
