Search results
Jump to navigation
Jump to search
- [[Category:Abstractions/Problems]] [[Category:Astrophysics/Problems]] ...6 KB (1,026 words) - 21:04, 16 August 2022
- Using each configuration of the problems above and representative wavelengths for submillimeter, microwave, and radi * [[Problems/Astronomy]] ...6 KB (883 words) - 21:00, 12 April 2023
- * The problems of type checking and typability are ''undecidable'' (though they are semide ...o \mathbf{T}</math>. Such functions from types to values are denoted by "Λ-abstractions." For example, here is the definition of the polymorphic identity function ...11 KB (1,726 words) - 09:35, 12 November 2023
- ...these two systems is that in the explicitly typed version, arguments to λ-abstractions must be annotated with types, whereas in the implicitly typed version, the ...s are variables <math>a,b,c,...</math>, applications <math>AB</math>, or λ-abstractions <math>\lambda x. A</math>. ...22 KB (3,644 words) - 09:37, 12 November 2023
- This '''radiation astromathematics problem set''' is a series of mathematical problems that use dimensions. * [[Radiation astromathematics problems]] ...9 KB (1,406 words) - 16:43, 13 August 2022
- * [[Radiation astromathematics problems]] [[Category:Abstractions/Problems]] ...10 KB (1,530 words) - 08:51, 7 September 2024
- ...actions in this syntax serve both the role of the λ-abstractions and the Λ-abstractions of the explicitly typed second-order λ-calculus. That is, a λ-abstraction c * The problems of type checking and typability are decidable. ...20 KB (3,327 words) - 23:31, 23 January 2025
- * [[Radiation astromathematics problems]] [[Category:Abstractions/Problems]] ...12 KB (1,838 words) - 17:33, 27 March 2023
- [[Category:Abstractions/Problems]] [[Category:Abstractions quizzes]] ...16 KB (2,415 words) - 07:35, 10 August 2022
- [[Category:Abstractions/Problems]] [[Category:Astronomy learning projects/Problems]] ...11 KB (1,749 words) - 05:58, 7 August 2022
- * [[Radiation astromathematics problems]] ...{{tlx|Technology resources}}{{Sisterlinks|Planck's equation}}{{Sisterlinks|Problems}} ...16 KB (2,270 words) - 06:43, 28 August 2022
- ==Abstractions== {{main|Abstractions}} ...44 KB (6,424 words) - 02:48, 5 December 2020
- The meta-definition of principal eigenvalue for boundary value problems of elliptic operators in quasi-nonlinear and fully nonlinear equations coul [[Category:Abstractions/Lectures]] ...37 KB (5,433 words) - 02:17, 30 April 2020
- Problems designed for astronomy help the student, the teacher, and the researcher to {{main|Radiation astronomy/Mathematics/Problems|Radiation mathematics/Problem set}} ...136 KB (21,401 words) - 20:22, 27 May 2024