Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		inquiryintoinquiry.com Praeclarum Theorema \| Inquiry Into Inquiry
\|	\|	fabricebaudoin.blog Lecture notes: A short introduction to Dirichlet spaces \| Research and Lecture notes	4.0 parsecs away Travel
\|	\|	Here are the lecture notes of the minicourse given at NYU Abu Dhabi. DirichletDownload	4.0 parsecs away Travel
\|	\|	richardzach.org An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs - Richard Zach	3.5 parsecs away Travel
\|	\|	Paolo Mancosu, Sergio Galvan, and Richard Zach. An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Oxford: Oxford University Press, 2021. DOI: 10.1093/oso/9780...	3.5 parsecs away Travel
\|	\|	thehousecarpenter.wordpress.com Notes on proving the completeness theorem for propositional logic \| The House Carpenter	1.2 parsecs away Travel
\|	\|	NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I...	1.2 parsecs away Travel
\|	\|	yorakb.wordpress.com High value partition listing \| Yorakb	23.2 parsecs away Travel
\|		select extractValue(rws.object_value, '/ROW/TABLE_NAME') table_name, extractValue(rws.object_value, '/ROW/PARTITION_NAME') partition_name, to_date(substr(extractValue(rws.object_value, '/ROW/HIGH_VALUE'),11,11),'YYYY-MM-DD') high_value, extractValue(rws.object_value, '/ROW/NUM_ROWS') num_rows, round(extractValue(rws.object_value, '/ROW/BLOCKS')*8/1024) size_mb from ( select dbms_xmlgen.getxmltype('select table_name, partition_name, high_value, num_rows, blocks from user_tab_partitions') as x from dual ) ...	23.2 parsecs away Travel