Каширин И.Ю.

See other templatesSee other templates

Menu Styles

JSN Boot provides 5 menu styles to present your website navigation. The default Joomla! built-in menu module (mod_mainmenu) is utilized, so you don't need to install any external menu modules.

Top Menu

Top Menu

Top Menu allows you to arrange menu items in horizontal line and assign icons to them. All icons are configured directly in menu item settings page which is very convenient.

See live demo of Top Menu


Main Menu

Main Menu

Main Menu is very powerful menu built with clean accessible XHTML code structure and effective drop-down submenu panels.

Main Menu with icons and rich text

Main Menu Rich Text combined with Icons

You can add icon and descriptive text to each menu item to make them much clearer and more appealing. Both descriptive text and icons are configured directly in menu item settings page, which is very convenient.

See live demo of Main Menu


Side Menu

Side Menu

Side Menu is very unique vertical menu with slide-out panels. This menu is extremely efficient when you have complex navigation with a lot of menu items.

See live demo of Side Menu


Tree Menu

Tree Menu represents menu items in clear tree-like hierarchy, which is very appropriate for indexing menu. By default all submenu items are collapsed until you select the parent menu item.

See live demo of Tree Menu


Div Menu

Div Menu

Div Menu is simple yet nice menu bar with items separated by slightly visible dashes. This menu is very suitable for footer navigation presentation.

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