PR: Math-Net.Ru - это общероссийский математический портал
Но найти там можно не только математику.
Вот цикл лекций Андрея Анатольевича Зализняка (кроме прочего, автора словаря ставшего основой практически для всех компьютерных программ автоматического морфологического анализа, в том числе в информационном поиске, в машинном переводе и т. п.) о древнерусских берестяных грамотах.
А вот материалы Владимира Андреевича Успенского о математической логике, числах, алгоритмах и теоремах Гёделя.
И многое, многое другое... Плиз, велком: www.mathnet.ru
Вот цикл лекций Андрея Анатольевича Зализняка (кроме прочего, автора словаря ставшего основой практически для всех компьютерных программ автоматического морфологического анализа, в том числе в информационном поиске, в машинном переводе и т. п.) о древнерусских берестяных грамотах.
А вот материалы Владимира Андреевича Успенского о математической логике, числах, алгоритмах и теоремах Гёделя.
И многое, многое другое... Плиз, велком: www.mathnet.ru