 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
И. Л. Тимофеева
Математическая логика. Курс лекций
КДУ, 2007 Страниц: 304 Формат: 60x84/16 Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике. Категории каталога: Основания математики. Математическая логика. Теория чисел |
|
Студенту на заметку:
Щенки унаследовали способность понимать жесты людей
Собаки имеют врожденную способность понимать жесты людей. Это выяснили американские ученые, наблюдая за тем, как щенки находят угощение, а люди помогают им жестами.
Щедрые люди являются более привлекательными для других
Выводы показали, что внешне привлекательные люди чаще проявляют щедрость и самопожертвование. Пока ученые затрудняются объяснить механизм связь, но говорят, что она отчетливо прослеживается во всех изученных выборках данных. Ранее мы писали: Ученые: альтруизм делает людей сексуально желанными.
|
