... О программе . ... Файлы . ... Мне хочется поблагодарить всех кто помогал мне в создании этой программы - Господа Бога за предметную область и идею, фирму Microsoft за операционную систему, фирму Borland за компилятор, друзей и знакомых за сочуствие, а особенно всех, кто посылал мне письма - без вашего участия новая версия StarCalc вряд ли бы появилась на свет! ... Исправленная программа выложена как новая версия StarCalc (5.72) здесь: sc572ru.zip . ... Выложена новая версия программы: StarCalc 5.7 !...

... А. А. Разборов планирует провести 2 3 занятия. Имеется выражение, состоящее из булевых переменных $p_1,\ldots,p_n$ и логических связок $\neg,\lor,\land,\Rightarrow$. Как доказать, что оно выполнимо , т. е. что вместо $p_1,\ldots,p_n$ можно подставить TRUE или FALSE так, что значение всего выражения окажется равным TRUE? Ответ очевиден: предъявить подстановку и проверить ее прямым вычислением. ... Короткого доказательства, скорее всего, не существует. ... Как доказать, что она несовместна? ...

... физико-математический журнал "Квант" . ... Редакция журнала "Квант" . Авторы Кванта >> Земляков А. сортировать названию статьи | по номеру журнала Земляков А. , Ивлев Б. , 17 задач по анализу. N1 , 1977 ) . GIF: все страницы (846K) | ... N4 , 1978 ) . GIF: все страницы (2615K) | ... N12 , 1978 ) . ... N5 , 1976 ) . ... Проект осуществляется при поддержке Московского комитета образования , Московского Института Открытого Образования , Электронного журнала "Курьер образования" . ...

... This site is devoted to Russian cosmonautics, its principle is "it's better to see once, than to hear 100 times". Here you will find photos (including rare ones), schemes, and the most important - 3D models of spacecraft and launch pads. webmaster - Alexander Chernov, chernov@vsm.host.ru . ... 1997 . ...