Запоминать доказательство это как зубрить стих - круто, но бесполезно. Лучше понять как оно происходило - ведь это математика, всё последовательно - нужно только знать какие методы использовать. Без сильной базы это тяжеловато.
12 лет 5-6 класс, сам в это время начала проявлять интерес к программированию — пусть и не такой активный, а жаль.
Сам во всем разберется, запускать написанный код тоже нужно уметь.
Знакомился в этом возрасте с GWBasic на спец курсе в школе. Имхо, лучше бы мне тогда про консольную джаву рассказали. А лучше действительно с основ дискретки начать, алгебры логики в частности
Сам использую sublime text, правда под линем.Там с tilda надобность во встроенной командной строке отпадает.Но чтобы такой громкий проект по редактированию когда не имел в расширениях командной строки… это странно.