[Recent Entries][Archive][Friends][User Info]

Time	Text
06:40 am vagston@lj [Link]	Что скажете о такой программке? Здрасьте! Я придумал план короткого эффективного вводного курса в прикладную математику для неподготовленных заинтересованных людей: 1. Понятие представления (representation) 2. Понятие кодирования 3. Требования к знакам: отличать один от другого, уметь определять одинаковость, отделять один от другого (в смысле, рядом написанные) 4. Дедуктивный аппарат, теории 5. Интерпретация теорий, константы 6. Переменные, возникновение переменных как интеграция уровня метности в пропкалке, отличие переменных от констант; кванторы подстановка, occurs check 7. Здравость, полнота, непротиворечивость 8. Proof Theory 9. Model Theory 10. Что такое существование 11. Что такое истина 12. Искусство доказательства
Reply:
	From: Anonymous (will be screened) OpenID Identity URL:  Login?  пользователь LiveJournal.com имя пользователя:    помнить 1 день 1 неделю 1 месяц 1 год Вы должны предварительно войти в LiveJournal.com   E-mail для ответов:  Вы сможете оставлять комментарии, даже если не введете e-mail. Но вы не сможете получать уведомления об ответах на ваши комментарии! Внимание: на указанный адрес будет выслано подтверждение. LJ.Rossia.org user Username: Password: Login?  Subject: No HTML allowed in subject Message: Don't auto-format: Notice! This user has turned on the option that logs your IP address when posting.