Search
Search Funnelback University
- Refined by:
- Date: 2008
1 -
20 of
34
search results for katalk:za31 24 / / / / / |u:www.dpmms.cam.ac.uk
where 0
match all words and 34
match some words.
Results that match 1 of 2 words
-
Example sheet 3, Galois Theory, 2007 1. Let M/K ...
https://www.dpmms.cam.ac.uk/study/II/Galois/2007-2008/ex3.pdf4 Feb 2008: Find a monic polynomial over Z of degree 4 whoseGalois group is V = {e, (12)(34), (13)(24), (14)(23)}. -
ANALYSIS II EXAMPLES 1 Michaelmas 2005 J. M. E. ...
https://www.dpmms.cam.ac.uk/~martin/Teaching/an05-1.pdf19 Mar 2008: ANALYSIS II EXAMPLES 1. Michaelmas 2005 J. M. E. Hyland. The Basic Questions are cover examinable material from the course. The Additional Questions arefor those wishing to take things a bit further. The questions are not all equally difficult; I -
BT08 Part II Representation Theory Sheet 2 Unless otherwise ...
https://www.dpmms.cam.ac.uk/study/II/RepresentationTheory/2007-2008/repex2.pdf4 Feb 2008: 1 21 42 56 24 24α 14 2 0 1 0 0β 15 1 1 0 1 1γ 16 0 0 2 2 2. -
ANALYSIS II EXAMPLES 4 Michaelmas 2005 J. M. E. ...
https://www.dpmms.cam.ac.uk/~martin/Teaching/an05-4.pdf19 Mar 2008: 24. Let f : R2 R be a continuous function satisfying a Lipschitz condition. -
Optimization Michael Tehranchi/DPKExample sheet 2 - Easter 2008 16.…
https://www.dpmms.cam.ac.uk/study/IB/Optimization/2007-2008/example2.pdf1 Nov 2008: suggested in lectures.]. 24. Find a maximal flow and a minimal cut for the network pictured with a source at node1 and a sink at node n. -
Combining computational effects: commutativityand sum Martin Hyland,1 …
https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2002/hpp02.pdf19 Aug 2008: The following result is a restatement of the first main result of [24]. ... 1–24, Berlin: Springer-Verlag, 2001. 23. G. D. Plotkin and A. J. -
PART II REPRESENTATION THEORYSHEET 2 Unless otherwise stated, all ...
https://www.dpmms.cam.ac.uk/study/II/RepresentationTheory/2008-2009/repex2.pdf17 Nov 2008: 1 21 42 56 24 24α 14 2 0 1 0 0β 15 1 1 0 1 1γ 16 0 0 2 2 2. -
A Term Calculus for Intuitionistic Linear LogicNick Benton1, Gavin ...
https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/bbdphtlca93.pdf27 Aug 2008: These 100 cases of cuts we will consider as follows: 40 casesof cuts the form (R;D) as we have 4 right rules and 10 others; 24 cases of cuts ofthe ... There are hence 24 remaining cutsof interest.We now summarize the cuts of which we need to take some -
STATISTICAL MODELLING Part IIC. Example Sheet 4 (of 4) ...
https://www.dpmms.cam.ac.uk/study/II/StatisticalModelling/2007-2008/controlled/ex4.pdf3 Feb 2008: 35 30High Yes 9 12 19 19High No 24 25 28 29. -
Groups, Rings and Modules(example sheet 4) NIS-B, Lent 2008 ...
https://www.dpmms.cam.ac.uk/study/IB/GroupsRings%2BModules/2007-2008/grm_ex5_latex.pdf6 Mar 2008: V = {1, (12)(34), (13)(24), (14)(23)}. is a subgroup of A4 and that A4 is not simple.(ii) Describe V in terms of modules.(iii) Write the product -
A Term Calculus for Intuitionistic Linear LogicNick Benton1, Gavin ...
https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/bbdphtlca93.pdf27 Aug 2008: These 100 cases of cuts we will consider as follows: 40 casesof cuts the form (R;D) as we have 4 right rules and 10 others; 24 cases of cuts ofthe ... There are hence 24 remaining cutsof interest.We now summarize the cuts of which we need to take some -
THE CARTESIAN CLOSED BICATEGORY OFGENERALISED SPECIES OF STRUCTURES…
https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2008/fghw08.pdf19 Aug 2008: Each of these corresponds tothe composition of associated formal power series (see, e.g., [23, 24, 40, 6, 38,37, 7]). ... 1981), 1–82. 24. , Foncteurs analytiques et espèces de structures, Combinatoire Énumérative,Lecture Notes in Mathematics, vol -
Some improvements to 4-descent on an elliptic curve Tom ...
https://www.dpmms.cam.ac.uk/~taf1000/papers/fourdesc.pdf2 Feb 2008: 2, 304315. 2. J.W.S. Cassels, Lectures on elliptic curves, LMS Student Texts, 24, CUP, Cam-bridge, 1991. ... Symbolic Comput. 24 (1997), no. 3-4, 235265. TheMagma home page is at http://magma.maths.usyd.edu.au/magma/. -
Abstra t Games for Linear Logi Extended Abstra t ...
https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/hs99.pdf22 Aug 2008: R x if and only if ju xj 1.Girard's Coheren e spa es [24,28 are essentially G?(Rel) for this orthogona-17. ... Springer Verlag, 1993.[16 G.M. Bierman. On intuitionisti linear logi. Te hni al Report 346, Universityof Cambridge Computer Laboratory, August -
Abstra t Games for Linear Logi Extended Abstra t ...
https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/hs99.pdf22 Aug 2008: R x if and only if ju xj 1.Girard's Coheren e spa es [24,28 are essentially G?(Rel) for this orthogona-17. ... Springer Verlag, 1993.[16 G.M. Bierman. On intuitionisti linear logi. Te hni al Report 346, Universityof Cambridge Computer Laboratory, August -
Electronic Notes in Theoretical Computer Science 83 (2004)URL:…
https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2003/chp03.pdf19 Aug 2008: 24]. So we are keen to define the notion of Kleisli bicategoryin a way that includes such variants. ... Diff. 21 (1980)111–160. [24] Winskel, G., Linearity and non-linearity in distributed computation, (bookchapter, to appear). -
Variations on Realizability: Realizing the Propositional Axiom of…
https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2002/vor02.pdf13 Aug 2008: 18The treatment of quotients in Jacobs [24] should make clear what is intended. ... Myhill. Choice implies excluded middle. Zeitschriftfür mathematische Logik und Grundlagen der Mathematik, 24:461, 1978. -
K0 AND THE DIMENSION FILTRATION FOR p-TORSIONIWASAWA MODULES…
https://www.dpmms.cam.ac.uk/~sjw47/rankskzero.pdf20 Feb 2008: Proof. When N = G this is follows from [13, Theorem 7.24]; see also [1, Lemma3.11]. ... Lemma. The quotient category Fd/Fd1 is equivalent to M(Q(kG)). Proof. This follows from [24, Propositions XI.3.4(a) and XI.6.4], with appropriatemodifications to -
Topological GroupsPart III, Spring 2008 T. W. Körner March ...
https://www.dpmms.cam.ac.uk/~twk/Topg.pdf8 Mar 2008: 24. 12 The inversion theorem. Before proving Bochner’s theorem we need some simple results on positivedefinite functions. -
Categorical Proof Theory of Classical PropositionalCalculus Gianluigi …
https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2006/bhru06.pdf18 Aug 2008: normalforms to which a proof in the sequent calculus can reduce (seefor example [24, Page127]). ... The project on which we report here was motivated by Urban’s strong normalisationresult ([25] and [24]) for a formulation of classical proof.In [11],
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.