Каширин И.Ю.

See other templatesSee other templates

Image Gallery

Here should be the presentation of JSN ImageShow,
but it is not installed on your website.

Free Download Now

TThe image gallery you see on this website is the Free Edition of another cool product JSN ImageShow from JoomlaShine.com. This product is shipped with component, module and content plugin, so you can place it anywhere on every website.

On this page you can see how JSN ImageShow is presented as module on top and as plugin in article content. With it, you get smooth experience and consistent performance in all browsers. The JSN ImageShow also support mobile devices normally with JS/HTML version switched automatically when you visit the website.

Currently, JSN ImageShow comes with 6 themes: Theme Classic, Theme Slider, Theme Grid, Theme Carousel, Theme Strip and Theme Flow. More themes will be released in the future.

JSN ImageShow with Theme Classic

JSN ImageShow with Theme Slider

JSN ImageShow with Theme Grid

JSN ImageShow with Theme Carousel

JSN ImageShow with Theme Strip Vertical

JSN ImageShow with Theme Strip Horizontal

JSN ImageShow with Theme Flow


Mobile optimized

For mobile device, we have built special lightweight Javascript version, so you can be absolutely sure about images presentation.

Mobile optimized presentation (screenshot made by iPhone)
Mobile optimized presentation (screenshot made by iPhone)

This extension is NOT included in the template package, but you can download it for free. Read more.

Program machines

The formalism of software machines makes it possible to mathematically strictly describe the concept of the conceptual integrity of a programming languageTo get a formalism focused on analyzing the basic structures of an algorithmic language, let's look his structural components.

Read more...

INTERRELATION

The Program Machines system can be considered in various combinations as higher-level formalisms. The connection between the components can be seen at the level of the structure of the construction of elements of the carrier sets of the algebraic systems discussed above.

Read more...

programming languages

Let's consider the use of algebraic interpretation of language constructs for PL C, Lisp and Prolog as the most well-known algorithmic languages, which are representatives of languages of the universal, functional and logical type, respectively. Optimizing transformations are possible.

 Read more...

UNIFICATION

Excelsior

If the terms s and t represent a formal record of programs some predetermined program machine, then we are talking not simply about unifying or comparing two programs in order to find common fragments in them, but about an attempt to find some third term containing  variables.

Read more...

Go to top