Questions tagged [mathematical-foundations]

Questions about the relation of (subfields of) computer science to the relevant mathematical foundations and their application.

13 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
3
votes
0answers
87 views

Describe data structure using equations

Good afternoon. At work I'm currently developing a system which takes user input (well structured) and then stores it in memory to do some processing. The input is basically a dataset formed by ...
2
votes
0answers
27 views

Soft Question: Looking for resources on computation over reals

As the title suggests, I want to take a look at resources (books, lectures or papers) that are available (free or paid) on computation over reals. Thanks in advance!
2
votes
0answers
137 views

Can cognitive architectures (CLARION, SOAR, ACT-R) be used for creative mathematical reasoning?

Can cognitive architectures (CLARION, SOAR, ACT-R, others) be used for creative mathematical reasoning? As far as I understand, then it is the best to encode formal mathematical knowledge in the ...
2
votes
0answers
39 views

physical significance of membership function greater than one

In fuzzy logic, when we associate an element with a set, we usually do it in terms of membership grade which suggests the "belonging" of this element to the set. Membership grade value 0 means that ...
1
vote
0answers
36 views

Integer-array indexing (e.g. numpy.take) as function composition: where can I find more resources?

For context, one of Numpy's features is that an an array of integers can be passed as an index to an array, and this selects values at all of the specified positions, in any order with possible ...
1
vote
0answers
55 views

Mathematical resource material accompanying TAPL

I'm currently reading Types and Programming Languages by Benjamin C. Pierce and just arrived at chapter 21 Metatheory of Recursive Types. Prior to this chapter I found the book challenging but ...
1
vote
0answers
66 views

Order of growth: substitution of monotonically increasing functions

One strategy for ordering the growth of functions involves substitutions when comparing functions using the limit as $n$ goes to infinity comparing two equations using the following rule. $$ \lim_{n\...
1
vote
0answers
89 views

What is the Necessary math to understand books?

I have many problems understanding algorithms described in the books. Well, I'm talking about the mathematical description of a problem. For example: I don't understand how the math of Unscented ...
0
votes
0answers
48 views

Can we see all of mathematics as an attempt to simplify computations?

This is a rather strong claim, and therefore likely to be incorrect, but hear me out. Firstly, when I talk of “computations”, I mean this in a broader sense than normally used, because I am including ...
0
votes
2answers
232 views

Tight bound on the number of divisors of n

The inner loop of this pseudocode runs only for the divisors of n for i=1 to n: if(n%i==0): for j=1 to n: Do something in constant time If I ...
0
votes
0answers
370 views

magnetic Disk Calculation

A magnetic disk has 1000 cylinders, 10 tracks per cylinder, 128 sectors per track, ...
0
votes
0answers
356 views

Trouble understanding Break-Even Point for upgrade

Null, Linda; Lobur, Julia: The Essentials of Computer Organization and Architecture, Jones&Bartlett Learning 2006, Ch. 7 Ex 2: Suppose the daytime processing load consists of 60% CPU activity ...
0
votes
0answers
92 views

What is the underlying structure of problems?

We all the time write and talk about mathematical problems in plain English. For example, we define "the traveling salesman problem". But what is the actual, underlying structure of a "mathematical ...