Search Sciweavers | Sciweavers

611 search results - page 4 / 123

» Yuri, Logic, and Computer Science

148

Voted

JUCS
2006

145views more JUCS 2006»

Computer Science, Logic, Informatics Education

15 years 3 months ago

Download www.jucs.org

: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...

Katalin Pásztor-Varga, Magda Várter&...

claim paper

Read More »

248

click to vote

TLCA
2009
Springer

266views Theoretical Computer Science» more TLCA 2009»

The Computational SLR: A Logic for Reasoning about Computational Indistinguishability

15 years 10 months ago

Download eprint.iacr.org

Yu Zhang

claim paper

Read More »

126

Voted

IIE
2008

97views more IIE 2008»

Mathematical Logic and Deduction in Computer Science Education

15 years 3 months ago

Download www.mii.lt

Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...

Hashim Habiballa, Tibor Kmet

claim paper

Read More »

Voted

IMPERIAL
1993

79views Formal Methods» more IMPERIAL 1993»

Geometric Logic in Computer Science

15 years 8 months ago

Download www.cs.bham.ac.uk

Steven Vickers

claim paper

Read More »