Sökning: "explicit substitution"

Visar resultat 1 - 5 av 8 avhandlingar innehållade orden explicit substitution.

1. 1. A Natural Interpretation of Classical Proofs

   Författare :Jens Brage; Per Martin-Löf; Sara Negri; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Brouwer-Heyting-Kolmogorov; classical logic; constructive type theory; constructive semantics; proof interpretation; double-negation; continuation-passing-style; natural deduction; sequent calculus; cut elimination; explicit substitution; Mathematical logic; Matematisk logik;

   Sammanfattning : In this thesis we use the syntactic-semantic method of constructive type theory to give meaning to classical logic, in particular Gentzen's LK.We interpret a derivation of a classical sequent as a derivation of a contradiction from the assumptions that the antecedent formulas are true and that the succedent formulas are false, where the concepts of truth and falsity are taken to conform to the corresponding constructive concepts, using function types to encode falsity. LÄS MER

3. 2. Quantum Chemical Studies of Aromatic Substitution Reactions

   Författare :Magnus Liljenberg; Tore Brinck; Leif Eriksson; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Teoretisk kemi och biologi; Theoretical Chemistry and Biology;

   Sammanfattning : In this thesis, density functional theory (DFT) is used to investigate the mechanisms and reactivities of electrophilic and nucleophilic aromatic substitution reactions (SEAr and SNAr respectively). For SEAr, the σ-complex intermediate is preceded by one (halogenation) or two (nitration) π-complex intermediates. LÄS MER

4. 3. Quantum Chemical Studies of Chemotherapeutic Drug Cisplatin : Activation and Binding to DNA

   Författare :Johan Raber; David van der Spoel; Paolo Carloni; Uppsala universitet; []
   Nyckelord :Quantum chemistry; cisplatin; quantum chemistry; DNA; density functional theory; activation; JM118; substitution reaction; Platinum; guanine; adenine; cytostatic drug; aquation; anation; activation; Kvantkemi;

   Sammanfattning : The serendipitous discovery of the potent cytotoxic properties of cisplatin brought about a revolution in the treatment of certain types of cancer, but almost fifty years later, there still remain unknown areas in the chemistry of cisplatin. There are questions regarding which form of the drug reaches its DNA target, or why certain DNA sequences are more preferred than others for reaction with cisplatin. LÄS MER

5. 4. Logic program synthesis using schema instantiation in an interactive environment

   Författare :Anna-Lena Johansson; Stockholms universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : The research presented herein proposes a method of program synthesis based on a recursive program schema and performed with an explicit incremental plan as the core of the synthesis. A partial prototype has been built in order to be able to actually perform syntheses according to the method. LÄS MER

7. 5. Formeln und Routinen : Zum Genuserwerb italienischer, portugiesischer und spanischer Gastarbeiter mit Deutsch als Zweitsprache

   Författare :Egmont Mika; Dieter Krohn; Ernst Apeltauer; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; German language; formula; routine; reduction; form-function mapping; restructuring; controlled and automatic processing; Tyska; German language; Tyska språket; German; tyska;

   Sammanfattning : Based on the interlanguage hypothesis and with reference to skill learning and central concepts of connectionist language-acquisition theory, this study develops an explanatory model, with the help of which untutored acquisition of grammatical gender in German is shown to be a sequence of meta-individual developmental phases. The empirical evidence consists of linguistic data compiled from interviews with Italian, Portuguese, and Spanish foreign workers carried out within the framework of the ZISA- Cross-Sectional Study. LÄS MER